Search
Now showing items 1-10 of 12
Optimal control of a class of real-time computational systems
(1991)
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 ...
Soft typing: An approach to type checking for dynamically typed languages
(1991)
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 ...
A subgradient algorithm for nonlinear integer programming and its parallel implementation
(1991)
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 ...
Parameter-passing and the lambda calculus
(1991)
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 ...
A systolic VLSI architecture for complex SVD
(1991)
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 ...
Optimizing programs over the constructive reals
(1991)
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, ...
A connectionist approach to autonomous robotic navigation
(1991)
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 ...
Managing interprocedural optimization
(1991)
This dissertation addresses a number of important issues related to interprocedural optimization. Interprocedural optimization is an integral component in a compilation system for high-performance computing. The importance ...
Performance analysis of parallel I/O models for external mergesort
(1991)
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 ...
Remote control of a robotic arm through speaker-dependent, isolated-word speech recognition
(1991)
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 ...