PhD Alumni

Search Alumni

Select a year
Displaying 851 - 900 of 948
Last First Graduation Year Dissertation Advisor(s)
Delatorre Pilar 1987 Analysis of tries Gary Knott
Kang Hyunchul 1987 On query processing in distributed database systems Nicholas Roussopoulos
Kohli Madhur 1987 Controlling the Execution of Logic Programs
Motteler Howard 1987 A mathematical model of static dataflow Carl Herbert Smith
Sherlekar Deepak 1987 Graph Dissection Techniques for VLSI and Algorithms
Abrams Marc 1986 Performance Analysis of Unconditionally Synchronizing Distributed Computer Programs using the Geometric Concurrency Model
Gopalakrishnan Ponani 1986 Parellel Approximate Algorithms for Combinatorialy Hard Problems Laveen Kanal
Kim Chee 1986 Virtual Waiting Time Analysis of an Erlangian Single Server Queuing System and Its Applications Ashok Agrawala
Lakshman T.V. 1986 Message-Complexity vs. Delay Tradeoffs in Decentralized Consensus Protocols Ashok Agrawala
Lakshman Tirunella 1986 Message-Complexity vs. Delay Tradeoffs in Decentralized Consensus Protocols Ashok Agrawala
Murphy Jack 1986 Matrix computations by Monte Carlo optimization Edmundson
Pawagi Shaunak 1986 Incremental graph algorithms for parallel random access machines Ramakrishnan
Singhal Mukesh 1986 Concurrency Control Algorithms and their Performance in Replicated Database Systems Ashok Agrawala
Son Sang 1986 On Reliability Mechanisms in Distributed Database Systems Ashok Agrawala
Subbarao Muralidha 1986 Interpretation of visual motion:! computational study Larry Davis
Velauthapillai Mahendran 1986 On the inductive inference of programs with anomalies Carl Herbert Smith
Bail William 1985 Algorithm Structure Analysis Using Hierarchical Abstract Computers Marvin Zelkowitz
Bane John 1985 Causal monitor generation for complex systems Rieger
Chakravarthy Upendrana 1985 Semantic Query Optimization in Deductive Databases
Dunn Stanley 1985 Recovering the orientation of textured surfaces Larry Davis
Lin Kwei-Jay 1985 Atomic remote procedure cal John D. Gannon
Peng Yun 1985 A formalization of parsimonious covering and probabilistic reasoning in abductive diagnostic inference James Reggia
Selby Richard 1985 Evaluations of software technologies :4esting, CLEANROOM, and metrics Victor Basili
Silberberg Teresa 1985 Three dimensional object recognition using linear features and oriented model points Larry Davis
Coolahan James 1984 The specification of timing requirements for real-time systems using timed Petri nets Nicholas Roussopoulos
Hartley Ralph 1984 Multi-scale models in image analysis Azriel Rosenfeld
Hwang Shang-Sho 1984 Evidence accumulation for spatial reasoning in aerial image understanding Azriel Rosenfeld
Kasif Simon 1984 Analysis of Parallelism in Logic Programs
Upton Richard 1984 A treatment analysis of computer communication networks Satish Kumar Tripathi
Wohn Kwangyoen 1984 A contour-based approach to image flow Larry Davis
Arnold Robert 1983 On the Generation and Use of Quantitative Criteria for Assessing Software Maintenance Qualit Raymond T. Yeh
Hutchens David 1983 Characterizing Software with Objective Measurements Victor Basili
Kirby Robert 1983 Iterative Parallel Labeling for Pattern Recognition Azriel Rosenfeld
Lee Chia-Hoang 1983 The use of shading in image segmentation and surface orientation estimation Azriel Rosenfeld
Morell Larry 1983 A theory of error-based testing Richard G. Hamlet
Ramakrishnan K. 1983 The Design and Analysis of Resource Allocation Policies in Distributed Systems Ashok Agrawala
Stanfill Craig 1983 Form and function :4he representation of machines Reiger
Trigg Randall 1983 A network-based approach to text handling for the online scientific community Rieger
Woo Nam 1983 A Pragmatic Parallel Computation Model and its Computer Architecture Ashok Agrawala
Chen Bo-Shoe 1982 Event-based specification and verification of distributed systems Raymond T. Yeh
Dunlop Douglas 1982 An investigation of functional correctness issues Victor Basili
Hong Tsaihong 1982 Pyramid methods in image analysis Hanan Samet
Kitchen Leslie 1982 Local consistency and constraint filtering for structure matching and image analysis Azriel Rosenfeld
Kumar Vipin 1982 A unified approach to problem solving search procedures Laveen Kanal
Kushner Todd 1982 A theoretical model of interprocessor communication for parallel image processing Azriel Rosenfeld
Thareja Ashok 1982 Buffer Allocation Policies For Message Switching Networks Ashok Agrawala
Wood Richard 1982 Computer aided program synthesis Rieger
Agre Jon 1981 Approximate Solutions to Queuing Networks with State Dependent Parameters Ashok Agrawala
Agre John 1981 Approximate Solutions to Queuing Networks with State Dependent Parameters Ashok Agrawala
Gordon Karen 1981 On the construction of representative test workloads Ashok Agrawala