R
Robert E. Shostak
Researcher at SRI International
Publications - 32
Citations - 15324
Robert E. Shostak is an academic researcher from SRI International. The author has contributed to research in topics: Correctness & Byzantine fault tolerance. The author has an hindex of 22, co-authored 32 publications receiving 14286 citations. Previous affiliations of Robert E. Shostak include Business International Corporation.
Papers
More filters
Journal ArticleDOI
The Byzantine Generals Problem
TL;DR: The Albanian Generals Problem as mentioned in this paper is a generalization of Dijkstra's dining philosophers problem, where two generals have to come to a common agreement on whether to attack or retreat, but can communicate only by sending messengers who might never arrive.
Book ChapterDOI
The Byzantine generals problem
TL;DR: In this article, a group of generals of the Byzantine army camped with their troops around an enemy city are shown to agree upon a common battle plan using only oral messages, if and only if more than two-thirds of the generals are loyal; so a single traitor can confound two loyal generals.
Journal ArticleDOI
Reaching Agreement in the Presence of Faults
TL;DR: It is shown that the problem is solvable for, and only for, n ≥ 3m + 1, where m is the number of faulty processors and n is the total number and this weaker assumption can be approximated in practice using cryptographic methods.
Journal ArticleDOI
SIFT: Design and analysis of a fault-tolerant computer for aircraft control
J. H. Wensley,Leslie Lamport,J. Goldberg,M. W. Green,Karl N. Levitt,P. M. Melliar-Smith,Robert E. Shostak,Charles B. Weinstock +7 more
TL;DR: SIFT as discussed by the authors is an ultra-reliable computer for critical aircraft control applications that achieves fault tolerance by the replication of tasks among processing units, and it uses a specially designed redundant bus system to interconnect the processing units.
Patent
Voice-controlled wireless communications system and method
TL;DR: In this paper, a wireless communication system has a central computer, one or more wireless access points and personal badges that communicate wirelessly with the central computer and access points, allowing the user to initiate telephone calls and conferences, receive telephone calls, receive pages and be located within a particular environment.