1744 search results - page 71 / 349 » A Proof-Carrying File System |
SACMAT
2003
ACM
15 years 3 months ago
2003
ACM
Traditional access control mechanisms rely on a reference monitor to mediate access to protected resources. Reference monitors are inherently centralized and existing attempts to ...
CASCON
1997
14 years 11 months ago
1997
Decomposing complex software systems into conceptually independent subsystems represents a signi cant software engineering activity that receives considerable research attention. ...
IPPS
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract—Today’s computational science demands have resulted in ever larger parallel computers, and storage systems have grown to match these demands. Parallel file systems us...
ICDCS
2007
IEEE
15 years 4 months ago
2007
IEEE
Existing DHT-based file systems use consistent hashing to assign file blocks to random machines. As a result, a user task accessing an entire file or multiple files needs to r...
HPCC
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Constructing flash memory based storage, FTL (Flash Translation Layer) manages mapping between logical address and physical address. Since FTL writes every data to new r...