PhD Alumni
Displaying 501 - 550 of 806
Last | First | Graduation Year | Dissertation | Advisor |
---|---|---|---|---|
Godfrey | Parke | 1999 | An Architecture and Implementation of a Cooperative Database System | Jack Minker |
Golub | Evan | 1999 | Empirical Studies in Parallel Sorting | William Gasarch |
Haritaoglu | Ismail | 1999 | A Real Time System for Detection and Tracking of People and Monitoring their Activities | Larry Davis |
Jonsson | Bjorn | 1999 | Application-oriented buffering and caching techniques | Michael J. Franklin |
Kang | Dong-In | 1999 | Automated design techniques for distributed real-time embedded systems | Jeffrey K. Hollingsworth |
Potter | Richard | 1999 | Pixel Data Access: Interprocess Communication in the User Interface for End-User Programming and Graphical Macros | Ben Shneiderman |
Shpeisman | Tatiana | 1999 | William Pugh | |
Sussmann | Yoram | 1999 | Approximation Algorithms for Facility Location Problems | Samir Khuller |
Tsuneto-Rager | Reiko | 1999 | Efficient Refinement Strategies for HTN Planning | Hendler |
Uysal | Mustafa | 1999 | Disk Placement in Multicomputer I/O Subsystems | Joel Saltz |
Wang | Kuang-yeh | 1999 | Improving Performance of Wireless Networks in the Internet | Satish Kumar Tripathi |
Zhang | Zhijun | 1999 | The Design and Empirical Studies of Perspective-Based Usability Inspection | Victor Basili |
Zhao | Wei | 1999 | Adaptive streaming of scalable multimedia over heterogeneous environments | Ramalingam Chellappa |
Bhatia | Randeep | 1998 | Approximation Algorithms for Scheduling Problems | Samir Khuller |
Bultan | Tevfik | 1998 | Automated Static Analysis with Composite Symbolic Models | Richard Gerber |
Davis | Cynthia | 1998 | Supporting Intermittent Connectivity in Mobile Networks | Satish Kumar Tripathi |
Gharai | Ladan | 1998 | Multi-Platform Performance Models for Digital Video Systems | Richard Gerber |
Glenn | James | 1998 | Implementing WSIS via Finite Automata | William Gasarch |
Hwang | Eenjun | 1998 | A Framework For Distributed Video-on-Demand Services | |
Hwang | Yuan-Shin | 1998 | Compiling Data-Parallel Programs with Dynamic Pointer-Linked Data Structures on Distributed Memory Systems | Joel Saltz |
Kandogan | Eser | 1998 | Extending Spatial Organization, Manipulation and Access of Information in Windowing Systems | Ben Shneiderman |
Kohout | Robert | 1998 | Guaranteeing safety in the presence of moving obstacles | Hendler |
Korn | Philip | 1998 | Indexing and Mining Medical Image and Multimedia Databases | Christos Faloutsos |
Lee | Sung | 1998 | A Study of Cyclone Technology | Ashok Agrawala |
Matos | Gilberto | 1998 | Analysis and applications of receptive safety properties in concurrent systems | James Purtilo |
Park | Jun-cheol | 1998 | Automatic Synthesis of Time Dependent Communication Protocols | Raymond Miller |
Pu | Fan-tao | 1998 | Data Structures for Global Illumination Computation and Visibility Queries in 3-Space | David Mount |
Rosser | Evan | 1998 | Fine-Grained Analysis for Generating Better Communication and Synchronization | William Pugh |
Shull | Forrest | 1998 | Developing Techniques for Using Software Documents: A Series of Empirical Studies | Victor Basili |
Stathatos | Konstantinos | 1998 | Adaptive Techniques for Hybrid Delivery | Nicholas Roussopoulos |
Welch | Donald | 1998 | Building self-reconfiguring distributed virtual environments | James Purtilo |
Baratoff | Gregory | 1997 | Distortion of Stereoscopic Visual Space | John Aloimonos |
Candan | Kasim | 1997 | A framework for distributed multimedia collaborations | |
Chen | Yinong | 1997 | A motor control model based on self-organizing feature maps | James Reggia |
Choi | Seonho | 1997 | Dynamic time-based scheduling for hard real-time systems | Ashok Agrawala |
Gryz | Jaroslaw | 1997 | Syntactic and Semantic Optimization of Database Queries | Jack Minker |
Mendonca | Manoel | 1997 | An approach to improving existing measurement frameworks in software development organizations | Victor Basili |
Morimoto | Carlos | 1997 | Electronic digital image stabilization :$esign and evaluation, with applications | Ramalingam Chellappa |
Sahinalp | S. Cenk | 1997 | Locally consistent parsing for string processing | Uzi Vishkin |
Smith | Stephen | 1997 | Task-Network Planning using Total-Order Forward Search, and Applications to Bridge and to Microwave-Module Manufacture | Dana Nau |
Song | Junehwa | 1997 | Structured multimedia documents :$esign and presentation in a distributed environment | Raymond Miller |
Thomas | William | 1997 | Evolutionary approaches for software engineering empirical modeling | Victor Basili |
Adali | Sibel | 1996 | Query Processing in Hetergenous Mediated Systems | |
Agrawal | Gagan | 1996 | Interprocedural code placement techniques and their applications | Joel Saltz |
Blakemore | William | 1996 | Efficient analysis of Generalized Stochastic Petri Nets | Satish Kumar Tripathi |
Chechik | Maria | 1996 | Automatic analysis of consistency between requirements and designs | John D. Gannon |
Cheong | Loong-Fah | 1996 | Distortion of space due to perceived motion | John Aloimonos |
Chou | Hui-Hsien | 1996 | Self-replicating structures in a cellular automata space | James Reggia |
Cucka | Peter | 1996 | Pattern classification methods in navigation and object recognition | Azriel Rosenfeld |
Fischer | Jeffrey | 1996 | Compositional verification by model checking for counter-examples | Richard Gerber |