Skip navigation

ACM Distinguished Dissertation

Speed-independent circuits offer a potential solution to the timing problems of VLSI. In this book David Dill develops and implements a theory for practical automatic verification of these control circuits. He describes a formal model of circuit operation, defines the proper relationship between an implementation and its specification, and constructs a computer program that can check this relationship.

Large transaction-processing applications, such as banking, flight reservations, telecommunications, and networking, demand increasingly high throughput and fast response times. Coupling multiple systems for database transaction processing can provide these systems with higher capacity and availability at a lower cost. Data sharing is one promising architecture for such an environment.

The Rapid Evaluation of Potential Fields in Particle Systems presents a group of algorithms for the computation of the potential and force fields in large-scale systems of particles that are likely to revolutionize a whole class of computer applications in science and engineering.

Animation provides a rich environment for actively exploring algorithms. Multiple, dynamic, graphical displays of an algorithm reveal properties that might otherwise be difficult to comprehend or even remain unnoticed. This exciting new approach to the study of algorithms is taken up by Marc Brown in Algorithm Animation.