Search
Now showing items 1-10 of 11
Theta Reference Manual
(1995-02)
A Technique for Constructing Highly-Available Services
(1988-01)
This paper describes a general method for constructing a highly available service for use in a distributed system. It gives a specific implementation of the method and proves the implementation correct. The service ...
Parameterized Types and Java
(1996-05)
Java offers the real possibility that most programs can be written in a type-safe language However, for Java to be broadly useful, it needs additional expressive power. This paper extends Java in one area where more power ...
Distributed Computer Systems: Structure and Semantics
(1979-04)
This report describes an ongoing project in the area of design of distributed systems. The goal is to develop an effective programming system that will support well-structured design implementation, maintenance and control ...
Argus Reference Manual
(1987-11)
Argus is an experimental language/system designed to support the construction and execution of distributed programs. Argus is intended to support only a subset of the applications that could benefit from being implemented ...
Lazy Reference Counting for Transactional Storage Systems
(1997-10)
HAC is a novel technique for managing the direct the client cache in a distributed, persistent object storage system. In a companion paper, we showed that it outperforms other techniques across a wide range of cache sizes ...
Authenticated Byzantine Fault Tolerance Without Public-Key Cryptography
(1999-06)
We have developed a practical state-machine replication algorithm that tolerates Byzantine faults: it works correctly in asynchronous systems like the Internet and it incorporates several optimizations that improve the ...
CLU Reference Manual
(1979-10)
This document serves both as an introduction to CLU and as a language reference manual. Sections 1 through 4 present an overview of the language. These sections highlight the essential features of CLU, and discuss how ...
Efficient At-most-once Messages Based on Synchronized Clocks
(1990-04)
This paper describes a new message passing protocol that provides guaranteed detection of duplicate messages even when the receiver has no state stored for the sender.