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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2017 |
RDF |
|
21 | Fagui Liu, Yingyi Yang |
D-Paxos: Building Hierarchical Replicated State Machine for Cloud Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Inf. Syst. ![In: IEICE Trans. Inf. Syst. 99-D(6), pp. 1485-1501, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Huynh Tu Dang, Marco Canini, Fernando Pedone, Robert Soulé |
Paxos Made Switch-y. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Commun. Rev. ![In: Comput. Commun. Rev. 46(2), pp. 18-24, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Heidi Howard, Dahlia Malkhi, Alexander Spiegelman |
Flexible Paxos: Quorum intersection revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1608.06696, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
21 | Saksham Chand, Yanhong A. Liu, Scott D. Stoller |
Formal Verification of Multi-Paxos for Distributed Consensus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1606.01387, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
21 | Samuel Benz, Leandro Pacheco de Sousa, Fernando Pedone |
Stretching multi-ring Paxos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 31st Annual ACM Symposium on Applied Computing, Pisa, Italy, April 4-8, 2016, pp. 492-499, 2016, ACM, 978-1-4503-3739-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Saksham Chand, Yanhong A. Liu, Scott D. Stoller |
Formal Verification of Multi-Paxos for Distributed Consensus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings, pp. 119-136, 2016, 978-3-319-48988-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: 22nd IEEE International Conference on Parallel and Distributed Systems, ICPADS 2016, Wuhan, China, December 13-16, 2016, pp. 414-421, 2016, IEEE Computer Society, 978-1-5090-4457-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OSDI ![In: 12th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2016, Savannah, GA, USA, November 2-4, 2016., pp. 467-483, 2016, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
21 | Ailidani Ailijiang, Aleksey Charapko, Murat Demirbas |
Consensus in the Cloud: Paxos Systems Demystified. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCCN ![In: 25th International Conference on Computer Communication and Networks, ICCCN 2016, Waikoloa, HI, USA, August 1-4, 2016, pp. 1-10, 2016, IEEE, 978-1-5090-2279-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Andrei Mocanu, Costin Badica |
Paxos-based weighted argumentation framework approach to distributed consensus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INISTA ![In: International Symposium on INnovations in Intelligent SysTems and Applications, INISTA 2016, Sinaia, Romania, August 2-5, 2016, pp. 1-6, 2016, IEEE, 978-1-4673-9910-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Heidi Howard, Dahlia Malkhi, Alexander Spiegelman |
Flexible Paxos: Quorum Intersection Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OPODIS ![In: 20th International Conference on Principles of Distributed Systems, OPODIS 2016, December 13-16, 2016, Madrid, Spain, pp. 25:1-25:14, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-031-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Wenbing Zhao 0001 |
Fast Paxos Made Easy: Theory and Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Distributed Syst. Technol. ![In: Int. J. Distributed Syst. Technol. 6(1), pp. 15-33, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Vinit Kumar, Ajay Agarwal |
HT-Ring Paxos: Theory of High Throughput State-Machine Replication for Clustered Data Centers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1507.04086, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
21 | Samuel Benz, Leandro Pacheco de Sousa, Fernando Pedone |
Stretching Multi-Ring Paxos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1504.04942, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
21 | Huynh Tu Dang, Marco Canini, Fernando Pedone, Robert Soulé |
Paxos Made Switch-y. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1511.04985, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
21 | Robbert van Renesse, Deniz Altinbuken |
Paxos Made Moderately Complex. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Comput. Surv. ![In: ACM Comput. Surv. 47(3), pp. 42:1-42:36, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Robbert van Renesse, Nicolas Schiper, Fred B. Schneider |
Vive La Différence: Paxos vs. Viewstamped Replication vs. Zab. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Dependable Secur. Comput. ![In: IEEE Trans. Dependable Secur. Comput. 12(4), pp. 472-484, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Rodrigo R. Barbieri, Gustavo M. D. Vieira |
Hardened Paxos through Consistency Validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBESC ![In: 2015 Brazilian Symposium on Computing Systems Engineering, SBESC 2015, Foz do Iguacu, Brazil, November 3-6, 2015, pp. 13-18, 2015, IEEE Computer Society, 978-1-5090-0182-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Heming Cui, Rui Gu, Cheng Liu, Tianyu Chen, Junfeng Yang |
Paxos made transparent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOSP ![In: Proceedings of the 25th Symposium on Operating Systems Principles, SOSP 2015, Monterey, CA, USA, October 4-7, 2015, pp. 105-120, 2015, ACM, 978-1-4503-3834-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Giorgio Delzanno, Michele Tatarek, Riccardo Traverso |
Model Checking Paxos in Spin. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings Fifth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2014, Verona, Italy, September 10-12, 2014., pp. 131-146, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Vinit Kumar, Ajay Agarwal |
HT-Paxos: High Throughput State-Machine Replication Protocol for Large Clustered Data Centers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1407.1237, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
21 | Parisa Jalili Marandi, Marco Primi, Nicolas Schiper, Fernando Pedone |
Ring Paxos: High-Throughput Atomic Broadcast. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1401.6015, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
21 | Parisa Jalili Marandi, Samuel Benz, Fernando Pedone, Ken Birman |
Practical Experience Report: The Performance of Paxos in the Cloud. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1404.6719, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
21 | Gustavo M. D. Vieira, Islene C. Garcia, Luiz Eduardo Buzato |
Seamless Paxos coordinators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Clust. Comput. ![In: Clust. Comput. 17(2), pp. 463-473, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Andrei Mocanu, Costin Badica |
Bringing Paxos Consensus in Multi-agent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WIMS ![In: 4th International Conference on Web Intelligence, Mining and Semantics (WIMS 14), WIMS '14, Thessaloniki, Greece, June 2-4, 2014, pp. 51:1-51:6, 2014, ACM, 978-1-4503-2538-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Leander Jehl, Hein Meling |
Asynchronous Reconfiguration for Paxos State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCN ![In: Distributed Computing and Networking - 15th International Conference, ICDCN 2014, Coimbatore, India, January 4-7, 2014. Proceedings, pp. 119-133, 2014, Springer, 978-3-642-45248-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Peva Blanchard, Shlomi Dolev, Joffroy Beauquier, Sylvie Delaët |
Practically Self-stabilizing Paxos Replicated State-Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NETYS ![In: Networked Systems - Second International Conference, NETYS 2014, Marrakech, Morocco, May 15-17, 2014. Revised Selected Papers, pp. 99-121, 2014, Springer, 978-3-319-09580-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Nadjette Rebouh |
Failure Detector-Ring Paxos Based Atomic Broadcast Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Proceedings of the 8th International Workshop on Verification and Evaluation of Computer and Communication Systems, VECoS 2014, Bejaïa, Algeria, September 29-30, 2014., pp. 63-68, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPDC ![In: The 23rd International Symposium on High-Performance Parallel and Distributed Computing, HPDC'14, Vancouver, BC, Canada - June 23 - 27, 2014, pp. 61-72, 2014, ACM, 978-1-4503-2749-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Iulian Moraru, David G. Andersen, Michael Kaminsky |
Paxos Quorum Leases: Fast Reads Without Sacrificing Writes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoCC ![In: Proceedings of the ACM Symposium on Cloud Computing, Seattle, WA, USA, November 3-5, 2014, pp. 22:1-22:13, 2014, ACM, 978-1-4503-3252-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Parisa Jalili Marandi, Samuel Benz, Fernando Pedone, Kenneth P. Birman |
The Performance of Paxos in the Cloud. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SRDS ![In: 33rd IEEE International Symposium on Reliable Distributed Systems, SRDS 2014, Nara, Japan, October 6-9, 2014, pp. 41-50, 2014, IEEE Computer Society, 978-1-4799-5584-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Nuno Santos, André Schiper |
Optimizing Paxos with batching and pipelining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 496, pp. 170-183, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Robbert van Renesse, Nicolas Schiper, Fred B. Schneider |
Vive la Différence: Paxos vs. Viewstamped Replication vs. Zab. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1309.5671, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
21 | Marton Trencseni, Attila Gazsó |
ScalienDB: Designing and Implementing a Distributed Database using Paxos ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1302.3860, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
21 | Peva Blanchard, Shlomi Dolev, Joffroy Beauquier, Sylvie Delaët |
Self-Stabilizing Paxos ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1305.4263, 2013. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE WISA ![In: 2013 10th Web Information System and Application Conference, Yangzhou, China, November 10-15, 2013, pp. 300-307, 2013, IEEE Computer Society, 978-1-4799-3218-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Fenglin Zhang, Xu Wang |
Optimizing Paxos with request exchangeability for highly available web services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Internetware ![In: Proceedings of the 5th Asia-Pacific Symposium on Internetware, Internetware 2013, Changsha, China, October 23-24, 2013, pp. 28:1-28:4, 2013, ACM, 978-1-4503-2369-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Hein Meling, Leander Jehl |
Tutorial Summary: Paxos Explained from Scratch. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OPODIS ![In: Principles of Distributed Systems - 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings, pp. 1-10, 2013, Springer, 978-3-319-03849-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Leander Jehl, Hein Meling |
Towards Fast and Efficient Failure Handling for Paxos State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS Workshops ![In: 33rd International Conference on Distributed Computing Systems Workshops (ICDCS 2013 Workshops), Philadelphia, PA, USA, 8-11 July, 2013, pp. 98-102, 2013, IEEE Computer Society, 978-0-7695-5023-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Nicolo Rivetti, Angelo Corsaro |
State based Paxos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Middleware (Industry Track) ![In: Proceedings of the Industrial Track of the 14th ACM/IFIP/USENIX International Middleware Conference, Beijing, China, December 9-13, 2013, pp. 4:1-4:6, 2013, ACM, 978-1-4503-2550-9. The full citation details ...](Pics/full.jpeg) |
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 ». ![Search on Bibsonomy](Pics/bibsonomy.png) |
Tech. Sci. Informatiques ![In: Tech. Sci. Informatiques 31(8-10), pp. 1301-1325, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Manoj Rameshchandra Thakur, Sugata Sanyal |
A PAXOS based State Machine Replication System for Anomaly Detection ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1206.2307, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
21 | Marton Trencseni, Attila Gazsó, Holger Reinhardt |
PaxosLease: Diskless Paxos for Leases ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1209.4187, 2012. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 46(1), pp. 47-51, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Parisa Jalili Marandi, Marco Primi, Fernando Pedone |
Multi-Ring Paxos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2012, Boston, MA, USA, June 25-28, 2012, pp. 1-12, 2012, IEEE Computer Society, 978-1-4673-1624-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Nuno Santos, André Schiper |
Tuning Paxos for High-Throughput with Batching and Pipelining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCN ![In: Distributed Computing and Networking - 13th International Conference, ICDCN 2012, Hong Kong, China, January 3-6, 2012. Proceedings, pp. 153-167, 2012, Springer, 978-3-642-25958-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: 2012 IEEE 19th International Conference on Web Services, Honolulu, HI, USA, June 24-29, 2012, pp. 295-302, 2012, IEEE Computer Society, 978-1-4673-2131-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 36th Annual IEEE Computer Software and Applications Conference, COMPSAC 2012, Izmir, Turkey, July 16-20, 2012, pp. 340-341, 2012, IEEE Computer Society, 978-1-4673-1990-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
21 | David Sanderson, Jeremy Pitt |
Institutionalised Paxos Consensus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: ECAI 2012 - 20th European Conference on Artificial Intelligence. Including Prestigious Applications of Artificial Intelligence (PAIS-2012) System Demonstrations Track, Montpellier, France, August 27-31 , 2012, pp. 714-719, 2012, IOS Press, 978-1-61499-097-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Hein Meling, Keith Marzullo, Alessandro Mei |
When You Don't Trust Clients: Byzantine Proposer Fast Paxos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: 2012 IEEE 32nd International Conference on Distributed Computing Systems, Macau, China, June 18-21, 2012, pp. 193-202, 2012, IEEE Computer Society, 978-1-4577-0295-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SRDS ![In: IEEE 31st Symposium on Reliable Distributed Systems, SRDS 2012, Irvine, CA, USA, October 8-11, 2012, pp. 111-120, 2012, IEEE Computer Society, 978-1-4673-2397-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Nuno Santos |
State Machine Replication - from Analytical Evaluation to High-Performance Paxos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2012 |
DOI RDF |
|
21 | Jun Rao, Eugene J. Shekita, Sandeep Tata |
Using Paxos to Build a Scalable, Consistent, and Highly Available Datastore ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1103.2408, 2011. The full citation details ...](Pics/full.jpeg) |
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) ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. VLDB Endow. ![In: Proc. VLDB Endow. 4(4), pp. 243-254, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Keith Marzullo, Hein Meling, Alessandro Mei |
Brief Announcement: When You Don't Trust Clients: Byzantine Proposer Fast Paxos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISC ![In: Distributed Computing - 25th International Symposium, DISC 2011, Rome, Italy, September 20-22, 2011. Proceedings, pp. 143-144, 2011, Springer, 978-3-642-24099-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Leslie Lamport |
Brief Announcement: Leaderless Byzantine Paxos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISC ![In: Distributed Computing - 25th International Symposium, DISC 2011, Rome, Italy, September 20-22, 2011. Proceedings, pp. 141-142, 2011, Springer, 978-3-642-24099-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Leslie Lamport |
Byzantizing Paxos by Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISC ![In: Distributed Computing - 25th International Symposium, DISC 2011, Rome, Italy, September 20-22, 2011. Proceedings, pp. 211-224, 2011, Springer, 978-3-642-24099-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISC ![In: Distributed Computing - 25th International Symposium, DISC 2011, Rome, Italy, September 20-22, 2011. Proceedings, pp. 208-210, 2011, Springer, 978-3-642-24099-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSDI ![In: Proceedings of the 8th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2011, Boston, MA, USA, March 30 - April 1, 2011, 2011, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
21 | Michel Hurfin, Izabela Moise, Jean-Pierre Le Narzul |
An Adaptive Fast Paxos for Making Quick Everlasting Decisions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AINA ![In: 25th IEEE International Conference on Advanced Information Networking and Applications, AINA 2011, Biopolis, Singapore, March 22-25, 2011, pp. 208-215, 2011, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Parisa Jalili Marandi, Marco Primi, Nicolas Schiper, Fernando Pedone |
Ring Paxos: A high-throughput atomic broadcast protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2010, Chicago, IL, USA, June 28 - July 1 2010, pp. 527-536, 2010, IEEE Computer Society, 978-1-4244-7501-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Dan Dobre, Matthias Majuntke, Marco Serafini, Neeraj Suri |
HP: Hybrid Paxos for WANs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDCC ![In: Eighth European Dependable Computing Conference, EDCC-8 2010, Valencia, Spain, 28-30 April 2010, pp. 117-126, 2010, IEEE Computer Society, 978-0-7695-4007-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Florian Schintke, Alexander Reinefeld, Seif Haridi, Thorsten Schütt |
Enhanced Paxos Commit for Transactions on DHTs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCGRID ![In: 10th IEEE/ACM International Conference on Cluster, Cloud and Grid Computing, CCGrid 2010, 17-20 May 2010, Melbourne, Victoria, Australia, pp. 448-454, 2010, IEEE Computer Society, 978-0-7695-4039-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OPODIS ![In: Principles of Distributed Systems - 14th International Conference, OPODIS 2010, Tozeur, Tunisia, December 14-17, 2010. Proceedings, pp. 235-252, 2010, Springer, 978-3-642-17652-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Clust. Comput. ![In: Clust. Comput. 12(2), pp. 175-188, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Leslie Lamport, Dahlia Malkhi, Lidong Zhou |
Vertical paxos and primary-backup replication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the 28th Annual ACM Symposium on Principles of Distributed Computing, PODC 2009, Calgary, Alberta, Canada, August 10-12, 2009, pp. 312-313, 2009, ACM, 978-1-60558-396-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
replication |
21 | Gustavo M. D. Vieira, Luiz Eduardo Buzato |
On the coordinator's rule for Fast Paxos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 107(5), pp. 183-187, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Jonathan Kirsch, Yair Amir |
Paxos for System Builders: an overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LADIS ![In: Proceedings of the 2nd Workshop on Large-Scale Distributed Systems and Middleware, LADIS '08, Yorktown Heights, New York, USA, September 15-17, 2008, pp. 3:1-3:6, 2008, ACM, 978-1-60558-296-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SRDS ![In: 27th IEEE Symposium on Reliable Distributed Systems (SRDS 2008), Napoli, Italy, October 6-8, 2008, pp. 227-236, 2008, IEEE Computer Society, 978-0-7695-3410-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Harry C. Li, Allen Clement, Amitanand S. Aiyer, Lorenzo Alvisi |
The Paxos Register. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SRDS ![In: 26th IEEE Symposium on Reliable Distributed Systems (SRDS 2007), Beijing, China, October 10-12, 2007, pp. 114-126, 2007, IEEE Computer Society, 0-7695-2995-X. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Mauro Jaskelioff, Stephan Merz |
Proving the Correctness of Disk Paxos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2005, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
21 | Leslie Lamport |
Recent Discoveries from Paxos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June - 1 July 2004, Florence, Italy, Proceedings, pp. 3, 2004, IEEE Computer Society, 0-7695-2052-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
21 | Romain Boichat, Partha Dutta, Svend Frølund, Rachid Guerraoui |
Deconstructing paxos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGACT News ![In: SIGACT News 34(1), pp. 47-67, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Leslie Lamport |
Paxos Made Simple, Fast, and Byzantine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OPODIS ![In: Procedings of the 6th International Conference on Principles of Distributed Systems. OPODIS 2002, Reims, France, December 11-13, 2002, pp. 7-9, 2002, Suger, Saint-Denis, rue Catulienne, France, 2-912590-26-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
21 | Roberto De Prisco, Butler W. Lampson, Nancy A. Lynch |
Revisiting the PAXOS algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 243(1-2), pp. 35-91, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 43(4), pp. 25-30, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings, pp. 147-166, 2009, Springer, 978-3-642-10372-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Flavio Paiva Junqueira, Benjamin C. Reed |
The life and times of a zookeeper. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the 28th Annual ACM Symposium on Principles of Distributed Computing, PODC 2009, Calgary, Alberta, Canada, August 10-12, 2009, pp. 4, 2009, ACM, 978-1-60558-396-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OPODIS ![In: Principles of Distributed Systems, 13th International Conference, OPODIS 2009, Nîmes, France, December 15-18, 2009. Proceedings, pp. 300-314, 2009, Springer, 978-3-642-10876-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Flavio Paiva Junqueira, Benjamin C. Reed |
The life and times of a zookeeper. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAA ![In: SPAA 2009: Proceedings of the 21st Annual ACM Symposium on Parallelism in Algorithms and Architectures, Calgary, Alberta, Canada, August 11-13, 2009, pp. 46, 2009, ACM, 978-1-60558-606-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCN ![In: Distributed Computing and Networking, 9th International Conference, ICDCN 2008, Kolkata, India, January 5-8, 2008., pp. 54-72, 2008, Springer, 978-3-540-77443-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: 14th International Conference on Parallel and Distributed Systems, ICPADS 2008, Melbourne, Victoria, Australia, December 8-10, 2008, pp. 493-500, 2008, IEEE Computer Society, 978-0-7695-3434-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Edward Walker |
Continuous adaptation for high performance throughput computing across distributed clusters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLUSTER ![In: Proceedings of the 2008 IEEE International Conference on Cluster Computing, 29 September - 1 October 2008, Tsukuba, Japan, pp. 369-375, 2008, IEEE Computer Society, 978-1-4244-2640-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Jon MacLaren |
HARC: The Highly-Available Resource Co-allocator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Conferences (2) ![In: On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS, OTM Confederated International Conferences CoopIS, DOA, ODBASE, GADA, and IS 2007, Vilamoura, Portugal, November 25-30, 2007, Proceedings, Part II, pp. 1385-1402, 2007, Springer, 978-3-540-76835-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Michael G. Merideth, Michael K. Reiter |
Probabilistic Opaque Quorum Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISC ![In: Distributed Computing, 21st International Symposium, DISC 2007, Lemesos, Cyprus, September 24-26, 2007, Proceedings, pp. 403-419, 2007, Springer, 978-3-540-75141-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Monika Moser, Seif Haridi |
Atomic Commitment in Transactional DHTs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoreGRID ![In: Towards Next Generation Grids, Proceedings of the CoreGRID Symposium 2007, August 27-28, Rennes, France, pp. 151-161, 2007, Springer, 978-0-387-72497-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Ben Temkow, Anne-Marie Bosneag, Xinjie Li, Monica Brockmeyer |
PaxonDHT: Achieving Consensus in Distributed Hash Tables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAINT ![In: 2006 International Symposium on Applications and the Internet (SAINT 2006), 23-27 January 2006, Phoenix, Arizona, USA, pp. 236-244, 2006, IEEE Computer Society, 0-7695-2508-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Yi Jiang, Guangtao Xue, Jinyuan You |
Toward Fault-Tolerant Atomic Data Access in Mutable Distributed Hash Tables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMSCCS (1) ![In: Interdisciplinary and Multidisciplinary Research in Computer Science, IEEE CS Proceeding of the First International Multi-Symposium of Computer and Computational Sciences (IMSCCS|06), June 20-24, 2006, Zhejiang University, Hangzhou, China, Vol. 1, pp. 485-490, 2006, IEEE Computer Society, 0-7695-2581-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Xianan Zhang, Flavio Junqueira, Matti A. Hiltunen, Keith Marzullo, Richard D. Schlichting |
Replicating Nondeterministic Services on Grid Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPDC ![In: Proceedings of the 15th IEEE International Symposium on High Performance Distributed Computing, HPDC-15, Paris, France, June 19-23, 2006, pp. 105-116, 2006, IEEE, 1-4244-0307-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISC ![In: Distributed Computing, 19th International Conference, DISC 2005, Cracow, Poland, September 26-29, 2005, Proceedings, pp. 3-17, 2005, Springer, 3-540-29163-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OPODIS ![In: Principles of Distributed Systems, 9th International Conference, OPODIS 2005, Pisa, Italy, December 12-14, 2005, Revised Selected Papers, pp. 351-365, 2005, Springer, 3-540-36321-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCN ![In: 30th Annual IEEE Conference on Local Computer Networks (LCN 2005), 15-17 November 2005, Sydney, Australia, Proceedings, pp. 18-25, 2005, IEEE Computer Society, 0-7695-2421-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 6(1), pp. 67-76, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EWSA ![In: Software Architecture, First European Workshop, EWSA 2004, St Andrews, UK, May 21-22, 2004, Proceedings, pp. 43-56, 2004, Springer, 3-540-22000-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2002, Proceedings, pp. 283-297, 2003, Springer, 3-540-00348-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Hagit Attiya, Amir Bar-Or |
Sharing Memory with Semi-Byzantine Clients and Faulty Storage Servers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SRDS ![In: 22nd Symposium on Reliable Distributed Systems (SRDS 2003), 6-8 October 2003, Florence, Italy, pp. 371-378, 2003, IEEE Computer Society, 0-7695-1955-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Burkhard Englert, Eli Gafni |
Fast Collect in the absence of contention. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: Proceedings of the 22nd International Conference on Distributed Computing Systems (ICDCS'02), Vienna, Austria, July 2-5, 2002, pp. 537-543, 2002, IEEE Computer Society, 0-7695-1585-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Leslie Lamport |
The Part-Time Parliament. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Syst. ![In: ACM Trans. Comput. Syst. 16(2), pp. 133-169, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
three-phase commit, voting, state machines |