Bøger i ACM Distinguished Dissertation serien

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.

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.

This monograph develops a comprehensive model for analyzing the design and performance of a complex data-sharing environment that consists of multiple, loosely coupled transaction-processing nodes with a common database at the disk level.