ACM Distinguished Dissertation
Showing results 1-10 of 15
Filter Results OPEN +
The Rapid Evaluation of Potential Fields in Particle Systems
The Rapid Evaluation of Potential Fields in Particle Systems
ISBN: 9780262571920
Publisher: The MIT Press
Pub Date: March 17, 2003
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...
Algorithm Animation
ISBN: 9780262524117
Publisher: The MIT Press
Pub Date: April 21, 1988
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...
Performance Analysis of Data-Sharing Environments
Performance Analysis of Data-Sharing Environments
ISBN: 9780262541534
Publisher: The MIT Press
Pub Date: March 17, 2003
Large transaction-processing applications, such as banking, flight reservations, telecommunications, and networking, demand increasingly high throughput and fast response times. Coupling multiple systems...
Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits
Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits
ISBN: 9780262541572
Publisher: The MIT Press
Pub Date: March 17, 2003
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....
Redundant Disk Arrays
Reliable, Parallel Secondary Storage
ISBN: 9780262071420
Publisher: The MIT Press
Pub Date: September 28, 1992
Disk arrays, coupled with emerging small disk technology, promise to provide a badly needed increase in the performance of secondary storage systems. Because high failure rates arise with a large number...
The Power of Interaction
ISBN: 9780262121705
Publisher: The MIT Press
Pub Date: September 14, 1992
The Power of Interaction presents a new algebraic technique for constructing interactive proof systems and demonstrates the immense power of randomization and interaction in proving statements efficiently....
Uses of Randomness in Algorithms and Protocols
Uses of Randomness in Algorithms and Protocols
ISBN: 9780262111539
Publisher: The MIT Press
Pub Date: October 22, 1990
Uses of Randomness in Algorithms and Protocols makes fundamental contributions to two different fields of complexity theory: computational number theory and cryptography. The most famous result is Goldwasser...
Computational Models of Games
ISBN: 9780262031523
Publisher: The MIT Press
Pub Date: August 11, 1989
Computational Models of Games describes a model of two person games - called a probabilistic game automaton - that unifies other important models that have been developed to reflect the game-like properties of computational problems.
The Design and Evaluation of a High Performance Smalltalk System
The Design and Evaluation of a High Performance Smalltalk System
ISBN: 9780262210102
Publisher: The MIT Press
Pub Date: July 9, 1987
This book documents two results that run counter to conventional wisdom about the Smalltalk-80 system.
All the Right Moves
A VLSI Architecture for Chess
ISBN: 9780262050357
Publisher: The MIT Press
Pub Date: June 19, 1987
All the Right Moves presents a parallel architecture that makes this tradeoff irrelevant: using the VLSI architecture described in this book, the Hitech chess program is able to search both quickly and knowledgeably.
The Rapid Evaluation of Potential Fields in Particle Systems
The Rapid Evaluation of Potential Fields in Particle Systems
ISBN: 9780262571920
Publisher: The MIT Press
Pub Date: March 17, 2003
Algorithm Animation
ISBN: 9780262524117
Publisher: The MIT Press
Pub Date: April 21, 1988
Performance Analysis of Data-Sharing Environments
Performance Analysis of Data-Sharing Environments
ISBN: 9780262541534
Publisher: The MIT Press
Pub Date: March 17, 2003
Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits
Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits
ISBN: 9780262541572
Publisher: The MIT Press
Pub Date: March 17, 2003
Redundant Disk Arrays
Reliable, Parallel Secondary Storage
ISBN: 9780262071420
Publisher: The MIT Press
Pub Date: September 28, 1992
The Power of Interaction
ISBN: 9780262121705
Publisher: The MIT Press
Pub Date: September 14, 1992
Uses of Randomness in Algorithms and Protocols
Uses of Randomness in Algorithms and Protocols
ISBN: 9780262111539
Publisher: The MIT Press
Pub Date: October 22, 1990
Computational Models of Games
ISBN: 9780262031523
Publisher: The MIT Press
Pub Date: August 11, 1989
The Design and Evaluation of a High Performance Smalltalk System
The Design and Evaluation of a High Performance Smalltalk System
ISBN: 9780262210102
Publisher: The MIT Press
Pub Date: July 9, 1987
All the Right Moves
A VLSI Architecture for Chess
ISBN: 9780262050357
Publisher: The MIT Press
Pub Date: June 19, 1987