OSDI
2006
ACM
14 years 11 months ago
2006
ACM
There are currently two approaches to providing Byzantine-fault-tolerant state machine replication: a replica-based approach, e.g., BFT, that uses communication between replicas t...
OSDI
2006
ACM
14 years 11 months ago
2006
ACM
OSDI
2006
ACM
14 years 11 months ago
2006
ACM
Automatic tools for finding software errors require a set of specifications before they can check code: if they do not know what to check, they cannot find bugs. This paper presen...
OSDI
2006
ACM
14 years 11 months ago
2006
ACM
In this paper, we present the design, implementation, and evaluation of iPlane, a scalable service providing accurate predictions of Internet path performance for emerging overlay...
OSDI
2006
ACM
14 years 11 months ago
2006
ACM
OSDI
2006
ACM
14 years 11 months ago
2006
ACM
HiStar is a new operating system designed to minimize the amount of code that must be trusted. HiStar provides strict information flow control, which allows users to specify preci...
OSDI
2006
ACM
14 years 11 months ago
2006
ACM
Storage systems such as file systems, databases, and RAID systems have a simple, basic contract: you give them data, they do not lose or corrupt it. Often they store the only copy...
OSDI
2006
ACM
14 years 11 months ago
2006
ACM
Existing virtual memory systems usually work well with applications written in C and C++, but they do not provide adequate support for garbage-collected applications. The performa...
OSDI
2006
ACM
14 years 11 months ago
2006
ACM
We present a science-centric evaluation of a 19-day sensor network deployment at Reventador, an active volcano in Ecuador. Each of the 16 sensors continuously sampled seismic and ...
OSDI
2006
ACM
14 years 11 months ago
2006
ACM
We have developed Ceph, a distributed file system that provides excellent performance, reliability, and scalability. Ceph maximizes the separation between data and metadata manage...