244
click to vote
ICCD
16 years 5 months ago
2004 IEEE 
Compared are different methods for evaluation of formulas expressing microprocessor correctness in the logic of Equality with Uninterpreted Functions and Memories (EUFM) by transl...
231
click to vote
ICCD
16 years 5 months ago
2004 IEEE
Research in high-speed interconnect requires physical test to validate circuit models and design assumptions. At multi-Gbit/sec rates, physical implementations require custom circ...
228
click to vote
ICCD
16 years 5 months ago
2004 IEEE
Existing schemes for cache energy optimization incorporate a limited degree of dynamic associativity: either direct mapped or full available associativity (say 4-way). In this pap...
224
click to vote
ICCD
16 years 5 months ago
2004 IEEE
A negative effect of ever-shrinking supply and threshold voltages is the larger percentage of total power consumption that comes from leakage current. Several techniques have been...
217
Voted
ICCD
16 years 5 months ago
2004 IEEE 
Speculative Multi-Threading (SpMT) can improve single-threaded application performance using the multiple thread contexts available in current processors. We propose a minimal SpM...
|
Hardware