Sciweavers

387 search results - page 4 / 78
» date 2005
Sort
View
DATE
2005
IEEE
96views Hardware» more  DATE 2005»
14 years 1 months ago
Systematic Figure of Merit Computation for the Design of Pipeline ADC
Ludovic Barrandon, S. Crand, Dominique Houzet
DATE
2005
IEEE
98views Hardware» more  DATE 2005»
14 years 1 months ago
Space-Efficient Bounded Model Checking
Jacob Katz, Ziyad Hanna, Nachum Dershowitz
DATE
2005
IEEE
84views Hardware» more  DATE 2005»
14 years 1 months ago
Tag Overflow Buffering: An Energy-Efficient Cache Architecture
Mirko Loghi, Paolo Azzoni, Massimo Poncino
DATE
2005
IEEE
99views Hardware» more  DATE 2005»
14 years 1 months ago
Verification of Embedded Memory Systems using Efficient Memory Modeling
Malay K. Ganai, Aarti Gupta, Pranav Ashar