Buffer insertion with accurate gate and interconnect delay computation
- Charles J. Alpert
- A. Devgan
- et al.
- 1999
- DAC 1999
Publications
Efficient non-interactive statistical zero-knowledge proof system for quasi-safe prime products
- R. Gennaro
- Daniele Micciancio
- et al.
- 1998
- CCS 1998
Public-key cryptography and password protocols
- S. Halevi
- H. Krawczyk
- 1998
- CCS 1998
User defined coverage-A tool supported methodology for design verification
- Raanan Grinwald
- Eran Harel
- et al.
- 1998
- DAC 1998
Design Reliability - Estimation through Statistical Analysis of Bug Discovery Data
- Yossi Malka
- Avi Ziv
- 1998
- DAC 1998
Adjoint transient sensitivity computation in piecewise linear simulation
- Tuyen V. Nguyen
- Anirudh Devgan
- et al.
- 1998
- DAC 1998
Quantifying coordination in multiple DOF movement and its application to evaluating 6 DOF input devices
- S. Zhai
- P. Milgram
- 1998
- CHI 1998
Speech Recognition, Children, and Reading
- Don Nix
- Peter Fairweather
- et al.
- 1998
- CHI 1998
Designing Speech User Interfaces
- Nicole Yankelovich
- Jennifer Lai
- 1998
- CHI 1998
Human-Computer Interaction in Health Care: What Works? What Doesn't?
- John Karat
- Janette Coble
- et al.
- 1998
- CHI 1998