DEBU
2010
13 years 9 months ago
2010
Solid-state disks are currently based on NAND flash and expose a standard disk interface. To accommodate limitations of the medium, solid-state disk implementations avoid rewritin...
ENTCS
2008
14 years 15 days ago
2008
Verification of multi-threaded C++ programs poses three major challenges: the large number of states, states with huge sizes, and time intensive expansions of states. This paper p...
FAST
2008
14 years 2 months ago
2008
Flash memory has become the most important storage media in mobile devices, and is beginning to replace hard disks in desktop systems. However, its relatively poor random write pe...
TEAA
2005
Springer
14 years 6 months ago
2005
Springer
Abstract. In emerging database applications that deal with large sets of multidimensional data, the performance of the query system significantly depends on the performance of its ...
PDP
2006
IEEE
14 years 6 months ago
2006
IEEE
We explore the possibilities to organize a query data structure in the main memories or hard disks of a cluster computer. The query data structure serves to improve the performanc...
DSN
2006
IEEE
14 years 6 months ago
2006
IEEE
Recent research has shown that even modern hard disks have complex failure modes that do not conform to “failstop” operation. Disks exhibit partial failures like block access ...
EUROSYS
2008
ACM
14 years 9 months ago
2008
ACM
Hard disks contain data—frequently an irreplaceable asset of high monetary and non-monetary value. At the same time, hard disks are mechanical devices that consume power, are no...