Search
Now showing items 11-20 of 26
A Hierarchical Assembly Planning system
(1994)
This dissertation addresses the problem of generating feasible assembly sequences for a mechanical product from a description of it in a fundamentally new way. An operation is a motion to bring together two subassemblies ...
Logic and transistor circuit verification using regression testing and hierarchical recursive learning
(Texas A&M University, 1996)
We describe a new approach for formal verification of combinational logic circuits, and their switch-level transistor implementation. Our approach CODibines regression testing, hierarchical recursive learning, and test ...
A model for reengineering legacy software systems to object oriented systems
(1994)
Object-oriented methodology facilitates the development and maintenance of large complex software systems. The migration of existing systems to object-oriented technology is becoming increasingly important. In this ...
Reconfigurable computer systems for wafer scale integration
(1994)
This dissertation present new approaches for testing and reconfiguring several types of wafer-scale integration computer systems. Chapter II examines a fault tolerant scheme for two-dimensional arrays of processors which ...
Nondeterminism and optimization
(1994)
The study of the power of nondeterminism is central to complexity theory. However, it remains unclear how nondeterminism can be used to characterize computational optimization problems. In this dissertation, a "Guess-then- ...
Combinatorial aspects of point visibility
(1993)
This dissertation is concerned with the combinatorics of visibility graphs of simple polygons. We seek to obtain combinatorial properties that characterize such visibility graphs. A key algorithmic problem that arises in ...
Image synthesis with adaptive cone tracing
(1993)
Ray tracing is a simple, yet powerful, image synthesis technique that can produce realistic images. Unfortunately, ray tracing creates several artifacts because of the mathematical properties of a ray. A new technique ...
Hard real-time scheduling for the rate-group model
(1992)
Many real-time systems built in the past based their scheduling on the cyclic executive model because it produces predictable schedules which facilitate exhaustive testing. The rate-monotonic algorithm has the advantage ...
An outline view model for interacting with structured information systems
(1994)
This research describes a user interface model for interacting with structured information systems based on outline views. An outline view is a form of hierarchically organized hypertext whereby information can be expanded ...
The use of symbolic manipulation to enable the practical use of power series integrators
(1991)
A prototype scientific programming environment for solving initial and boundary value problems in ordinary differential and integro-differential equations is presented. This environment is designed to assist scientific ...