1744 search results - page 64 / 349 » A Proof-Carrying File System |
SIGOPSE
2004
ACM
15 years 3 months ago
2004
ACM
Transactions ensure simple and correct handling of concurrency and failures but are often considered too expensive for use in file systems. This paper argues that performance is ...
FAST
2003
14 years 11 months ago
2003
SOSP
2001
ACM
15 years 6 months ago
2001
ACM
Users rarely consider running network file systems over slow or wide-area networks, as the performance would be unacceptable and the bandwidth consumption too high. Nonetheless, ...
SAC
2010
ACM
15 years 4 months ago
2010
ACM
Several efforts have been made over the years for developing file systems in user space. Many of these efforts have failed to make a significant impact as measured by their us...
SISW
2003
IEEE
15 years 3 months ago
2003
IEEE
Securing data is more important than ever, yet cryptographic file systems still have not received wide use. One barrier to the adoption of cryptographic file systems is that the...