Skip to main content
SpringerLink
Log in

Principles of Distributed Systems

17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings

  • Conference proceedings
  • © 2013

Overview

Editors:
  1. Roberto Baldoni

    1. Dipartimento di Ingegneria Informatica, Automatica e Gestionale ”Antonio Ruberti”, Sapienza Research Center of Cyber Intelligence and Information Security and Università degli Studi di Roma ”La Sapienza”, Rome, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Nicolas Nisse

    1. CNRS, 13S, UMR 7271, Inria France and Université Nice Sophia Antipolis, Sophia Antipolis, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Maarten Steen

    1. Department of Computer Science, Vrije Universiteit Amsterdam, Amsterdam, The Netherlands

    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 8304)

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

Included in the following conference series:

Conference proceedings info: OPODIS 2013.

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 (19 papers)

  1. Front Matter

    Download chapter PDF

  2. Tutorial Summary: Paxos Explained from Scratch

    • Hein Meling, Leander Jehl
    Pages 1-10

  3. On Two-Party Communication through Dynamic Networks

    • Sebastian Abshoff, Markus Benter, Manuel Malatyali, Friedhelm Meyer auf der Heide
    Pages 11-22

  4. Eventual Leader Election in Evolving Mobile Networks

    • Luciana Arantes, Fabíola Greve, Pierre Sens, Véronique Simon
    Pages 23-37

  5. Self-stabilizing Leader Election in Population Protocols over Arbitrary Communication Graphs

    • Joffroy Beauquier, Peva Blanchard, Janna Burman
    Pages 38-52

  6. α-Register

    • David Bonnin, Corentin Travers
    Pages 53-67

  7. How (Not) to Shoot in Your Foot with SDN Local Fast Failover

    • Michael Borokhovich, Stefan Schmid
    Pages 68-82

  8. Message Passing or Shared Memory: Evaluating the Delegation Abstraction for Multicores

    • Irina Calciu, Dave Dice, Tim Harris, Maurice Herlihy, Alex Kogan, Virendra Marathe et al.
    Pages 83-97

  9. Reputation-Based Mechanisms for Evolutionary Master-Worker Computing

    • Evgenia Christoforou, Antonio Fernández Anta, Chryssis Georgiou, Miguel A. Mosteiro, Angel (Anxo) Sánchez
    Pages 98-113

  10. State-Driven Testing of Distributed Systems

    • Domenico Cotroneo, Roberto Natella, Stefano Russo, Fabio Scippacercola
    Pages 114-128

  11. Self-stabilizing Resource Discovery Algorithm

    • Seda Davtyan, Kishori M. Konwar, Alexander A. Shvartsman
    Pages 129-144

  12. Hybrid Distributed Consensus

    • Roy Friedman, Gabriel Kliot, Alex Kogan
    Pages 145-159

  13. Speculative Concurrent Processing with Transactional Memory in the Actor Model

    • Yaroslav Hayduk, Anita Sobe, Derin Harmanci, Patrick Marlier, Pascal Felber
    Pages 160-175

  14. An Optimal Broadcast Algorithm for Content-Addressable Networks

    • Ludovic Henrio, Fabrice Huet, Justine Rochas
    Pages 176-190

  15. On Local Fixing

    • Michael König, Roger Wattenhofer
    Pages 191-205

  16. A Skiplist-Based Concurrent Priority Queue with Minimal Memory Contention

    • Jonatan Lindén, Bengt Jonsson
    Pages 206-220

  17. VirtuCast: Multicast and Aggregation with In-Network Processing

    • Matthias Rost, Stefan Schmid
    Pages 221-235

  18. Mobile Byzantine Agreement on Arbitrary Network

    • Toru Sasaki, Yukiko Yamauchi, Shuji Kijima, Masafumi Yamashita
    Pages 236-250

  19. On Scheduling Algorithms for MapReduce Jobs in Heterogeneous Clouds with Budget Constraints

    • Yang Wang, Wei Shi
    Pages 251-265

  20. Fast and Scalable Queue-Based Resource Allocation Lock on Shared-Memory Multiprocessors

    • Deli Zhang, Brendan Lynch, Damian Dechev
    Pages 266-280
Back to top

Other volumes

  1. Principles of Distributed Systems

Keywords

About this book

This book constitutes the refereed proceedings of the 17th International Conference on Principles of Distributed Systems, OPODIS 2013, held in Nice, France, in December 2013. The 19 papers presented together with two invited talks were carefully reviewed and selected from 41 submissions. The conference is an international forum for the exchange of state-of-the-art knowledge on distributed computing and systems. Papers were sought soliciting original research contributions to the theory, specification, design and implementation of distributed systems.

Editors and Affiliations

  • Dipartimento di Ingegneria Informatica, Automatica e Gestionale ”Antonio Ruberti”, Sapienza Research Center of Cyber Intelligence and Information Security and Università degli Studi di Roma ”La Sapienza”, Rome, Italy

    Roberto Baldoni

  • CNRS, 13S, UMR 7271, Inria France and Université Nice Sophia Antipolis, Sophia Antipolis, France

    Nicolas Nisse

  • Department of Computer Science, Vrije Universiteit Amsterdam, Amsterdam, The Netherlands

    Maarten Steen

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation