The world in which we live changes in uncertain ways. Building intelligent machines able to interact with the real world requires a theory of change. The required theory has to represent change and uncertain temporal ...

This thesis presents a novel approach to the synthesis of combinational and sequential digital circuits from recursive behavioral specifications based on the functional programming paradigm. Recursion removal is accomplished ...

Middleware is an enabling layer that enables developers to build distributed applications on heterogeneous computer systems that are provided by different vendors. Middleware provides to the distributed applications a ...

As software overheads decrease and processor speeds increase relative to network speeds, the performance of multiprocessor interconnection networks will become increasingly important. This motivates design of efficient ...

It is anticipated that ATM/B-ISDN based telecommunication systems will support a wide variety of services, such as telephone, computer data communication, video communication, and control/alarm applications. The ...

Reverse engineering is the process of reconstructing high-level design information from lower-level information such as program code. Reverse engineering and re-engineering (a reverse engineering step followed by a ...

Visual interpretation of noisy images is not an easy problem. This is certainly apparent with ultrasound images. Due to the noise inherent in the images, it is often the case that discrepancies as to location of object ...

This work is concerned with the question of how current parallel systems would need to evolve in terms of hardware capabilities, architectures, and software control policies, if they are to continue to be useful computing ...

Boolean function manipulation is an important component of computer science. This thesis presents results related to Boolean function representation and minimization. The Boolean function minimization problem is ...

Shared memory multiprocessor systems are becoming increasingly important and common. Multiprocessor environments are significantly different from uniproces­sor environments, raising new scheduling issues that need to be ...