1222 search results - page 47 / 245 » Verifying a File System Implementation |
119
click to vote
GCC
2005
Springer
15 years 7 months ago
2005
Springer
Resource Space Model (RSM) is a semantic model to manage and share heterogeneous resources on the Internet. This paper focuses on the general architecture, physical implementation ...
147
click to vote
SIGUCCS
2003
ACM
15 years 7 months ago
2003
ACM
Legacy network file services such as NFS, SMB/CIFS, and AFP changed the way we worked. File services running on crossplatform networks allowed us to save our files on remote syste...
143
click to vote
P2P
2008
IEEE
15 years 8 months ago
2008
IEEE
IgorFs is a distributed, decentralized peer-to-peer (P2P) file system that is completely transparent to the user. It is built on top of the Igor peer-to-peer overlay network, whi...
220
click to vote
ACL2
2006
ACM
15 years 6 months ago
2006
ACM
We have extended the ACL2 theorem prover to automatically prove properties of VHDL circuits with IBM's Internal SixthSense verification system. We have used this extension to...
115
click to vote
TPDS
2008
15 years 2 months ago
2008
We present the Network File System with Cluster Delegation (NFS-CD), an enhancement to the NFSv4 that reduces server load and increases the scalability of distributed file systems ...