Search results for "Paxos"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
21	Edson Tavares de Camargo	Tolerância a falhas em sistemas MPI com grupos dinâmicos de processos recomendados e registro de mensagens distribuído baseado em paxos.		2017	RDF
21	Fagui Liu, Yingyi Yang	D-Paxos: Building Hierarchical Replicated State Machine for Cloud Environments.	IEICE Trans. Inf. Syst.	2016	DBLP DOI BibTeX RDF
21	Huynh Tu Dang, Marco Canini, Fernando Pedone, Robert Soulé	Paxos Made Switch-y.	Comput. Commun. Rev.	2016	DBLP DOI BibTeX RDF
21	Heidi Howard, Dahlia Malkhi, Alexander Spiegelman	Flexible Paxos: Quorum intersection revisited.	CoRR	2016	DBLP BibTeX RDF
21	Saksham Chand, Yanhong A. Liu, Scott D. Stoller	Formal Verification of Multi-Paxos for Distributed Consensus.	CoRR	2016	DBLP BibTeX RDF
21	Samuel Benz, Leandro Pacheco de Sousa, Fernando Pedone	Stretching multi-ring Paxos.	SAC	2016	DBLP DOI BibTeX RDF
21	Saksham Chand, Yanhong A. Liu, Scott D. Stoller	Formal Verification of Multi-Paxos for Distributed Consensus.	FM	2016	DBLP DOI BibTeX RDF
21	Yili Gong, Chuang Hu, Wentao Ma, Wenjie Wang	CC-Paxos: Integrating Consistency and Reliability in Wide-Area Storage Systems.	ICPADS	2016	DBLP DOI BibTeX RDF
21	Jialin Li 0001, Ellis Michael, Naveen Kr. Sharma, Adriana Szekeres, Dan R. K. Ports	Just Say NO to Paxos Overhead: Replacing Consensus with Network Ordering.	OSDI	2016	DBLP BibTeX RDF
21	Ailidani Ailijiang, Aleksey Charapko, Murat Demirbas	Consensus in the Cloud: Paxos Systems Demystified.	ICCCN	2016	DBLP DOI BibTeX RDF
21	Andrei Mocanu, Costin Badica	Paxos-based weighted argumentation framework approach to distributed consensus.	INISTA	2016	DBLP DOI BibTeX RDF
21	Heidi Howard, Dahlia Malkhi, Alexander Spiegelman	Flexible Paxos: Quorum Intersection Revisited.	OPODIS	2016	DBLP DOI BibTeX RDF
21	Wenbing Zhao 0001	Fast Paxos Made Easy: Theory and Implementation.	Int. J. Distributed Syst. Technol.	2015	DBLP DOI BibTeX RDF
21	Vinit Kumar, Ajay Agarwal	HT-Ring Paxos: Theory of High Throughput State-Machine Replication for Clustered Data Centers.	CoRR	2015	DBLP BibTeX RDF
21	Samuel Benz, Leandro Pacheco de Sousa, Fernando Pedone	Stretching Multi-Ring Paxos.	CoRR	2015	DBLP BibTeX RDF
21	Huynh Tu Dang, Marco Canini, Fernando Pedone, Robert Soulé	Paxos Made Switch-y.	CoRR	2015	DBLP BibTeX RDF
21	Robbert van Renesse, Deniz Altinbuken	Paxos Made Moderately Complex.	ACM Comput. Surv.	2015	DBLP DOI BibTeX RDF
21	Robbert van Renesse, Nicolas Schiper, Fred B. Schneider	Vive La Différence: Paxos vs. Viewstamped Replication vs. Zab.	IEEE Trans. Dependable Secur. Comput.	2015	DBLP DOI BibTeX RDF
21	Rodrigo R. Barbieri, Gustavo M. D. Vieira	Hardened Paxos through Consistency Validation.	SBESC	2015	DBLP DOI BibTeX RDF
21	Heming Cui, Rui Gu, Cheng Liu, Tianyu Chen, Junfeng Yang	Paxos made transparent.	SOSP	2015	DBLP DOI BibTeX RDF
21	Giorgio Delzanno, Michele Tatarek, Riccardo Traverso	Model Checking Paxos in Spin.	GandALF	2014	DBLP DOI BibTeX RDF
21	Vinit Kumar, Ajay Agarwal	HT-Paxos: High Throughput State-Machine Replication Protocol for Large Clustered Data Centers.	CoRR	2014	DBLP BibTeX RDF
21	Parisa Jalili Marandi, Marco Primi, Nicolas Schiper, Fernando Pedone	Ring Paxos: High-Throughput Atomic Broadcast.	CoRR	2014	DBLP BibTeX RDF
21	Parisa Jalili Marandi, Samuel Benz, Fernando Pedone, Ken Birman	Practical Experience Report: The Performance of Paxos in the Cloud.	CoRR	2014	DBLP BibTeX RDF
21	Gustavo M. D. Vieira, Islene C. Garcia, Luiz Eduardo Buzato	Seamless Paxos coordinators.	Clust. Comput.	2014	DBLP DOI BibTeX RDF
21	Andrei Mocanu, Costin Badica	Bringing Paxos Consensus in Multi-agent Systems.	WIMS	2014	DBLP DOI BibTeX RDF
21	Leander Jehl, Hein Meling	Asynchronous Reconfiguration for Paxos State Machines.	ICDCN	2014	DBLP DOI BibTeX RDF
21	Peva Blanchard, Shlomi Dolev, Joffroy Beauquier, Sylvie Delaët	Practically Self-stabilizing Paxos Replicated State-Machine.	NETYS	2014	DBLP DOI BibTeX RDF
21	Nadjette Rebouh	Failure Detector-Ring Paxos Based Atomic Broadcast Algorithm.	VECoS	2014	DBLP BibTeX RDF
21	Shuai Mu 0001, Kang Chen, Yongwei Wu, Weimin Zheng	When paxos meets erasure code: reduce network and storage cost in state machine replication.	HPDC	2014	DBLP DOI BibTeX RDF
21	Iulian Moraru, David G. Andersen, Michael Kaminsky	Paxos Quorum Leases: Fast Reads Without Sacrificing Writes.	SoCC	2014	DBLP DOI BibTeX RDF
21	Parisa Jalili Marandi, Samuel Benz, Fernando Pedone, Kenneth P. Birman	The Performance of Paxos in the Cloud.	SRDS	2014	DBLP DOI BibTeX RDF
21	Nuno Santos, André Schiper	Optimizing Paxos with batching and pipelining.	Theor. Comput. Sci.	2013	DBLP DOI BibTeX RDF
21	Robbert van Renesse, Nicolas Schiper, Fred B. Schneider	Vive la Différence: Paxos vs. Viewstamped Replication vs. Zab.	CoRR	2013	DBLP BibTeX RDF
21	Marton Trencseni, Attila Gazsó	ScalienDB: Designing and Implementing a Distributed Database using Paxos	CoRR	2013	DBLP BibTeX RDF
21	Peva Blanchard, Shlomi Dolev, Joffroy Beauquier, Sylvie Delaët	Self-Stabilizing Paxos	CoRR	2013	DBLP BibTeX RDF
21	Jiayong Tang, Fei Yang, Yong Zhang 0002, Chunxiao Xing	Using Paxos to Build a Lightweight, Highly Available Key-Value Data Store.	IEEE WISA	2013	DBLP DOI BibTeX RDF
21	Fenglin Zhang, Xu Wang	Optimizing Paxos with request exchangeability for highly available web services.	Internetware	2013	DBLP DOI BibTeX RDF
21	Hein Meling, Leander Jehl	Tutorial Summary: Paxos Explained from Scratch.	OPODIS	2013	DBLP DOI BibTeX RDF
21	Leander Jehl, Hein Meling	Towards Fast and Efficient Failure Handling for Paxos State Machines.	ICDCS Workshops	2013	DBLP DOI BibTeX RDF
21	Nicolo Rivetti, Angelo Corsaro	State based Paxos.	Middleware (Industry Track)	2013	DBLP DOI BibTeX RDF
21	Izabela Moise, Michel Hurfin, Jean-Pierre Le Narzul, Frédéric Majorczyk	Évaluation de politiques d'adaptation au risque de collisions dans un consensus de type « Fast Paxos ».	Tech. Sci. Informatiques	2012	DBLP DOI BibTeX RDF
21	Manoj Rameshchandra Thakur, Sugata Sanyal	A PAXOS based State Machine Replication System for Anomaly Detection	CoRR	2012	DBLP BibTeX RDF
21	Marton Trencseni, Attila Gazsó, Holger Reinhardt	PaxosLease: Diskless Paxos for Leases	CoRR	2012	DBLP BibTeX RDF
21	Dahlia Malkhi, Mahesh Balakrishnan 0001, John D. Davis, Vijayan Prabhakaran, Ted Wobber	From paxos to CORFU: a flash-speed shared log.	ACM SIGOPS Oper. Syst. Rev.	2012	DBLP DOI BibTeX RDF
21	Parisa Jalili Marandi, Marco Primi, Fernando Pedone	Multi-Ring Paxos.	DSN	2012	DBLP DOI BibTeX RDF
21	Nuno Santos, André Schiper	Tuning Paxos for High-Throughput with Batching and Pipelining.	ICDCN	2012	DBLP DOI BibTeX RDF
21	Xu Wang 0007, Hailong Sun 0001, Ting Deng, Jinpeng Huai	Rep4WS: A Paxos Based Replication Framework for Building Consistent and Reliable Web Services.	ICWS	2012	DBLP DOI BibTeX RDF
21	Xiaodong Huang, Yong Zhang 0002, Chunxiao Xing, Yinfei Huang, Jianfeng Wu, Shuo Bai	Paxos-Based Memory Data Replication in Stock Trading System.	COMPSAC	2012	DBLP DOI BibTeX RDF
21	David Sanderson, Jeremy Pitt	Institutionalised Paxos Consensus.	ECAI	2012	DBLP DOI BibTeX RDF
21	Hein Meling, Keith Marzullo, Alessandro Mei	When You Don't Trust Clients: Byzantine Proposer Fast Paxos.	ICDCS	2012	DBLP DOI BibTeX RDF
21	Martin Biely, Zarko Milosevic 0001, Nuno Santos, André Schiper	S-Paxos: Offloading the Leader for High Throughput State Machine Replication.	SRDS	2012	DBLP DOI BibTeX RDF
21	Nuno Santos	State Machine Replication - from Analytical Evaluation to High-Performance Paxos.		2012	DOI RDF
21	Jun Rao, Eugene J. Shekita, Sandeep Tata	Using Paxos to Build a Scalable, Consistent, and Highly Available Datastore	CoRR	2011	DBLP BibTeX RDF
21	Jun Rao, Eugene J. Shekita, Sandeep Tata	Using Paxos to Build a Scalable, Consistent, and Highly Available Datastore. (PDF / PS)	Proc. VLDB Endow.	2011	DBLP DOI BibTeX RDF
21	Keith Marzullo, Hein Meling, Alessandro Mei	Brief Announcement: When You Don't Trust Clients: Byzantine Proposer Fast Paxos.	DISC	2011	DBLP DOI BibTeX RDF
21	Leslie Lamport	Brief Announcement: Leaderless Byzantine Paxos.	DISC	2011	DBLP DOI BibTeX RDF
21	Leslie Lamport	Byzantizing Paxos by Refinement.	DISC	2011	DBLP DOI BibTeX RDF
21	Mahesh Balakrishnan 0001, Dahlia Malkhi, Vijayan Prabhakaran, Ted Wobber	DISC 2011 Invited Lecture by Dahlia Malkhi: Going beyond Paxos.	DISC	2011	DBLP DOI BibTeX RDF
21	William J. Bolosky, Dexter Bradshaw, Randolph B. Haagens, Norbert P. Kusters, Peng Li	Paxos Replicated State Machines as the Basis of a High-Performance Data Store.	NSDI	2011	DBLP BibTeX RDF
21	Michel Hurfin, Izabela Moise, Jean-Pierre Le Narzul	An Adaptive Fast Paxos for Making Quick Everlasting Decisions.	AINA	2011	DBLP DOI BibTeX RDF
21	Parisa Jalili Marandi, Marco Primi, Nicolas Schiper, Fernando Pedone	Ring Paxos: A high-throughput atomic broadcast protocol.	DSN	2010	DBLP DOI BibTeX RDF
21	Dan Dobre, Matthias Majuntke, Marco Serafini, Neeraj Suri	HP: Hybrid Paxos for WANs.	EDCC	2010	DBLP DOI BibTeX RDF
21	Florian Schintke, Alexander Reinefeld, Seif Haridi, Thorsten Schütt	Enhanced Paxos Commit for Transactions on DHTs.	CCGRID	2010	DBLP DOI BibTeX RDF
21	Chryssis Georgiou, Procopis Hadjiprocopiou, Peter M. Musial	On the Automated Implementation of Time-Based Paxos Using the IOA Compiler.	OPODIS	2010	DBLP DOI BibTeX RDF
21	Felix Hupfeld, Björn Kolbeck, Jan Stender, Mikael Högqvist, Toni Cortes, Jonathan Martí, Jesus Malo	FaTLease: scalable fault-tolerant lease negotiation with Paxos.	Clust. Comput.	2009	DBLP DOI BibTeX RDF
21	Leslie Lamport, Dahlia Malkhi, Lidong Zhou	Vertical paxos and primary-backup replication.	PODC	2009	DBLP DOI BibTeX RDF	replication
21	Gustavo M. D. Vieira, Luiz Eduardo Buzato	On the coordinator's rule for Fast Paxos.	Inf. Process. Lett.	2008	DBLP DOI BibTeX RDF
21	Jonathan Kirsch, Yair Amir	Paxos for System Builders: an overview.	LADIS	2008	DBLP DOI BibTeX RDF
21	Fatemeh Borran, Ravi Prakash 0001, André Schiper	Extending Paxos/LastVoting with an Adequate Communication Layer for Wireless Ad Hoc Networks.	SRDS	2008	DBLP DOI BibTeX RDF
21	Harry C. Li, Allen Clement, Amitanand S. Aiyer, Lorenzo Alvisi	The Paxos Register.	SRDS	2007	DBLP DOI BibTeX RDF
21	Mauro Jaskelioff, Stephan Merz	Proving the Correctness of Disk Paxos.	Arch. Formal Proofs	2005	DBLP BibTeX RDF
21	Leslie Lamport	Recent Discoveries from Paxos.	DSN	2004	DBLP BibTeX RDF
21	Romain Boichat, Partha Dutta, Svend Frølund, Rachid Guerraoui	Deconstructing paxos.	SIGACT News	2003	DBLP DOI BibTeX RDF
21	Leslie Lamport	Paxos Made Simple, Fast, and Byzantine.	OPODIS	2002	DBLP BibTeX RDF
21	Roberto De Prisco, Butler W. Lampson, Nancy A. Lynch	Revisiting the PAXOS algorithm.	Theor. Comput. Sci.	2000	DBLP DOI BibTeX RDF
17	Peter Alvaro, Tyson Condie, Neil Conway, Joseph M. Hellerstein, Russell Sears	I do declare: consensus in a logic language.	ACM SIGOPS Oper. Syst. Rev.	2009	DBLP DOI BibTeX RDF
17	Péter Bokor, Marco Serafini, Neeraj Suri, Helmut Veith	Role-Based Symmetry Reduction of Fault-Tolerant Distributed Protocols with Language Support.	ICFEM	2009	DBLP DOI BibTeX RDF
17	Flavio Paiva Junqueira, Benjamin C. Reed	The life and times of a zookeeper.	PODC	2009	DBLP DOI BibTeX RDF	fault-tolerance, distributed algorithms, coordination, replication, atomic broadcast
17	Zarko Milosevic 0001, Martin Hutle, André Schiper	Unifying Byzantine Consensus Algorithms with Weak Interactive Consistency.	OPODIS	2009	DBLP DOI BibTeX RDF
17	Flavio Paiva Junqueira, Benjamin C. Reed	The life and times of a zookeeper.	SPAA	2009	DBLP DOI BibTeX RDF	fault-tolerance, distributed algorithms, coordination, replication, atomic broadcast
17	Yee Jiun Song, Robbert van Renesse, Fred B. Schneider, Danny Dolev	The Building Blocks of Consensus.	ICDCN	2008	DBLP DOI BibTeX RDF
17	Zhengwei Qi, Liang Liu 0010, Alei Liang, Hao Wang, Ying Chen 0004	An Online Model Checking Tool for Safety and Liveness Bugs.	ICPADS	2008	DBLP DOI BibTeX RDF
17	Edward Walker	Continuous adaptation for high performance throughput computing across distributed clusters.	CLUSTER	2008	DBLP DOI BibTeX RDF
17	Jon MacLaren	HARC: The Highly-Available Resource Co-allocator.	OTM Conferences (2)	2007	DBLP DOI BibTeX RDF
17	Michael G. Merideth, Michael K. Reiter	Probabilistic Opaque Quorum Systems.	DISC	2007	DBLP DOI BibTeX RDF
17	Monika Moser, Seif Haridi	Atomic Commitment in Transactional DHTs.	CoreGRID	2007	DBLP DOI BibTeX RDF
17	Ben Temkow, Anne-Marie Bosneag, Xinjie Li, Monica Brockmeyer	PaxonDHT: Achieving Consensus in Distributed Hash Tables.	SAINT	2006	DBLP DOI BibTeX RDF
17	Yi Jiang, Guangtao Xue, Jinyuan You	Toward Fault-Tolerant Atomic Data Access in Mutable Distributed Hash Tables.	IMSCCS (1)	2006	DBLP DOI BibTeX RDF
17	Xianan Zhang, Flavio Junqueira, Matti A. Hiltunen, Keith Marzullo, Richard D. Schlichting	Replicating Nondeterministic Services on Grid Environments.	HPDC	2006	DBLP DOI BibTeX RDF	nondeterministic service, primary-backup approach, replicated grid service, Web service, distributed systems, synchronous system
17	Flavio Paiva Junqueira, Keith Marzullo	Coterie Availability in Sites.	DISC	2005	DBLP DOI BibTeX RDF
17	Gregory V. Chockler, Seth Gilbert, Vincent Gramoli, Peter M. Musial, Alexander A. Shvartsman	Reconfigurable Distributed Storage for Dynamic Networks.	OPODIS	2005	DBLP DOI BibTeX RDF	atomic objects, performance, Distributed algorithms, reconfiguration
17	John Risson, Ken Robinson, Tim Moors	Fault Tolerant Active Rings for Structured Peer-to-Peer Overlays.	LCN	2005	DBLP DOI BibTeX RDF
17	Toh Ne Win, Michael D. Ernst, Stephen J. Garland, Dilsun Kirli Kaynar, Nancy A. Lynch	Using simulated execution in verifying distributed algorithms.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	Invariant detection, Static analysis, Theorem proving, Dynamic analysis
17	Carlos Enrique Cuesta Quintero, María Pilar Romay Rodríguez, Pablo de la Fuente, Manuel Barrio-Solórzano	Reflection-Based, Aspect-Oriented Software Architecture.	EWSA	2004	DBLP DOI BibTeX RDF
17	Toh Ne Win, Michael D. Ernst, Stephen J. Garland, Dilsun Kirli Kaynar, Nancy A. Lynch	Using Simulated Execution in Verifying Distributed Algorithms.	VMCAI	2003	DBLP DOI BibTeX RDF
17	Hagit Attiya, Amir Bar-Or	Sharing Memory with Semi-Byzantine Clients and Faulty Storage Servers.	SRDS	2003	DBLP DOI BibTeX RDF
17	Burkhard Englert, Eli Gafni	Fast Collect in the absence of contention.	ICDCS	2002	DBLP DOI BibTeX RDF
17	Leslie Lamport	The Part-Time Parliament.	ACM Trans. Comput. Syst.	1998	DBLP DOI BibTeX RDF	three-phase commit, voting, state machines