1222 search results - page 69 / 245 » Verifying a File System Implementation |
154
click to vote
OHS
2000
Springer
15 years 9 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...
159
click to vote
APPT
2003
Springer
15 years 11 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...
181
click to vote
NSDI
2008
15 years 8 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...
175
click to vote
IWCC
1999
IEEE
15 years 10 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...
242
click to vote
SIGMOD
2006
ACM
16 years 6 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...