Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,823,699 papers from all fields of science
Search
Sign In
Create Free Account
Paxos (computer science)
Known as:
Paxos (disambiguation)
, Paxos protocol
, Paxos distributed consensus algorithm
Expand
Paxos is a family of protocols for solving consensus in a network of unreliable processors.Consensus is the process of agreeing on one result among a…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
28 relations
Amazon Web Services
Apache Cassandra
Bitcoin
Byzantine fault tolerance
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Avaliação de Desempenho de Bibliotecas Java para o Protocolo Paxos
Paola Martins Pereira
,
Rodrigo H. Mu¨ ller
,
O. M. Mendizabal
2018
Corpus ID: 192466668
Resumo. Sistemas tolerantes a falhas normalmente adotam técnicas de replicação, como a Replicação Máquinas de Estados. Nesta t…
Expand
2018
2018
Verification of distributed systems Recently applied to implementations of DSs IronFleet : Proving Practical Distributed Systems Correct
Pedro Fonseca
,
Kaiyuan Zhang
,
Xi Wang
,
A. Krishnamurthy
2018
Corpus ID: 4809281
Distributed systems are notorious for harboring subtle bugs. Verification can, in principle, eliminate these bugs a priori, but…
Expand
2013
2013
Automatically Tolerating Arbitrary Faults in Non-malicious Settings
Diogo Behrens
,
Stefan Weigert
,
C. Fetzer
Sixth Latin-American Symposium on Dependable…
2013
Corpus ID: 15029045
Arbitrary faults such as bit flips have been often observed in commodity-hardware data centers and have disrupted large services…
Expand
2012
2012
Paxos Made Parallel
Zhenyu Guo
,
C. Hong
,
Mao Yang
,
Dong Zhou
,
Lidong Zhou
,
Zhuang Li
2012
Corpus ID: 51848350
Standard state-machine replication involves consensus on a sequence of totally ordered requests through, for example, the Paxos…
Expand
2011
2011
Research on Paxos Algorithm Based on Messages Passing
Xu Zi-can
,
Wu Rong-quan
2011
Corpus ID: 63214837
Aiming at the consensus problem in distributed system,this paper analyzes the three parts in the basic Paxos algorithm step by…
Expand
2011
2011
Safety properties and memory bound analysis in a functional language without a garbage collector
Manuel Montenegro Montes
,
R. Marí
,
C. Maria
,
Segura Díaz
2011
Corpus ID: 63940029
In most functional languages, memory management is delegated to the runtime system. There usually exists a garbage collector in…
Expand
2011
2011
A Simpler Proof for Paxos and Fast Paxos
K. Marzullo
,
Hein Meling
2011
Corpus ID: 51992292
The Fast Paxos algorithm, when presented in plain English, is still quite hard to understand for those like us—people who don’t…
Expand
2009
2009
Brief Announcement: Vertical Paxos and Primary-Backup Replication
L. Lamport
,
D. Malkhi
,
Lidong Zhou
2009
Corpus ID: 59662568
2006
2006
Coordination in Architectural Connection. Reflective and Aspectual Introduction
C. E. Cuesta
,
María del Pilar Romay
,
P. Fuente
,
Manuel Barrio-Solórzano
,
H. Younessi
Obj. Logiciel Base données Réseaux
2006
Corpus ID: 42909487
Coordination is an essential, architecture-level concern, which defines a pattern of behaviour scattered throughout architectural…
Expand
2005
2005
A Reconfigurable System Architecture for Consensus-based Group Communication
Hans P. Reiser
,
Udo Bartlang
,
F. Hauck
IASTED PDCS
2005
Corpus ID: 17489433
Using distributed consensus algorithms is an established way to implement group communication systems with total message ordering…
Expand