ACM Doctoral Dissertation Award
Showing results 1-10 of 11
Filter Results OPEN +
Generating Language-Based Environments
Generating Language-Based Environments
ISBN: 9780262681469
Publisher: The MIT Press
Pub Date: August 27, 2004
This book addresses a fundamental software engineering issue, applying formal techniques and rigorous analysis to a practical problem of great current interest: the incorporation of language-specific...
Communication Complexity
A New Approach to Circuit Depth
ISBN: 9780262611886
Publisher: The MIT Press
Pub Date: August 30, 1989
Communication Complexity describes a new intuitive model for studying circuit networks that captures the essence of circuit depth. Although the complexity of boolean functions has been studied for almost...
Using Hard Problems to Create Pseudorandom Generators
Using Hard Problems to Create Pseudorandom Generators
ISBN: 9780262640527
Publisher: The MIT Press
Pub Date: March 17, 2003
Randomization is an important tool in the design of algorithms, and the ability of randomization to provide enhanced power is a major research topic in complexity theory. Noam Nisan continues the investigation...
Default Reasoning
Causal and Conditional Theories
ISBN: 9780262519083
Publisher: The MIT Press
Pub Date: March 13, 1992
a powerful default-handling system that yields an intuitive behavior in several domains of interest in AI, including inheritance hierarchies, reasoning about change, general logic programs, and abductive reasoning
Complexity of Robot Motion Planning
Complexity of Robot Motion Planning
ISBN: 9780262031363
Publisher: The MIT Press
Pub Date: June 29, 1988
The Complexity of Robot Motion Planning makes original contributions both to robotics and to the analysis of algorithms. In this groundbreaking monograph John Canny resolves long-standing problems concerning...
The Design and Analysis of Efficient Learning Algorithms
The Design and Analysis of Efficient Learning Algorithms
ISBN: 9780262193252
Publisher: The MIT Press
Pub Date: September 29, 1992
This monograph describes results derived from the mathematically oriented framework of computational learning theory.
Computational Limitations for Small Depth Circuits
Computational Limitations for Small Depth Circuits
ISBN: 9780262081672
Publisher: The MIT Press
Pub Date: February 20, 1987
Proving lower bounds on the amount of resources needed to compute specific functions is one of the most active branches of theoretical computer science. Significant progress has been made recently in...
Full Abstraction and Semantic Equivalence
Full Abstraction and Semantic Equivalence
ISBN: 9780262132275
Publisher: The MIT Press
Pub Date: February 10, 1987
Full Abstraction and Semantic Equivalence demonstrates an original theory that uses the same inclusive predicates to show semantic equivalence and to construct fully abstract, extensional submodels....
Bulldog
A Compiler for VLIW Architectures
ISBN: 9780262050340
Publisher: The MIT Press
Pub Date: April 22, 1986
Bulldog demonstrates that a symbiosis of new Very Long Instruction Word (VLIW) architectures and new compiling technology is practicable. VLIW architectures are reduced-instruction-set machines with...
Reduced Instruction Set Computer Architectures for VLSI
Reduced Instruction Set Computer Architectures for VLSI
ISBN: 9780262111034
Publisher: The MIT Press
Pub Date: April 11, 1985
This book demonstrates the practicality of the RISC approach.
Generating Language-Based Environments
Generating Language-Based Environments
ISBN: 9780262681469
Publisher: The MIT Press
Pub Date: August 27, 2004
Communication Complexity
A New Approach to Circuit Depth
ISBN: 9780262611886
Publisher: The MIT Press
Pub Date: August 30, 1989
Using Hard Problems to Create Pseudorandom Generators
Using Hard Problems to Create Pseudorandom Generators
ISBN: 9780262640527
Publisher: The MIT Press
Pub Date: March 17, 2003
Default Reasoning
Causal and Conditional Theories
ISBN: 9780262519083
Publisher: The MIT Press
Pub Date: March 13, 1992
Complexity of Robot Motion Planning
Complexity of Robot Motion Planning
ISBN: 9780262031363
Publisher: The MIT Press
Pub Date: June 29, 1988
The Design and Analysis of Efficient Learning Algorithms
The Design and Analysis of Efficient Learning Algorithms
ISBN: 9780262193252
Publisher: The MIT Press
Pub Date: September 29, 1992
Computational Limitations for Small Depth Circuits
Computational Limitations for Small Depth Circuits
ISBN: 9780262081672
Publisher: The MIT Press
Pub Date: February 20, 1987
Full Abstraction and Semantic Equivalence
Full Abstraction and Semantic Equivalence
ISBN: 9780262132275
Publisher: The MIT Press
Pub Date: February 10, 1987
Bulldog
A Compiler for VLIW Architectures
ISBN: 9780262050340
Publisher: The MIT Press
Pub Date: April 22, 1986
Reduced Instruction Set Computer Architectures for VLSI
Reduced Instruction Set Computer Architectures for VLSI
ISBN: 9780262111034
Publisher: The MIT Press
Pub Date: April 11, 1985