1222 search results - page 6 / 245 » Verifying a File System Implementation |
MSS
2000
IEEE
13 years 11 months ago
2000
IEEE
In computer systems today, speed and responsiveness is often determined by network and storage subsystem performance. Faster, more scalable networking interfaces like Fibre Channe...
USENIX
1990
13 years 8 months ago
1990
As we approach nation-wide integration of computer systems, it is clear that le replication will play a key role, both to improve data availability in the face of failures, and to...
IADIS
2004
13 years 8 months ago
2004
We have designed and deployed a system that uses X.509 public-key certificates (PKC) and attribute certificates (AC) for access control. This includes an authorization service for...
USENIX
1993
13 years 8 months ago
1993
This paper describes the design, implementation, and performance of the Inversion file system. Inversion provides a rich set of services to file system users, and manages a larg...
CCGRID
2005
IEEE
14 years 1 months ago
2005
IEEE
The ROMIO implementation of the MPI-IO standard provides a portable infrastructure for use on top of any number of different underlying storage targets. These different targets va...