# 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]