1222 search results - page 96 / 245 » Verifying a File System Implementation |
129
Voted
HPDC
2009
IEEE
15 years 9 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...
122
Voted
ACSAC
2007
IEEE
15 years 6 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...
119
Voted
LISA
1998
15 years 4 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...
159
Voted
CLUSTER
2000
IEEE
15 years 2 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, ...
118
Voted
SIGSOFT
2005
ACM
15 years 8 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...