





December 1995
August 1995
May 1995
December 1994
Li, TsanchiAdequacy Assessment of Tests for Fault-tolerance
Advisor: A.P. Mathur
Liu, Xiangning
Data Replication and Communication for Topologically Scaled Distributed Systems
Advisor: B. Bhargava
Xu, Lu
Two Dimensional Concurrent Program Debugging
Advisor: M. Young
Chen, XiangpingRepresentation, Evaluation and Editing of Feature-Based and Constraint-Based De sign
Advisor: C.M. Hoffmann
Fudos, Ioannis
Constraint Solving for Computer Aided Design
Advisor: C.M. Hoffmann
Kumar, Sandeep
Classification and Detection of Computer Inclusions
Advisor: E.H. Spafford
Pitoura, Evaggelia
Transaction Management for Mobile Heterogeneous Computing
Advisor: B. Bhargava
Wu, Po-ting
Parallel Electronic Prototyping of Physical Objects
Advisor: E.N. Houstis
Zhang, YongguangCommunication Experiments for Distributed Transaction Processing-From Lan to Wan
Advisor: B. Bhargava


