Publications

Equivalence checking using cuts and heaps
- - Andreas Kuehlmann
  - Florian Krohm
- 1997
- DAC 1997
Quadratic placement revisited
- - Charles J. Alpert
  - T.F. Chan
  - et al.
- 1997
- DAC 1997
Wire segmenting for improved buffer insertion
- - Charles J. Alpert
  - A. Devgan
- 1997
- DAC 1997
Zeros and passivity of Arnoldi-reduced-order models for interconnect networks
- - I.M. Elfadel
  - David D. Ling
- 1997
- DAC 1997
Exploiting instruction level parallelism in processors by caching scheduled groups
- - Ravi Nair
  - Martin E. Hopkins
- 1997
- ISCA 1997
Prefetching using Markov predictors
- - Douglas J. Joseph
  - Dirk Grunwald
- 1997
- ISCA 1997
Optimistic protocols for fair exchange
- - N. Asokan
  - M. Schunter
  - et al.
- 1997
- CCS 1997
Global instruction scheduling for superscalar machines
- - David Bernstein
  - Michael Rodeh
- 1991
- PLDI 1991
Reduced offsets for two-level multi-valued logic minimization
- - Abdul A. Malik
  - R. Brayton
  - et al.
- 1990
- DAC 1990
Compact representations for control dependence
- - Ron Cytron
  - Jeanne Ferrante
  - et al.
- 1990
- PLDI 1990