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.In many areas of scientific computing, from studying the evolution of galaxies, to simulating the behavior of plasmas and fluids, to modelling chemical systems, a numerical scheme is used to follow the trajectories of a collection of particles moving in accordance with Newton's second law of motion in a field...

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.Asynchronous or speed-independent circuit design has gained renewed interest in the VLSI community because of the possibilities it provides for dealing with problems that arise with the...

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.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...