Agreeing on a Leader in Real-Time


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


Figures and Tables

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

Slides referencing similar topics