December 1995

Adequacy 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

August 1995

Representation, 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

May 1995

December 1994

Communication Experiments for Distributed Transaction Processing-From Lan to Wan

Advisor: B. Bhargava