Skip to main content
SpringerLink
Log in

Principles of Distributed Systems

18th International Conference, OPODIS 2014, Cortina d'Ampezzo, Italy, December 16-19, 2014. Proceedings

  • Conference proceedings
  • © 2014

Overview

Editors:
  1. Marcos K. Aguilera

    1. Microsoft Research Silicon Valley, Mountain View, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Leonardo Querzoni

    1. DIAG, Sapienza University of Rome, Roma, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Marc Shapiro

    1. UPMC Univ Paris 06, LIP6, Inria Paris-Rocquencourt and Sorbonne Universités, Paris, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Up-to-date results
  • State-of-the-art research
  • Fast-track conference proceedings

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 8878)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: OPODIS 2014.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (32 papers)

  1. Front Matter

    Download chapter PDF

  2. Consistency

    1. Verifying the Consistency of Remote Untrusted Services with Commutative Operations

      • Christian Cachin, Olga Ohrimenko
      Pages 1-16

    2. Logical Physical Clocks

      • Sandeep S. Kulkarni, Murat Demirbas, Deepak Madappa, Bharadwaj Avva, Marcelo Leone
      Pages 17-32

    3. Be General and Don’t Give Up Consistency in Geo-Replicated Transactional Systems

      • Alexandru Turcu, Sebastiano Peluso, Roberto Palmieri, Binoy Ravindran
      Pages 33-48

  3. Distributed Graph Algorithms

    1. Distributed Local Approximation of the Minimum k-Tuple Dominating Set in Planar Graphs

      • Andrzej Czygrinow, Michal Hanćkowiak, Edyta Szymańska, Wojciech Wawrzyniak, Marcin Witkowski
      Pages 49-59

    2. Time Lower Bounds for Distributed Distance Oracles

      • Taisuke Izumi, Roger Wattenhofer
      Pages 60-75

  4. Fault Tolerance

    1. Erasure-Coded Byzantine Storage with Separate Metadata

      • Elli Androulaki, Christian Cachin, Dan Dobre, Marko Vukolić
      Pages 76-90

    2. BChain: Byzantine Replication with High Throughput and Embedded Reconfiguration

      • Sisi Duan, Hein Meling, Sean Peisert, Haibin Zhang
      Pages 91-106

    3. RoBuSt: A Crash-Failure-Resistant Distributed Storage System

      • Martina Eikel, Christian Scheideler, Alexander Setzer
      Pages 107-122

    4. Checkpointing in Parallel State-Machine Replication

      • Odorico M. Mendizabal, Parisa Jalili Marandi, Fernando Luís Dotti, Fernando Pedone
      Pages 123-138

  5. Models

    1. Strong Equivalence Relations for Iterated Models

      • Zohir Bouzid, Eli Gafni, Petr Kuznetsov
      Pages 139-154

    2. The Opinion Number of Set-Agreement

      • Pierre Fraigniaud, Sergio Rajsbaum, Matthieu Roy, Corentin Travers
      Pages 155-170

    3. On the Importance of Registers for Computability

      • Rati Gelashvili, Mohsen Ghaffari, Jerry Li, Nir Shavit
      Pages 171-185

  6. Radio Networks

    1. Scalable Wake-up of Multi-channel Single-Hop Radio Networks

      • Bogdan S. Chlebus, Gianluca De Marco, Dariusz R. Kowalski
      Pages 186-201

    2. A Disruption-Resistant MAC Layer for Multichannel Wireless Networks

      • Henry Tan, Chris Wacek, Calvin Newport, Micah Sherr
      Pages 202-216

  7. Robots

    1. Distributed Computing by Mobile Robots: Solving the Uniform Circle Formation Problem

      • Paola Flocchini, Giuseppe Prencipe, Nicola Santoro, Giovanni Viglietta
      Pages 217-232

    2. Approximation Algorithms for the Set Cover Formation by Oblivious Mobile Robots

      • Tomoko Izumi, Sayaka Kamei, Yukiko Yamauchi
      Pages 233-247

    3. Fast Collisionless Pattern Formation by Anonymous, Position-Aware Robots

      • Tamás Lukovszki, Friedhelm Meyer auf der Heide
      Pages 248-262

    4. Tradeoffs between Cost and Information for Rendezvous and Treasure Hunt

      • Avery Miller, Andrzej Pelc
      Pages 263-276

  8. Self-Stabilization

    1. Maintaining a Spanning Forest in Highly Dynamic Networks: The Synchronous Case

      • Matthieu Barjon, Arnaud Casteigts, Serge Chaumette, Colette Johnen, Yessin M. Neggaz
      Pages 277-292
Back to top

Other volumes

  1. Principles of Distributed Systems

Keywords

About this book

This book constitutes the refereed proceedings of the 18th International Conference on Principles of Distributed Systems, OPODIS 2014, Cortina d'Ampezzo, Italy, in December 2014. The 32 papers presented together with two invited talks were carefully reviewed and selected from 98 submissions. The papers are organized in topical sections on consistency; distributed graph algorithms; fault tolerance; models; radio networks; robots; self-stabilization; shared data structures; shared memory; synchronization and universal construction.

Editors and Affiliations

  • Microsoft Research Silicon Valley, Mountain View, USA

    Marcos K. Aguilera

  • DIAG, Sapienza University of Rome, Roma, Italy

    Leonardo Querzoni

  • UPMC Univ Paris 06, LIP6, Inria Paris-Rocquencourt and Sorbonne Universités, Paris, France

    Marc Shapiro

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation