1222 search results - page 69 / 245 » Verifying a File System Implementation |
118
Voted
OHS
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. This paper takes a first step towards defining a standard component-based open hypermedia system storage interface in the context of the Open Hypermedia System Working Gr...
120
click to vote
APPT
2003
Springer
15 years 7 months ago
2003
Springer
The speed of storing and fetching data on SCSI disks has a great restriction on the efficiency of SAN based on Fiber Channel Network. In this paper, a high-efficient FC-SAN storage...
145
Voted
NSDI
2008
15 years 4 months ago
2008
Usenet is a popular distributed messaging and file sharing service: servers in Usenet flood articles over an overlay network to fully replicate articles across all servers. Howeve...
122
click to vote
IWCC
1999
IEEE
15 years 6 months ago
1999
IEEE
The recent improvements in workstation and interconnection network performance have popularized the clusters of off-the-shelf workstations. However, the usefulness of these cluste...
195
Voted
SIGMOD
2006
ACM
16 years 2 months ago
2006
ACM
In recent research, we have proposed a framework for highlevel specification of interactive, data-driven Web applications and established theoretical foundations for their verific...