Reduced offsets for two-level multi-valued logic minimization
- Abdul A. Malik
- R. Brayton
- et al.
- 1990
- DAC 1990
Conference paper
Publications
Compact representations for control dependence
- Ron Cytron
- Jeanne Ferrante
- et al.
- 1990
- PLDI 1990
Conference paperAnalysis of pointers and structures
- David R. Chase
- Mark Wegman
- et al.
- 1990
- PLDI 1990
Conference paperInstruction reordering for fork-join parallelism
- Vivek Sarkar
- 1990
- PLDI 1990
Conference paper801 storage: Architecture and programming
- Albert Chang
- Mark F. Mergen
- 1987
- SOSP 1987
Conference paperRecovery management in QuickSilver
- Roger Haskin
- Yoni Malachi
- et al.
- 1987
- SOSP 1987
Conference paperVerifying deep logic hierarchies with ALEX
- George M. Koppelman
- Klim Maling
- 1980
- DAC 1980
Conference paperA new look at logic synthesis
- John A. Darringer
- William H. Joyner
- 1980
- DAC 1980
Conference paperPerformance of a collision-free local bus network having asynchronous distributed control
- Carl V. Kanadier
- Gerald S. Shedler
- 1980
- ISCA 1980
Conference paperSharing data and services in a virtual machine system
- J.D. Bagley
- E.R. Floto
- et al.
- 1975
- SOSP 1975
Conference paper