1410 search results - page 90 / 282 » A Logic for Virtual Memory |
114
Voted
SPAA
1998
ACM
15 years 8 months ago
1998
ACM
We present a computation-centric theory of memory models. Unlike traditional processor-centric models, computation-centric models focus on the logical dependencies among instructi...
145
click to vote
EMSOFT
2006
Springer
15 years 7 months ago
2006
Springer
In NAND flash-based storage systems, an intermediate software layer called a flash translation layer (FTL) is usually employed to hide the erase-before-write characteristics of NA...
132
click to vote
DFT
2007
IEEE
15 years 10 months ago
2007
IEEE
We introduce a reliable memory system that can tolerate multiple transient errors in the memory words as well as transient errors in the encoder and decoder (corrector) circuitry....
145
Voted
ICFEM
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present a “memory-model-sensitive” approach to validating correctness properties for multithreaded programs. Our key insight is that by specifying both the inter-t...
117
click to vote
ITC
2003
IEEE
15 years 9 months ago
2003
IEEE
ct This paper describes a general technique to test external memory/caches and memory interconnects using on-chip logic. Such a test methodology is expected to significantly reduc...