Ph.D. Dissertations - 1989

A Compiler for Application-Specific Signal Processors
Kenneth Edward Rimey [advisor: Paul N. Hilfinger]

A Josephson Junction Analog-to-Digital Converter with Multigigahertz Bandwidth
David A. Petersen [advisor: Theodore Van Duzer]

Advanced Techniques for CMOS Performance Enhancement and Latch-Up Control
Hans P. Zappe [advisor: Chenming Hu]

Algorithms for Multilevel Logic Optimization
Albert R. R. Wang [advisor: Alberto L. Sangiovanni-Vincentelli]

Algorithms for Optimization-Based Computer-Aided Design
Joseph E. Higgins [advisor: Elijah Polak]

An Algorithm for Reconstuctuing the Surface of the Central Nervous System in vivo
Douglas S. Greer [advisor: William M. Kahan]

An Open Architecture for Improving VLSI Circuit Performance
Fred W. Obermeier [advisor: Randy H. Katz]

Analysis of Performance and Convergence Issues for Circuit Simulation
Thomas L. Quarles [advisor: A. Richard Newton]

Approximate Tracking for Nonlinear Systems with Application to Flight Control
John E. Hauser [advisor: S. Shankar Sastry]

Aspects of Full-Custom VLSI Microprocessor Design and Implementation
Daebum Lee [advisor: David A. Hodges]

Charge-Sheet and Non-Quasi-Static MOSFET Models for SPICE
Hong J. Park [advisor: Ping K. Ko]

Clocking and Synchronization Circuits in Multiprocessor Systems
Deog-Kyoon Jeong [advisor: David A. Hodges]

Compaction-Based VLSI Layout
Xiao-Ming Xiong [advisor: Ernest S. Kuh]

Comparative Performance Evaluation of Garbage Collection Algorithms
Benjamin G. Zorn [advisor: Paul N. Hilfinger]

Constructive Results in Graph Minors: Linkless Embeddings
Huzur Saran [advisor: Eugene L. Lawler]

Control and Stabilization of Flexible Space Structures
John J. Anagnost [advisor: Charles A. Desoer]

Design and Modeling of Deep-Submicrometer MOSFETs
Min-Chie Jeng [advisor: Ping K. Ko]

Design Synthesis of Monolithic CMOS Operational Amplifiers
Han Young Koh [advisor: Carlo H. Séquin]

Dextrous Manipulation for Multifingered Hands: Planning and Control
Arlene A. Cole [advisor: S. Shankar Sastry]

Distributed Algorithms for Monitoring and Control of Electric Power Transmission and Distribution Systems
Andreas F. Neyer [advisor: Felix F. Wu]

Effective Clustering and Buffering in an Object-Oriented DBMS
Ellis E. Chang [advisor: Randy H. Katz]

Factorization Approach to Nonlinear Feedback Systems
Guntekin M. Kabuli [advisor: Charles A. Desoer]

Focused Ion Beam Implanted Gratings in Liquid Phase Epitaxially Grown Indium Gallium Arsenic Phosphide and Gallium Arsenide Distributed Feedback and Distributed Bragg Reflecting Semiconductor Lasers
Myra M. Boenke [advisor: Shyh Wang]

Gettering of Metallic Impurities with Implanted Carbon in Silicon
Hing Wong [advisor: Nathan W. Cheung]

Goal Analysis: Plan Recognition in Dialogue Systems
James C. Mayfield [advisor: Robert Wilensky]

IC-Processed Polysilicon Micromechanics: Technology, Material, and Devices
Yu-Chong Tai [advisor: Richard S. Muller]

Implicit Storage Schemes for Quick Retrieval
Simeon Naor [advisor: Manuel Blum]

Investigation of a Focused-Image Lens-Hologram Projection System for Microlithography
Ginetto Addiego [advisor: William G. Oldham]

Kinematics, Planning and Control of Dextrous Robot Hands
Zexiang Li [advisor: S. Shankar Sastry]

Logic Synthesis for VLSI Design
Richard L. Rudell [advisor: Alberto L. Sangiovanni-Vincentelli]

Material and Device Studies of Heteroepitaxial GaAs Films on Si Substrates by Molecular Beam Epitaxy
Henry P.-H. Lee [advisor: Shyh Wang]

Modeling, Simulation, and Analysis of Systems with a Large Number of Interacting Entities
Atul Prakash [advisor: C. V. Ramamoorthy]

Multilevel Behavioral Verification for VLSI Design
Seung H. Wang [advisor: A. Richard Newton]

Nonlinear Optics in Opto-Electronic Integration with Some Novel Waveguide Devices
Daryoosh Vakhshoori [advisor: Shyh Wang]

On Characterizing and Learning Some Classes of Read-Once Functions
Lisa Hellerstein [advisor: Richard M. Karp]

On Space-Bounded Learning and the Vapnik-Chervonenkis Dimension
Sally J. Floyd [advisor: Richard M. Karp]

On Stability of Queueing Stochastic Processes: Parallel Processing Systems and Stochastic Networks
Nicholas Bambos [advisor: Jean C. Walrand]

Optimally Selecting the Parameters of Adaptive Backoff Algorithms for Computer Networks and Multiprocessors
Peter B. Danzig [advisor: Domenico Ferrari]

Optimization-Based Control System Design for Infinite-Dimensional Systems
Ywh-Pyng Harn [advisor: Elijah Polak]

Parallel Algorithms for Combinatorial Search Problems
Yanjun Zhang [advisor: Richard M. Karp]

Partitioning, Placement, and Routing Algorithms for High-Complexity Integrated Circuits
Ren-Song Tsay [advisor: Ernest S. Kuh]

Performance, Resources, and Complexity: A Systematic Approach to Microarchitectural Design
Shing Ip Kong [advisor: David A. Hodges and David A. Patterson]

Phonological Structures for Speech Recognition
Michael H. Cohen [advisor: Lotfi A. Zadeh]

Planning Robot Motion with Dynamic Constraints
Paul E. Jacobs [advisor: John F. Canny]

Problems in the Control of Flexible Spacecrafts
Omer Morgül [advisor: Charles A. Desoer]

Programming Language Support for Geometric Computations
Mark Gordon Segal [advisor: Carlo H. Séquin]

Restructuring Symbolic Programs for Concurrent Execution on Multiprocessors
James Richard Larus [advisor: Richard J. Fateman and Paul N. Hilfinger]

Self-Synchronizing Concurrent Computing Systems
Vijay K. Madisetti [advisor: David G. Messerschmitt]

Self-Timed Integrated Circuits for Digital Signal Processing
Gordon M. Jacobs [advisor: Robert W. Brodersen]

Simulated Annealing: Theory and Applications to Layout Problems
Fabio I. Romeo [advisor: Alberto L. Sangiovanni-Vincentelli]

Simulation Analysis of Data Sharing in Shared Memory Multiprocessors
Susan J. Eggers [advisor: Randy H. Katz]

SOVAR: Smart Memories for Out-of-Order Execution VLSI Architectures
Gregory A. Uvieghara [advisor: David A. Hodges]

Stationarity and Stability Aspects of Stochastic Networks
Panagiotis Konstantopoulos [advisor: Jean C. Walrand]

Steady-State Methods for Simulating Analog Circuits
Kenneth S. Kundert [advisor: Alberto L. Sangiovanni-Vincentelli]

Syntactic and Semantic Checking in Language-Based Editing Systems
Robert Alan Ballance [advisor: Susan L. Graham]

Techniques for Logic Validation of Digital Circuits
Hi-Keung Ma [advisor: Alberto L. Sangiovanni-Vincentelli]

The Application of Knowledge-Based Systems to Design Verification
Rick L. Spickelmier [advisor: A. Richard Newton]

The Asynchronous PRAM: A Semisynchronous Model for Shared-Memory MIMD Machines
Phillip B. Gibbons [advisor: Richard M. Karp]

The Global Analysis of Fuzzy Dynamical Systems
Yung-Yaw Chen [advisor: Lotfi A. Zadeh]

Theoretical Aspect of Relaxation-Based and Nonlinear Frequency Domain Circuit Simulation
Tammy T.-C. Wang [advisor: Alberto L. Sangiovanni-Vincentelli]

Time Domain Finite Difference Computation for Maxwell's Equations
Jiayuan Fang [advisor: Kenneth K. Mei]

Trust Relationships, Naming, and Secure Communication In Large Distributed Computer Systems
P. Venkata Rangan [advisor: Domenico Ferrari]

Using Hard Problems to Create Pseudorandom Generators
Noam Nisan [advisor: Richard M. Karp]

A Divide-and-Conquer Algorithm for the Automatic Layout of Large Directed Graphs
Eli Messinger [advisor: Lawrence A. Rowe]

On the Interaction of Functional and Timing Behaviour of Combinational Logic Circuits
Patrick C. McGeer [advisor: Robert K. Brayton]