1222 search results - page 40 / 245 » Verifying a File System Implementation |
120
click to vote
USENIX
1990
15 years 3 months ago
1990
In developing a distributed file system, there are several good reasons for implementing the client file cache manager as a user-level process. These include ease of implementatio...
126
click to vote
FMCAD
2007
Springer
15 years 8 months ago
2007
Springer
Time-triggered systems are distributed systems in which the nodes are independently-clocked but maintain synchrony with one another. Time-triggered protocols depend on the synchro...
MSS
1999
IEEE
15 years 6 months ago
1999
IEEE
A European consortium formed by science and industrial partners have started the EuroStore project1 to develop and market a Hierarchical Storage Management System (HSM) together w...
CLEIEJ
1998
15 years 2 months ago
1998
Parallel disk I/O subsystems are becoming more important in today’s large-scale parallel machines. Parallel disk systems provide a significant boost in I/O performance reducing ...
108
Voted
ACSAC
2001
IEEE
15 years 6 months ago
2001
IEEE
fies a number of issues related to security information r semantics on different layers of abstraction. In particular it is difficult to express caller and target accurately in the...