1222 search results - page 42 / 245 » Verifying a File System Implementation |
223
click to vote
ICFP
2009
ACM
16 years 2 months ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...
113
click to vote
EMSOFT
2007
Springer
15 years 8 months ago
2007
Springer
Flash memory is a storage medium that is becoming more and more popular. Though not yet fully embraced in traditional computing systems, Flash memory is prevalent in embedded syst...
107
click to vote
SPIN
2004
Springer
15 years 7 months ago
2004
Springer
The notion that certain procedures are atomic provides a valuable partial specification for many multithreaded software systems. Several existing tools verify atomicity by showing...
117
click to vote
FAST
2010
15 years 3 months ago
2010
This paper presents the design, implementation and evaluation of Direct File System (DFS) for virtualized flash storage. of using traditional layers of abstraction, our layers of ...
121
click to vote
SOSP
2003
ACM
15 years 11 months ago
2003
ACM
The challenge for user authentication in a global file system is allowing people to grant access to specific users and groups in remote administrative domains, without assuming ...