Agreeing on a Leader in Real-Time

Abstract

We devise a method for maintaining the continuing availability of a vital service in a real-time sharedmemory multi-processor fault-tolerant computer system. The essential characteristics of the service to be provided are given by the following four properties. (1) The service can be correctly provided by any one operational processor acting alone, but an… (More)
DOI: 10.1109/REAL.1990.128743

Topics

Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics