Sciweavers

4 search results - page 1 / 1
» CATCH: A Mechanism for Dynamically Detecting Cache-Content-D...
Sort
View
DATE
2008
IEEE
117views Hardware» more  DATE 2008»
13 years 11 months ago
CATCH: A Mechanism for Dynamically Detecting Cache-Content-Duplication and its Application to Instruction Caches
Cache-Content-Duplication (CCD) occurs when there is a miss for a block in a cache and the entire content of the missed block is already in the cache in a block with a different t...
Marios Kleanthous, Yiannakis Sazeides
HPCA
2003
IEEE
14 years 5 months ago
Dynamic Data Dependence Tracking and its Application to Branch Prediction
To continue to improve processor performance, microarchitects seek to increase the effective instruction level parallelism (ILP) that can be exploited in applications. A fundament...
Lei Chen, Steve Dropsho, David H. Albonesi
CAV
1998
Springer
175views Hardware» more  CAV 1998»
13 years 9 months ago
An ACL2 Proof of Write Invalidate Cache Coherence
As a pedagogical exercise in ACL2, we formalize and prove the correctness of a write invalidate cache scheme. In our formalization, an arbitrary number of processors, each with its...
J. Strother Moore
JSA
2000
116views more  JSA 2000»
13 years 4 months ago
Distributed vector architectures
Integrating processors and main memory is a promising approach to increase system performance. Such integration provides very high memory bandwidth that can be exploited efficientl...
Stefanos Kaxiras