In an effort to avoid improper use of program functions, modern programming languages employ some kind of preventative type system. These type systems can be classified as either static or dynamic. Static type systems ...

Robotic navigation has been an area of intense research since the onset of mobile robot development. The usefulness of mobile robots ultimately reside in their ability to move and interact with the environment. Current ...

In many computational systems, tasks comprising numerical or symbolic data arrive at a processor periodically. Processing of the $i\sp{th}$ task has to stop before processing of the ($i$ + 1)$\sp{th}$ task begins, causing ...

A real number x is constructive if an algorithm can be given to compute arbitrarily accurate approximations to x. An efficient implementation of constructive real arithmetic could be used for prototyping numerical programs, ...

The choice of a parameter-passing technique is an important decision in the design of a high-level programming language. To clarify some of the semantic aspects of the decision, we develop, analyze, and compare modifications ...

This thesis presents a systolic algorithm for the SVD of arbitrary complex matrices, based on the cyclic Jacobi method with "parallel ordering". As a basic step in the algorithm, a two-step, two-sided unitary transformation ...

This work concerns efficiently solving a class of nonlinear integer programming problems: min $\{f(x)$: $x \in \{0,1\}\sp{n}\}$ where $f(x)$ is a general nonlinear function. The notion of subgradient for the objective ...

The focus of this thesis is the remote control of a six degree-of-freedom mid-range industrial robot arm through the use of speech recognition. The robot arm is controlled through speaker-dependent, isolated-word speech ...

Since the I/O subsystem is the bottleneck in external mergesort, I/O parallelism can result in substantial performance improvements. Concurrency can be introduced by overlapping I/O requests at different disks, and the ...

Parallel programming is an intellectually demanding task. One of the most difficult challenges in the development of parallel programs for asynchronous shared memory systems is avoiding errors caused by inadvertent data ...