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 |