OPODIS B

37 papers

YearTitle / Authors
201720th International Conference on Principles of Distributed Systems, OPODIS 2016, Madrid, Spain, December 13-16, 2016
Panagiota Fatourou, Ernesto Jiménez, Fernando Pedone
2016Blockchain - From the Anarchy of Cryptocurrencies to the Enterprise (Keynote Abstract).
Christian Cachin
2016Bounded Disagreement.
David Yu Cheng Chan, Vassos Hadzilacos, Sam Toueg
2016Collision-Free Pattern Formation.
Rachid Guerraoui, Alexandre Maurer
2016Computationally Light "Multi-Speed" Atomic Memory.
Antonio Fernández Anta, Theophanis Hadjistasi, Nicolas C. Nicolaou
2016Deadline-Budget constrained Scheduling Algorithm for Scientific Workflows in a Cloud Environment.
Mozhgan Ghasemzadeh, Hamid Arabnejad, Jorge G. Barbosa
2016Deletion without Rebalancing in Non-Blocking Binary Search Trees.
Meng He, Mengdu Li
2016Design Patterns in Beeping Algorithms.
Arnaud Casteigts, Yves Métivier, John Michael Robson, Akka Zemmari
2016Deterministic Population Protocols for Exact Majority and Plurality.
Leszek Gasieniec, David D. Hamilton, Russell Martin, Paul G. Spirakis, Grzegorz Stachowiak
2016Distributed Stable Matching with Similar Preference Lists.
Pankaj Khanchandani, Roger Wattenhofer
2016Dynamic Atomic Snapshots.
Alexander Spiegelman, Idit Keidar
2016Exploring Key-Value Stores in Multi-Writer Byzantine-Resilient Register Emulations.
Tiago Oliveira, Ricardo Mendes, Alysson Neves Bessani
2016Flexible Paxos: Quorum Intersection Revisited.
Heidi Howard, Dahlia Malkhi, Alexander Spiegelman
2016Front Matter, Table of Contents, Preface, Committees, List of Authors.
2016Generalized Selectors and Locally Thin Families with Applications to Conflict Resolution in Multiple Access Channels Supporting Simultaneous Successful Transmissions.
Annalisa De Bonis
2016High Throughput Connectomics (Keynote Abstract).
Nir Shavit
2016How Lock-free Data Structures Perform in Dynamic Environments: Models and Analyses.
Aras Atalar, Paul Renaud-Goud, Philippas Tsigas
2016Kleinberg's Grid Reloaded.
Fabien Mathieu
2016Moving Participants Turtle Consensus.
Stavros Nikolaou, Robbert van Renesse
2016Non-Determinism in Byzantine Fault-Tolerant Replication.
Christian Cachin, Simon Schubert, Marko Vukolic
2016Participating Sets, Simulations, and the Consensus Hierarchy (Keynote Abstract).
Faith Ellen
2016Polynomial Self-Stabilizing Maximum Matching Algorithm with Approximation Ratio 2/3.
Johanne Cohen, Khaled Maamra, George Manoussakis, Laurence Pilard
2016Predicate Detection for Parallel Computations with Locking Constraints.
Yen-Jung Chang, Vijay K. Garg
2016Proving Opacity of a Pessimistic STM.
Simon Doherty, Brijesh Dongol, John Derrick, Gerhard Schellhorn, Heike Wehrheim
2016RADON: Repairable Atomic Data Object in Networks.
Kishori M. Konwar, N. Prakash, Nancy A. Lynch, Muriel Médard
2016Read-Write Memory and k-Set Consensus as an Affine Task.
Eli Gafni, Yuan He, Petr Kuznetsov, Thibault Rieutord
2016Really Big Data: Analytics on Graphs with Trillions of Edges (Keynote Abstract).
Willy Zwaenepoel
2016Relaxed Byzantine Vector Consensus.
Zhuolun Xiang, Nitin H. Vaidya
2016Self-Stabilizing Disconnected Components Detection and Rooted Shortest-Path Tree Maintenance in Polynomial Steps.
Stéphane Devismes, David Ilcinkas, Colette Johnen
2016Set-Consensus Collections are Decidable.
Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Petr Kuznetsov
2016Step Optimal Implementations of Large Single-Writer Registers.
Tian Ze Chen, Yuanhao Wei
2016The Case for Reconfiguration without Consensus: Comparing Algorithms for Atomic Storage.
Leander Jehl, Hein Meling
2016Time and Space Optimal Counting in Population Protocols.
James Aspnes, Joffroy Beauquier, Janna Burman, Devan Sohier
2016Using Read-k Inequalities to Analyze a Distributed MIS Algorithm.
Sriram V. Pemmaraju, Talal Riaz
2016WNetKAT: A Weighted SDN Programming and Verification Language.
Kim G. Larsen, Stefan Schmid, Bingtian Xue
2016k-Set Agreement in Communication Networks with Omission Faults.
Emmanuel Godard, Eloi Perdereau
2016m-Consensus Objects Are Pretty Powerful.
Ammar Qadri