<--- Back to Details
First PageDocument Content
Systems science / Byzantine fault tolerance / Fault-tolerant system / Distributed computing / State machine replication / Replication / Fault-tolerant design / Life-critical system / Fault-tolerant computer systems / Computing / Systems engineering
Date: 2013-09-13 00:00:43
Systems science
Byzantine fault tolerance
Fault-tolerant system
Distributed computing
State machine replication
Replication
Fault-tolerant design
Life-critical system
Fault-tolerant computer systems
Computing
Systems engineering

The state machine approach: A tutorial

Add to Reading List

Source URL: www.cs.cornell.edu

Download Document from Source Website

File Size: 1,72 MB

Share Document on Facebook

Similar Documents

Algorithm / Mathematical logic / Theoretical computer science / IP / Model checking / Mathematics / Machine learning

Verification of Fault-Tolerant Protocols with Sally Bruno Dutertre, Dejan Jovanovi´c, and Jorge A. Navas Computer Science Laboratory, SRI International Abstract. Sally is a model checker for infinite-state systems that

DocID: 1xVqL - View Document

Algorithm / Mathematical logic / Theoretical computer science / IP / Model checking / Mathematics / Machine learning

Verification of Fault-Tolerant Protocols with Sally Bruno Dutertre, Dejan Jovanovi´c, and Jorge A. Navas Computer Science Laboratory, SRI International Abstract. Sally is a model checker for infinite-state systems that

DocID: 1xUKn - View Document

Computing / Engineering / Parallel computing / Fault-tolerant computer systems / Software quality / Application checkpointing / Classes of computers / MapReduce / Computer cluster / Reliability engineering / Fault tolerance / Distributed computing

Cluster Fault-Tolerance: An Experimental Evaluation of Checkpointing and MapReduce through Simulation Thomas C. Bressoud #1 , Michael A. Kozuch ∗2 #

DocID: 1rqZy - View Document

Fault-tolerant computer systems / Computing / Computer architecture / Concurrent computing / Data synchronization / State machine replication / Byzantine fault tolerance / Replication / Clientserver model / Microkernel / Server

Attested Append-Only Memory: Making Adversaries Stick to their Word Byung-Gon Chun† Petros Maniatis⋆ Scott Shenker†‡ †

DocID: 1rqQM - View Document