Ph.D. Dissertations - 1988
A Client-Server Shell Architecture for Distributed Programming
Stuart Sechrest [advisor: Domenico Ferrari and George L. Turin]
A Computational Theory of Metaphor
James H. Martin [advisor: Robert Wilensky]
A Multiple-Representation Paradigm for Document Development
Pehong Chen [advisor: Michael A. Harrison]
A New Interface Specification Methodology and its Application to Transducer Synthesis
Gaetano Borriello [advisor: Randy H. Katz]
A Simulation-Based Directed-Search Method for Test Generation
Kwang-Ting Cheng [advisor: Ernest S. Kuh]
Abstract Timing Verification for Synchronous Digital Systems
David E. Wallace [advisor: Carlo H. Séquin]
Accurate Timing Verification for Digital VLSI Designs
Young H. Kim [advisor: A. Richard Newton]
Acoustic Echo Cancellation for Loudspeaker Telephones
Wen-Bin Hsu [advisor: Carlo H. Séquin]
Algorithm and Architecture Designs for High-Speed Digital Signal Processing
Keshab K. Parhi [advisor: David G. Messerschmitt]
An Analysis of Architectures for High-Performance Transaction Processing
Anupam K. Bhide [advisor: Michael R. Stonebraker]
An Integrated CAD System for Algorithm-Specific IC Design
Chuen-Shen B. Shung [advisor: Robert W. Brodersen]
Analysis and Minimization Losses in Electric Power Transmission and Distribution Systems
Mesut E. Baran [advisor: Felix F. Wu]
Application of Silicon Compilation Techniques to a Robot Controller Design
Syed K. Azim [advisor: Robert W. Brodersen]
Asynchronous Design for Digital Signal Processing Architectures
Teresa H.-Y. Meng [advisor: David G. Messerschmitt]
Automatic Synthesis and Layout of Switched-Capacitor Filters
Hormoz Yaghutiel [advisor: Alberto L. Sangiovanni-Vincentelli]
BEAR: A Macrocell Layout System for VLSI Circuits
Wei-Ming Dai [advisor: Ernest S. Kuh]
CODECS: A Mixed-Level Circuit and Device Simulator
Kartikeya Mayaram [advisor: Donald O. Pederson]
Control of Mechanical Manipulators
Ping Hsu [advisor: S. Shankar Sastry]
Coprocessor Architectures for VLSI
Paul Mark Hansen [advisor: David A. Patterson]
Dynamics of a Planar Magnetron Discharge
Amy E. Wendt [advisor: Michael A. Lieberman]
Evaluation of "Performance Enhancements" in Algebraic Manipulation Systems
Carl Glen Ponder [advisor: Richard J. Fateman and Clark D. Thompson]
High Field Reliability of MOS Devices
Jack C.-Y. Lee [advisor: Chenming Hu]
High Frequency Monolithic Phase-Locked Loops
Mehmet Soyuer [advisor: Robert G. Meyer]
High Frequency, Temperature-Compensated Monolithic Voltage-Controlled Oscillator Design Techniques
Ting-Ping Liu [advisor: Robert G. Meyer]
Intelligent Decentralized Control In Large Distributed Computer Systems
Joseph Carlo Pasquale [advisor: Domenico Ferrari]
Knowledge Intensive Planning
Marc A. Luria [advisor: Robert Wilensky]
Limits on the Provable Consequences of One-way Functions
Steven Rudich [advisor: Manuel Blum]
Load Sharing in Distributed Systems
Khosrow Dahi-Taleghani [advisor: C. V. Ramamoorthy]
Lower Bounds on the Complexity of Graph Properties
Valerie King [advisor: Richard M. Karp]
Macromodelling for the Simulation of Large Scale Analog Integrated Circuits
Giorgio Casinovi [advisor: Alberto L. Sangiovanni-Vincentelli]
Modeling and Implementation of Visibility in Programming Languages
Phillip Edward Garrison [advisor: Susan L. Graham]
New Optimization Techniques in Database Access and Maintenance
Jaideep Srivastava [advisor: C. V. Ramamoorthy]
Nonlinear Oscillations, Synchronization and Chaos
Greg M. Bernstein [advisor: Leon O. Chua]
On Image Texture
Paul R. Kube [advisor: Jitendra Malik]
Parallel Unification Scheduling in Prolog
Wayne Victor Citrin [advisor: Alvin M. Despain]
Performance Optimization of Integrated Circuits
Jyuo-Min Shyu [advisor: Alberto L. Sangiovanni-Vincentelli]
Physical Memory Management in a Network Operating System
Michael Newell Nelson [advisor: John K. Ousterhout]
Polygon Decomposition and Perfect Graphs
Arvind Raghunathan [advisor: Eugene L. Lawler and Clark D. Thompson]
Probabilistic Analysis of Matching and Network Flow Algorithms
Rajeev Motwani [advisor: Richard M. Karp]
Reversing Trains: A Turn of the Century Sorting Problem
Nancy M. Amato [advisor: Manuel Blum]
Rewrite Systems, Pattern Matching, and Code Generation
Eduardo Pelegri-Llopart [advisor: Susan L. Graham]
Robust Stabilization and Tracking for Nonlinear Systems
Saman Behtash [advisor: S. Shankar Sastry]
Snap-Dragging: Interactive Geometric Design in Two and Three Dimensions
Eric A. Bier [advisor: Carlo H. Séquin]
Specification and Analysis of Distributed Systems with a Large Number of Processes
Vijay K. Garg [advisor: C. V. Ramamoorthy]
The Modeling, Analysis, and Design of Distributed Systems Based on Communicating Petri Nets
Joo-Seok Song [advisor: C. V. Ramamoorthy]
Tunable Single-Wavelength Semiconductor Lasers
Ming-Chiang A. Wu [advisor: Shyh Wang]
Undecidability Results and Real-Time Semantics for Finitely Recursive Processes
Randall A. Cieslak [advisor: Pravin P. Varaiya]
VLSI Design Techniques for Floating-Point Computation
Bidyut Kumar Bose [advisor: David A. Patterson]
Algebraic Theory of Linear Feedback Systems with Full and Decentralized Compensators
Nazli A. Gündes [advisor: Charles A. Desoer]
Algorithms for Optimal Control of Systems Described by Partial and Ordinary Differential Equations
Theodore E. Baker [advisor: Elijah Polak]
Approximate Algorithms for Solving Queuing Network Models of Large Distributed Systems
Hamid Reza Bahadori [advisor: Domenico Ferrari]
Collisional and Finite Bounce Frequency Effects on Trapped Particle Modes
Harishankar Ramchandran [advisor: Michael A. Lieberman]
Electronic Switching Techniques for Fiber Optic Networks
Hyun J. Shin [advisor: David A. Hodges]
Finite Element Methods for Process Simulation Application to Silicon Oxidation
Pantas Sutardja [advisor: William G. Oldham]
Heterostructure Bipolar Transistors by Molecular Beam Epitaxy
Michael J. Werner [advisor: Shyh Wang]
High Performance Programmable DSP Architectures
Mordechay T. Ilovich [advisor: David G. Messerschmitt]
High-Resolution Pipelined Analog-to-Digital Conversion
Sehat Sutarja [advisor: Paul R. Gray]
High-Speed Analog-to-Digital Conversion Using 2-Step Flash Architectures
Joey Doernberg [advisor: David A. Hodges]
Hot-Carrier Effects in p-MOSFETs
Tong-Chern Ong [advisor: Chenming Hu]
Laser Dynamics: The System Dynamics and Network Theory of Optoelectronic Integrated Circuit Design
Tom Shinming T. K. Tarng [advisor: Shyh Wang]
Models for a Comprehensive Methodology for Parameter Selection and Discrete Decision-Making in the Design of Integrated Circuits
David C. Riley [advisor: Alberto L. Sangiovanni-Vincentelli]
Probabilistic Methods in Queueing Networks
Pantelis G. Tsoucas [advisor: Jean C. Walrand]
Short Pulse Generation and Semiconductor Laser Dynamics
Homayoon Ansari [advisor: John R. Whinnery and Andrew Dienes]
Studies of Multiple-Time-Scale Phenomena in Control Systems
Shahram Mojaddad-Shahruz [advisor: Charles A. Desoer]
Techniques for Optimization-Based Synthesis of Digital Systems
Srinivas Devadas [advisor: A. Richard Newton]
The Design and Evaluation of a Universal Communication Network Controller
Ayman S. Fawaz [advisor: Pravin P. Varaiya]