Searching for authors named David Sherman – sorted by Relevance.
33 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
