Sciweavers

1222 search results - page 69 / 245
» Verifying a File System Implementation
Sort
View
118
Voted
OHS
2000
Springer
15 years 6 months ago
Towards a Proposal for a Standard Component-Based Open Hypermedia System Storage Interface
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...
Uffe Kock Wiil
APPT
2003
Springer
15 years 7 months ago
A Highly Efficient FC-SAN Based on Load Stream
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...
Jiwu Shu, Jun Yao, Changdong Fu, Weimin Zheng
145
Voted
NSDI
2008
15 years 4 months ago
UsenetDHT: A Low-Overhead Design for Usenet
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...
Emil Sit, Robert Morris, M. Frans Kaashoek
IWCC
1999
IEEE
15 years 6 months ago
Nomad: A Scalable Operating System for Clusters of Uni and Multiprocessors
The recent improvements in workstation and interconnection network performance have popularized the clusters of off-the-shelf workstations. However, the usefulness of these cluste...
Eduardo Pinheiro, Ricardo Bianchini
195
Voted
SIGMOD
2006
ACM
113views Database» more  SIGMOD 2006»
16 years 2 months ago
A system for specification and verification of interactive, data-driven web applications
In recent research, we have proposed a framework for highlevel specification of interactive, data-driven Web applications and established theoretical foundations for their verific...
Alin Deutsch, Liying Sui, Victor Vianu, Dayou Zhou