Searching for authors named David Sherman – sorted by Relevance.
-
Lazy Directed Congruence Closure
- Lazy Directed Congruence Closure David J. Sherman University of Chicago Technical Report 90
- Cited by 4 (3 self) – Add To MetaCart
-
Sharing Common Subexpressions in EM code Programs
- Sharing Common Subexpressions in EM code Programs David J. Sherman University of Chicago Technical
- Cited by 1 (1 self) – Add To MetaCart
-
Factotum: Automatic and Systematic Sharing Support for Symbolic Computation
- Factotum: Automatic and Systematic Sharing Support for Symbolic Computation David James Sherman
- Cited by 2 (1 self) – Add To MetaCart
-
A Taxonomic Approach to Boolean Formula Analysis
- A Taxonomic Approach to Boolean Formula Analysis Macha Nikolskaa and David James Sherman
- Add To MetaCart
-
PERSONALITY AND SOCIAL PSYCHOLOGY BULLETIN Sherman, Kim / AFFECTIVE PERSEVERANCE Affective Perseverance: The Resistance of Affect to Cognitive Invalidation
- Perseverance: The Resistance of Affect to Cognitive Invalidation David K. Sherman University of California, Los
- Add To MetaCart
-
Developing an Interactive Interface for Equational Logic Programs
- of Chicago David J. Sherman The University of Chicago February 1990 Abstract We discuss the issues
- Cited by 1 (1 self) – Add To MetaCart
-
An Exact Formula for the Expected Wire Length Between Two Randomly Chosen Terminals
- An Exact Formula for the Expected Wire Length Between Two Randomly Chosen Terminals David M
- Cited by 3 (1 self) – Add To MetaCart
-
Key Establishment in Large Dynamic Groups Using One-Way Function Trees
- Key Establishment in Large Dynamic Groups Using One-Way Function Trees David A. McGrew and Alan T
- Cited by 120 (2 self) – Add To MetaCart
-
Optimization of Equational Programs Using Partial Evaluation
- Optimization of Equational Programs Using Partial Evaluation David Sherman Department
- Add To MetaCart
-
Unifying Two Formula Rewriting Techniques for Circuit Verification and Risk Assessment
- Authors: Macha Nikolskaa, David James Sherman Laboratoire Bordelais de Recherche en Informatique CNRS
- Add To MetaCart

