3 search results - page 1 / 1 » A Versatile and User-Oriented Versioning File System |
FAST
2004
13 years 6 months ago
2004
File versioning is a useful technique for recording a history of changes. Applications of versioning include backups and disaster recovery, as well as monitoring intruders' a...
MSS
2000
IEEE
13 years 9 months ago
2000
IEEE
Symmetric shared disks file systems are functional, versatile, and just plain cool. For these file systems to work, they require a global lock space, acessable to all clients. T...
ICFP
2009
ACM
14 years 5 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...