1222 search results - page 96 / 245 » Verifying a File System Implementation |
146
click to vote
HPDC
2009
IEEE
15 years 11 months ago
2009
IEEE
This paper explores the feasibility of a cost-efficient storage architecture that offers the reliability and access performance characteristics of a high-end system. This architec...
139
click to vote
ACSAC
2007
IEEE
15 years 8 months ago
2007
IEEE
The early 1980s saw the development of some rather sophisticated distributed systems. These were not merely networked file systems: rather, using remote procedure calls, hierarchi...
137
click to vote
LISA
1998
15 years 6 months ago
1998
SEPP is an application installation, sharing and packaging solution for large, decentrally managed Unix environments. SEPP can be used without making modifications to the organiza...
182
click to vote
CLUSTER
2000
IEEE
15 years 4 months ago
2000
IEEE
With the increasing number of scientific applications manipulating huge amounts of data, effective high-level data management is an increasingly important problem. Unfortunately, ...
132
click to vote
SIGSOFT
2005
ACM
15 years 10 months ago
2005
ACM
Cloning in software systems is known to create problems during software maintenance. Several techniques have been proposed to detect the same or similar code fragments in software...