- AMVA Techniques for High Service Time Variability Derek L. Eager Daniel J. Sorin Mary K. Vernon
- Argus-G: A Low-Cost Error Detection Scheme for GPGPUs Ralph Nathan
- In this paper, we present VariaSim, the publicly avail-able Static Statistical Timing Analysis (SSTA) Tool from
- Dynamic Verification of Memory Consistency in Cache-Coherent Multithreaded Computer Architectures*
- Architectures built using bottom-up self-assembly of nanoelectronic devices will need to tolerate defect rates that
- To appear in 25th Annual International Symposium on Computer Architecture Analytic Evaluation of Shared-Memory Systems with ILP Processors
- USING LIGHTWEIGHT CHECKPOINT/RECOVERY TO IMPROVE THE AVAILABILITY AND DESIGNABILITY OF SHARED MEMORY
- This work is supported in part by the National Science Foundation with grants MIP-9225097, MIPS-9625558, CCR 9257241, and CDA-9623632,
- Duke University, Department of ECE, Technical Report #2004-2, September 20, 2004 Dynamic verification enables a system to improve its availability by checking that its execution is
- I. INTRODUCTION As computer architects, we frequently analyze the per-
- Proving the Completeness of the Composition of Two Dynamic Verification Techniques
- Recently, several researchers have proposed schemes for low-cost, low-power error detection in the processor core. In this work, we
