121 search results - page 9 / 25 » Efficient algorithms for verifying memory consistency |
TIT
2010
14 years 6 months ago
2010
NAND flash memories are currently the most widely used type of flash memories. In a NAND flash memory, although a cell block consists of many pages, to rewrite one page, the whole ...
IPPS
2010
IEEE
14 years 9 months ago
2010
IEEE
Transactional memory is an alternative programming model for managing contention in accessing shared in-memory data objects. Distributed transactional memory (TM) promises to alle...
100
click to vote
IPPS
1998
IEEE
15 years 4 months ago
1998
IEEE
In the study of PetaFlop project, Processor-In-Memory array was proposed to be a target architecture in achieving 1015 floating point operations per second computing performance. ...
116
click to vote
SIGMOD
2010
ACM
14 years 12 months ago
2010
ACM
Trajectory search has long been an attractive and challenging topic which blooms various interesting applications in spatial-temporal databases. In this work, we study a new probl...
ICSE
2008
IEEE-ACM
16 years 16 days ago
2008
IEEE-ACM
In grid workflow systems, temporal correctness is critical to assure the timely completion of grid workflow execution. To monitor and control the temporal correctness, fixed-time ...