1744 search results - page 116 / 349 » A Proof-Carrying File System |
137
click to vote
OSDI
2006
ACM
16 years 4 months ago
2006
ACM
EnsemBlue is a distributed file system for personal multimedia that incorporates both general-purpose computers and consumer electronic devices (CEDs). EnsemBlue leverages the cap...
101
click to vote
JOT
2007
15 years 3 months ago
2007
The paper describes how the idea of persistent objects is integrated into the Timor programming language. The strategy adopted allows types to be instantiated at two levels: as &q...
233
click to vote
INFOCOM
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract— Peer-to-peer content distribution networks can suffer from malicious participants that corrupt content. Current systems verify blocks with traditional cryptographic sig...
180
click to vote
SIGMETRICS
1997
ACM
15 years 8 months ago
1997
ACM
By providing direct data transfer between storage and client, network-attached storage devices have the potential to improve scalability for existing distributed file systems (by...
125
click to vote
IJHPCA
2007
15 years 3 months ago
2007
The ROMIO implementation of the MPI-IO standard provides a portable infrastructure for use on top of a variety of underlying storage targets. These targets vary widely in their ca...