1222 search results - page 28 / 245 » Verifying a File System Implementation |
109
click to vote
MSS
2005
IEEE
15 years 7 months ago
2005
IEEE
We present a policy-based architecture STEPS for lifecycle management (LCM) in a mass scale distributed file system. The STEPS architecture is designed in the context of IBM’s ...
123
click to vote
IOPADS
1996
15 years 3 months ago
1996
Many parallel scientific applications need high-performance I/O. Unfortunately, end-to-end parallel-I/O performance has not been able to keep up with substantial improvements in p...
129
click to vote
JAR
2006
15 years 1 months ago
2006
We describe an approach to verifying bit-level pipelined machine models using a combination of deductive reasoning and decision procedures. While theorem proving systems such as AC...
102
click to vote
SOSP
2007
ACM
15 years 11 months ago
2007
ACM
Reliable storage systems depend in part on “write-before” relationships where some changes to stable storage are delayed until other changes commit. A journaled file system, ...
101
click to vote
PLDI
2009
ACM
15 years 8 months ago
2009
ACM
Unchecked errors are especially pernicious in operating system file management code. Transient or permanent hardware failures are inevitable, and error-management bugs at the fi...