Optimistic protocols for fair exchange
- N. Asokan
- M. Schunter
- et al.
- 1997
- CCS 1997
Conference paper
Publications
Global instruction scheduling for superscalar machines
- David Bernstein
- Michael Rodeh
- 1991
- PLDI 1991
Conference paperReduced offsets for two-level multi-valued logic minimization
- Abdul A. Malik
- R. Brayton
- et al.
- 1990
- DAC 1990
Conference paperCompact 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 paper