1744 search results - page 171 / 349 » A Proof-Carrying File System |
112
click to vote
OSDI
2004
ACM
16 years 4 months ago
2004
ACM
A fundamental piece of information required in intelligent storage systems is the liveness of data. We formalize the notion of liveness within storage, and present two classes of ...
143
click to vote
ESAW
2007
Springer
15 years 10 months ago
2007
Springer
OCAMS is a practical engineering application of multi-agent systems technology, involving redesign of the tools and practices in a complex, distributed system. OCAMS is designed to...
137
click to vote
EUROSYS
2011
ACM
14 years 7 months ago
2011
ACM
We introduce Re-FUSE, a framework that provides support for restartable user-level file systems. Re-FUSE monitors the user-level file-system and on a crash transparently restart...
143
click to vote
GRID
2006
Springer
15 years 4 months ago
2006
Springer
Abstract-- Shared temporary storage space is often the constraining resource for clusters that serve as execution nodes in wide-area distributed systems. At least one large nationa...
195
click to vote
ASPLOS
2012
ACM
14 years 22 hour ago
2012
ACM
Emerging fast, non-volatile memories (e.g., phase change memories, spin-torque MRAMs, and the memristor) reduce storage access latencies by an order of magnitude compared to state...