1222 search results - page 60 / 245 » Verifying a File System Implementation |
ISCAS
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract— This paper introduces a novel four-order system, which can generate one-directional (1-D) n−torus, twodirectional (2-D) n × m −torus, three-directional (3-D) n × ...
195
click to vote
SPIRE
2001
Springer
15 years 6 months ago
2001
Springer
In this paper, we study query processing in a distributed text database. The novelty is a real distributed architecture implementation that offers concurrent query service. The di...
118
click to vote
ICCSA
2005
Springer
15 years 8 months ago
2005
Springer
The limitation of network resource reduces the awareness capability of CVE system, which becomes the main bottleneck for applications in Internet. In this paper, we study the relat...
130
click to vote
FAST
2009
15 years 7 days ago
2009
In this paper we describe Cumulus, a system for efficiently implementing filesystem backups over the Internet. Cumulus is specifically designed under a thin cloud assumption--that...
105
click to vote
HPDC
2005
IEEE
15 years 8 months ago
2005
IEEE
Parallel file subsystems in today’s high-performance computers adopt many I/O optimization strategies that were designed for distributed systems. These strategies, for instance...