Publications

Speech Recognition, Children, and Reading
- - Don Nix
  - Peter Fairweather
  - et al.
- 1998
- CHI 1998
Equivalence checking using cuts and heaps
- - Andreas Kuehlmann
  - Florian Krohm
- 1997
- DAC 1997
Zeros and passivity of Arnoldi-reduced-order models for interconnect networks
- - I.M. Elfadel
  - David D. Ling
- 1997
- DAC 1997
Power supply noise analysis methodology for deep-submicron VLSI chip design
- - Howard H. Chen
  - David D. Ling
- 1997
- DAC 1997
Wire segmenting for improved buffer insertion
- - Charles J. Alpert
  - A. Devgan
- 1997
- DAC 1997
Quadratic placement revisited
- - Charles J. Alpert
  - T.F. Chan
  - et al.
- 1997
- DAC 1997
Prefetching using Markov predictors
- - Douglas J. Joseph
  - Dirk Grunwald
- 1997
- ISCA 1997
Exploiting instruction level parallelism in processors by caching scheduled groups
- - Ravi Nair
  - Martin E. Hopkins
- 1997
- ISCA 1997
Optimistic protocols for fair exchange
- - N. Asokan
  - M. Schunter
  - et al.
- 1997
- CCS 1997
Isometric tongue pointing device
- - Chris Salem
  - S. Zhai
- 1997
- CHI 1997