20 search results - page 4 / 4 » Model-Checking the Linux Virtual File System |
FPL
2006
Springer
13 years 8 months ago
2006
Springer
Advances in FPGA-based reconfigurable computers have made them a viable computing platform for a vast variety of computation demanding areas such as bioinformatics, speech recogni...
OSDI
2006
ACM
14 years 4 months ago
2006
ACM
Storage systems such as file systems, databases, and RAID systems have a simple, basic contract: you give them data, they do not lose or corrupt it. Often they store the only copy...
FAST
2009
13 years 2 months ago
2009
This paper presents the design, implementation, and evaluation of BORG, a self-optimizing storage system that performs automatic block reorganization based on the observed I/O wor...
ICSEA
2006
IEEE
13 years 10 months ago
2006
IEEE
—In mobile environment, it is very common that mobile devices periodically stay in disconnection mode. In a networked world as today, computer users rely on network services so h...
SIGSOFT
2006
ACM
13 years 10 months ago
2006
ACM
Bitwise operations are commonly used in low-level systems code to access multiple data fields that have been packed into a single word. Program analysis tools that reason about s...