default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID22nd OPODIS 2018: Hong Kong, China
- Jiannong Cao, Faith Ellen, Luís Rodrigues, Bernardo Ferreira:
22nd International Conference on Principles of Distributed Systems, OPODIS 2018, December 17-19, 2018, Hong Kong, China. LIPIcs 125, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2018, ISBN 978-3-95977-098-9 - Front Matter, Table of Contents, Preface, Conference Organization. 0:i-0:xx
- Jennifer L. Welch:
Complexity of Multi-Valued Register Simulations: A Retrospective (Keynote). 1:1-1:1 - Amr El Abbadi:
Distributed Systems and Databases of the Globe Unite! The Cloud, the Edge and Blockchains (Keynote). 2:1-2:1 - Siddhartha Sen:
How to Make Decisions (Optimally) (Keynote). 3:1-3:1 - Keren Censor-Hillel, Dean Leitersdorf, Elia Turner:
Sparse Matrix Multiplication and Triangle Listing in the Congested Clique Model. 4:1-4:17 - Tanmay Inamdar
, Shreyas Pai, Sriram V. Pemmaraju:
Large-Scale Distributed Algorithms for Facility Location with Outliers. 5:1-5:16 - Simon Collet, Pierre Fraigniaud, Paolo Penna:
Equilibria of Games in Networks for Local Tasks. 6:1-6:16 - Keren Censor-Hillel, Ami Paz, Noam Ravid:
The Sparsest Additive Spanner via Multiple Weighted BFS Trees. 7:1-7:16 - Jeremy Ko:
The Amortized Analysis of a Non-blocking Chromatic Tree. 8:1-8:17 - Aras Atalar, Paul Renaud-Goud, Philippas Tsigas:
Lock-Free Search Data Structures: Throughput Modeling with Poisson Processes. 9:1-9:16 - Robert Kelly, Barak A. Pearlmutter, Phil Maguire:
Concurrent Robin Hood Hashing. 10:1-10:16 - Vitaly Aksenov, Petr Kuznetsov, Anatoly Shalyto:
Parallel Combining: Benefits of Explicit Synchronization. 11:1-11:16 - Hengfeng Wei, Yu Huang, Jian Lu:
Specification and Implementation of Replicated List: The Jupiter Protocol Revisited. 12:1-12:16 - Klaus-Tycho Foerster, Mahmoud Parham, Stefan Schmid, Tao Wen:
Local Fast Segment Rerouting on Hypercubes. 13:1-13:17 - Dimitris Sakavalas, Lewis Tseng, Nitin H. Vaidya:
Effects of Topology Knowledge and Relay Depth on Asynchronous Appoximate Consensus. 14:1-14:16 - Wenbo Xu, Signe Rüsch, Bijun Li, Rüdiger Kapitza:
Hybrid Fault-Tolerant Consensus in Asynchronous and Wireless Embedded Systems. 15:1-15:16 - Yackolley Amoussou-Guenou, Antonella Del Pozzo, Maria Potop-Butucaru, Sara Tucci Piergiovanni:
Correctness of Tendermint-Core Blockchains. 16:1-16:16 - Álvaro García-Pérez, Alexey Gotsman:
Federated Byzantine Quorum Systems. 17:1-17:16 - Adam Shimi, Aurélie Hurault, Philippe Quéinnec:
Characterizing Asynchronous Message-Passing Models Through Rounds. 18:1-18:17 - David Kozhaya, Ognjen Maric, Yvonne-Anne Pignolet:
You Only Live Multiple Times: A Blackbox Solution for Reusing Crash-Stop Algorithms In Realistic Crash-Recovery Settings. 19:1-19:17 - Brice Nédelec, Pascal Molli, Achour Mostéfaoui:
Causal Broadcast: How to Forget?. 20:1-20:16 - Ben Chugg, Hooman Hashemi, Anne Condon:
Output-Oblivious Stochastic Chemical Reaction Networks. 21:1-21:16 - Yehuda Afek, Yuval Emek, Noa Kolikant:
The Synergy of Finite State Machines. 22:1-22:16 - Petr Kuznetsov, Nayuta Yanagisawa:
Task Computability in Unreliable Anonymous Networks. 23:1-23:13 - Takashi Okumura, Koichi Wada, Xavier Défago:
Optimal Rendezvous L-Algorithms for Asynchronous Mobile Robots with External-Lights. 24:1-24:16 - Jurek Czyzowicz, Ryan Killick, Evangelos Kranakis:
Linear Rendezvous with Asymmetric Clocks. 25:1-25:16 - Calvin Newport, Chaodong Zheng:
Approximate Neighbor Counting in Radio Networks. 26:1-26:16 - Seth Gilbert, Nancy A. Lynch, Calvin Newport, Dominik Pajak:
On Simple Back-Off in Unreliable Radio Networks. 27:1-27:17 - Éric Goubault, Jérémy Ledent, Samuel Mimram:
Concurrent Specifications Beyond Linearizability. 28:1-28:16 - Nahal Mirzaie, Fathiyeh Faghih, Swen Jacobs, Borzoo Bonakdarpour:
Parameterized Synthesis of Self-Stabilizing Protocols in Symmetric Rings. 29:1-29:17 - Yuichi Sudo, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa, Ajoy K. Datta, Lawrence L. Larmore:
Loosely-Stabilizing Leader Election with Polylogarithmic Convergence Time. 30:1-30:16 - Yuichi Sudo, Ajoy K. Datta, Lawrence L. Larmore, Toshimitsu Masuzawa:
Self-Stabilizing Token Distribution with Constant-Space for Trees. 31:1-31:16
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-08 20:17 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
