Sciweavers

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