Now showing items 3-22 of 50

• #### Causally Consistent Recovery of Partially Replicated Logs ﻿

(Cornell University, 1988-11)
An algorithm is presented for the consistent recovery of replicated data in a client-server system. The algorithm is based on logging and is similar to the optimistic techniques that are well known in the literature. ...
• #### Communication Support for Reliable Distributed Computing ﻿

(Cornell University, 1986-05)
We describe a collection of communication primitives integrated with a mechanism for handling process failure and recovery. These primitives facilitate the implementation of fault-tolerant process groups, which can be ...
• #### Concurrency Control in Resilient Objects ﻿

(Cornell University, 1984-07)
Resilient objects are instances of distributed abstract data types that are tolerant to failures. Due to the distributed nature of resilient objects and the use of replicated data, the potential for a high degree of ...
• #### Consistent Failure Reporting in Reliable Communication Systems ﻿

(Cornell University, 1993-05)
The difficulty of developing reliable distributed software is an impediment to applying distributed computing technology in many settings. This paper reviews some common platforms for distributed software development and ...
• #### Deceit: A Flexible Distributed File System ﻿

(Cornell University, 1989-11)
Deceit, a distributed file system being developed at Cornell, focuses on flexible file semantics in relation to efficiency, scalability, and reliability. Deceit servers are interchangeable and collectively provide the ...
• #### Design Alternatives for Process Group Membership and Multicast ﻿

(Cornell University, 1991-12)
Process groups are a natural tool for distributed programming, and are increasingly important in distributed computing environments. However, there is little agreement on the most appropriate semantics for process group ...
• #### Design and Performance of Horus: A Lightweight Group Communications System ﻿

(Cornell University, 1994-08)
The Horus project seeks to develop a communication system addressing the requirements of a wide variety of distributed applications. Horus implements the group communications model providing (among others) unreliable or ...
• #### Designing Application Software in Wide Area Network Settings ﻿

(Cornell University, 1990-10)
Progress in methodologies for developing robust local area network software has not been matched by similar results for wide-area settings. In this paper, we consider the design of application software spanning multiple ...
• #### Engineering: Cornell Quarterly, Vol.20, No.2 (Autumn 1985): Twenty Years of Computer Science at Cornell ﻿

(Internet-First University Press, 1985)
IN THIS ISSUE: Twenty Years of Computer Science at Cornell /2 David Gries ... Immediate Computation or How to Keep a Personal Computer Busy /12 Tim Teitelbaum and Thomas Reps ... Reaching Agreement: A Fundamental Task Even ...
• #### Ensemble Security ﻿

(Cornell University, 1998-09)
Ensemble is a Group Communication System built at Cornell and the Hebrew Universities. It allows processes to create {\it process groups} in which scalable reliable fifo-ordered multicast and point-to-point communication ...
• #### Exploiting Replication ﻿

(Cornell University, 1988-06)
NO ABSTRACT AVAILABLE
• #### Exploiting Virtual Synchrony in Distributed Systems ﻿

(Cornell University, 1987-02)
We describe applications of a new software abstraction called the virtually synchronous process group. Such a group consists of a set of processes that cooperate to implement some distributed behavior in an environment ...
• #### A Group Communication Approach for Mobile ComputingMobileChannel: an ISIS Tool for Mobile Services ﻿

(Cornell University, 1994-05)
This paper examines group communication as an infrastructure to support mobility of users, and presents a simple scheme to support user mobility by means of switching a control point between replicated servers. We describe ...
• #### GSGC: An Efficient Gossip-Style Garbage Collection Scheme for ScalableReliable Multicast ﻿

(Cornell University, 1997-12)
To deliver multicast messages reliably in a group, each member maintains copies of all messages it sends and receives in a buffer for potential local retransmission. The storage of these messages is costly and buffers may ...
• #### The Horus and Ensemble Projects: Accomplishments and Limitations ﻿

(Cornell University, 1999-10)
The Horus and Ensemble efforts culminated a multi-year Cornell research program in process group communication used for fault-tolerance, security and adaptation. Our intent was to understand the degree to which a single ...
• #### Horus: A Flexible Group Communications System ﻿

(Cornell University, 1995-03)
The Horus system offers flexible group communication support for distributed applications. It is extensively layered and highly reconfigurable, allowing applications to only pay for services they use, and for groups with ...
• #### How Robust Are Distributed Systems? ﻿

(Cornell University, 1989-06)
No abstract is available.
• #### Implementing Fault-Tolerant Distributed Objects ﻿

(Cornell University, 1984-03)
This paper describes a technique for implementing $k$-resilient objects - distributed objects that remain available, and whose operations are guaranteed to progress to completion, despite up to $k$ site failures. The ...
• #### Integrating Security in a Group Oriented Distributed System ﻿

(Cornell University, 1992-02)
A distributed security architecture is proposed for incorporation into group oriented distributed systems, and in particular, into the Isis distributed programming toolkit. The primary goal of the architecture is to make ...
• #### ISIS and META Projects: Progress Report ﻿

(Cornell University, 1990-03)
No abstract is available.