Verification of delayed-reset domino circuits using ATACS
- Wendy Belluomini
- Chris J. Myers
- et al.
- 1999
- ASYNC 1999
Publications
Date
Featured collections
Popular topics
17 results for Wendy Belluomini
Flex-KV: Enabling high-performance and flexible KV systems
- Amar Phanishayee
- David G. Andersen
- et al.
- 2012
- ICAC 2012
Energy proportionality for storage: Impact and feasibility
- Jorge Guerra
- Wendy Belluomini
- et al.
- 2008
- EuroSys 2008
Undetected disk errors in RAID arrays
- James L. Hafner
- Veera Deenadhayalan
- et al.
- 2008
- IBM J. Res. Dev
Limited switch dynamic logic circuits for high-speed low-power circuit design
- Wendy Belluomini
- Damir Jamsek
- et al.
- 2006
- IBM J. Res. Dev
Timed circuit verification using TEL structures
- Wendy Belluomini
- Chris J. Myers
- et al.
- 2001
- IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Timed state space exploration using POSET's
- Wendy Belluomini
- Chris J. Myers
- 2000
- IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems