1222 search results - page 24 / 245 » Verifying a File System Implementation |
MSR
2006
ACM
14 years 1 months ago
2006
ACM
Software birthmarks are unique and native characteristics of every software component. Two components having similar birthmarks indicate that they are similar in functionality, st...
SIGOPSE
1990
ACM
13 years 11 months ago
1990
ACM
u s e s t h e p r i m a r y c o p y r e p l i c a t i o nAbstract technique [1, 26, 27]. In this method, client calls are directed to a single primary server, which communicatesThi...
HPCC
2007
Springer
14 years 1 months ago
2007
Springer
Parallel file systems are widely used in clusters to provide high performance I/O. However, most of the existing parallel file systems are based on UNIX-like operating systems. W...
PVM
2009
Springer
13 years 12 months ago
2009
Springer
This paper presents the design and implementation of an asynchronous data-staging strategy for file accesses based on ROMIO, the most popular MPI-IO distribution, and ZeptoOS, an ...
MSS
2007
IEEE
14 years 1 months ago
2007
IEEE
Storage systems are increasingly subject to attacks. Cryptographic file systems mitigate the danger of exposing data by using encryption and integrity protection methods and guar...