Ph.D. Dissertations - 2000
A Design Framework and a Scalable Storage Platform to Simplify Internet Service Construction
Steven D. Gribble [advisor: Eric A. Brewer]
A Differential Geometric Approach to Computer Vision and Its Applications in Control
Yi Ma [advisor: S. Shankar Sastry]
A Framework for Interactive Multicast Data Transport in the Internet
Suchitra Raman [advisor: Steven R. McCanne]
A Pseudonymous Communications Infrastructure for the Internet
Ian A. Goldberg [advisor: Eric A. Brewer]
Access Methods for Next-Generation Database Systems
Marcel Kornacker [advisor: Joseph M. Hellerstein]
Active Services for Archive Applications
Angela M. Schuett [advisor: Randy H. Katz]
Analysis, Simulation, and Applications of Passive Devices on Conductive Substrates
Ali M. Niknejad [advisor: Robert G. Meyer]
Approximability and Completeness in the Polynomial Hierarchy
Christopher M. Umans [advisor: Christos H. Papadimitriou]
Augmenting a Microprocessor with Reconfigurable Hardware
John R. Hauser [advisor: John Wawrzynek]
Balancing Computation and Memory in High Capacity Reconfigurable Arrays
Stylianos Perissakis [advisor: John Wawrzynek]
Capacity of Vector Multiple Access Channels
Pramod Viswanath [advisor: Venkatachalam Anantharam]
Communication in Hierarchies: Explaining Deadlines
Edouard L. Servan-Schreiber [advisor: Christos H. Papadimitriou]
Controllable and Scalable Simulation for Animation
Stephen J. Chenney [advisor: David A. Forsyth]
Coordinating Automated Vehicles via Communication
Soheila V. Bana [advisor: Pravin P. Varaiya]
CWhatUC: Software Tools for Predicting, Visualizing and Simulating Corneal Visual Acuity
Daniel D. Garcia [advisor: Brian A. Barsky]
Deep Sub-Micron Photolithography Control Through In-Line Metrology
Nickhil H. Jakatdar [advisor: Costas J. Spanos]
Design of Accelerometer-Based Gyro-Free Navigation Systems
Kirill S. Mostov [advisor: Pravin P. Varaiya]
Design Techniques for High Performance Integrated Frequency Synthesizers for Multi-Standard Wireless Communication Applications
Li Lin [advisor: Paul R. Gray]
Discriminant Training of Front-End and Acoustic Modeling Stages to Heterogeneous Acoustic Environments for Multi-Stream Automatic Speech Recognition
Michael Lee Shire [advisor: Nelson Morgan]
Embedddings of Finite Metrics
Anupam Gupta [advisor: Alistair Sinclair]
Energy-Efficient Operating System Techniques
Trevor A. Pering [advisor: Robert W. Brodersen]
Evaluation and Guidance in Processor Architecture Selection for DSP
Naji S. Ghazal [advisor: A. Richard Newton]
Extreme Ultraviolet (EUV) Holographic Metrology for Lithography Applications
Sang Hun Lee [advisor: Jeffrey Bokor]
Formal Methods for Embedded System Design
Harry C. C. Hsieh [advisor: Alberto L. Sangiovanni-Vincentelli]
Formal Verification Using Datapath Abstraction
Adrian J. Isles [advisor: Robert K. Brayton]
Frequency Translation Techniques for High-Integration High-Selectivity Multi-Standard Wireless Communication Systems
Jacques C. Rudell [advisor: Paul R. Gray]
Function/Architecture Optimization and Co-Design of Embedded Systems
Bassam Tabbara [advisor: Alberto L. Sangiovanni-Vincentelli]
Geometric Algorithms and Data Representation for Solid Freeform Fabrication
Sara Anne McMains [advisor: Carlo H. Séquin]
Global Posterior Probability Estimates as Decision Confidence Measures in an Automatic Speech Recognition System
Warner Warren III [advisor: Nelson Morgan]
Hybrid System Design and Embedded Controller Synthesis for Multi-Modal Control
Takkuen John Koo [advisor: S. Shankar Sastry]
Image Segmentation and Shape Matching for Object Recognition
Serge J. Belongie [advisor: Jitendra Malik]
Improvement of Stochastic Optimization Through Learning for Complex Problems
Lixin Su [advisor: A. Richard Newton]
Layout Aware Synthesis
Wilsin Gosti [advisor: Alberto L. Sangiovanni-Vincentelli]
Learning Probability Distributions
Sanjoy Dasgupta [advisor: Umesh V. Vazirani]
Limits on Microvalve Design
Kenneth H. Chiang [advisor: Ronald S. Fearing]
Low-Energy Field-Programmable Gate Array
Varghese George [advisor: Jan M. Rabaey]
Low-Noise Local Oscillator Design Techniques Using a DLL-Based Frequency Multiplier for Wireless Applications
George Chien [advisor: Paul R. Gray]
Low-Power Techniques for High-Speed Wireless Baseband Applications
Keith K. Onodera [advisor: Paul R. Gray]
Memory Model Based Algorithmic Computational Optimizations for Signal Processing
Gene Cheung [advisor: Kannan Ramchandran]
Model Order Reduction Method for Interconnect Modeling in IC Design
Meiling Wang [advisor: Ernest S. Kuh]
Modeling and Editing Real Scenes with Image-Based Techniques
Yizhou Yu [advisor: Jitendra Malik]
Multicast Forwarding and Application State Scalability in the Internet
Tina Han-Ting Wong [advisor: Randy H. Katz]
New Methods for Matching Pursuit Video Compression
Ralph A. Neff [advisor: Avideh Zakhor]
Optimizing the Performance of Sparse Matrix-Vector Multiplication
Eun-Jin Im [advisor: Katherine A. Yelick]
Order and Containment in Concurrent System Design
John S. Davis II [advisor: Edward A. Lee]
Pbody: A parallel N-Body Library
David T. Blackston [advisor: James W. Demmel]
Picosecond Ultrasonic Characterization of the Molybdenum/Silicon Multilayers for Extreme Ultraviolet Lithography
Nen-Wen Pu [advisor: Jeffrey Bokor]
Polycrystalline Silicon-Germanium Films for Integrated Microsystems
Andrea E. Franke [advisor: Tsu-Jae King Liu]
Qualitative Analysis, Model Checking, and Controller Synthesis of Hybrid Systems
Mireille E. Broucke [advisor: Alberto L. Sangiovanni-Vincentelli]
Quantum Fourier Sampling, the Hidden Subgroup Problem, and Beyond
Sean J. Hallgren [advisor: Umesh V. Vazirani]
Real-Time Simulation of Physically Realistic Global Deformations
Yan Zhuang [advisor: John F. Canny]
Reducing the Cost of System Administration of a Disk Storage System Built from Commodity Components
Satoshi Asami [advisor: David A. Patterson]
Reliable Multicast Congestion Control and Tree Based Reliable Multicast
Brian D. Whetten [advisor: Domenico Ferrari]
Resource Allocation in the Internet
Richard J. La [advisor: Venkatachalam Anantharam]
Scattercast: An Architecture for Internet Broadcast Distribution as an Infrastructure Service
Yatin D. Chawathe [advisor: Eric A. Brewer]
Shape Representation and Bilinear Problems in Computer Vision
John A. Haddon [advisor: David A. Forsyth]
Specification and Design of Reactive Systems
Bilung Lee [advisor: Edward A. Lee]
Static Analysis and Computer Security: New Techniques for Software Assurance
David A. Wagner [advisor: Eric A. Brewer]
Telesurgery and Surgical Simulation: Design, Modeling, and Evaluation of Haptic Interfaces to Real and Virtual Surgical Environments
M. Cenk Cavusoglu [advisor: S. Shankar Sastry]
Text/Graphics and Image Transmission over Bandlimited Lossy Links
Jeffrey M. Gilbert [advisor: Robert W. Brodersen]
The Universal Planar Manipulator (Robotics)
Dan S. Reznik [advisor: John F. Canny]
Towards Interactive Ray Tracing in Two- and Three-Dimensions
Franklin S.-H. Cho [advisor: David A. Forsyth]
Video Compression and Streaming over Packet-Switched Networks
Wai-tian Tan [advisor: Avideh Zakhor]
Visual Texture Perception
Thomas K.-H. Leung [advisor: Jitendra Malik]