Principles of Distributed Systems: 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings

by Roberto Baldoni (Editor)

Tutorial Paxos Explained from Scratch.- On Two-Party Communication through Dynamic Networks.- Eventual Leader Election in Evolving Mobile Networks.- Self-stabilizing Leader Election in Population Protocols over Arbitrary Communication Graphs.- α -Register.- How (Not) to Shoot in Your Foot with SDN Local Fast A Load-Connectivity Tradeoff.- Message Passing or Shared Evaluating the Delegation Abstraction for Multicores.- Reputation-Based Mechanisms for Evolutionary Master-Worker Computing.- State-Driven Testing of Distributed Systems.- Self-stabilizing Resource Discovery Algorithm.- Hybrid Distributed Consensus.- Speculative Concurrent Processing with Transactional Memory in the Actor Model.- An Optimal Broadcast Algorithm for Content-Addressable Networks On Local Fixing.- A Skiplist-Based Concurrent Priority Queue with Minimal Memory Contention.- Multicast and Aggregation with In-Network An Exact Single-Commodity Algorithm.- Mobile Byzantine Agreement on Arbitrary Network.- On Scheduling Algorithms for MapReduce Jobs in Heterogeneous Clouds with Budget Constraints.- Fast and Scalable Queue-Based Resource Allocation Lock on Shared-Memory Multiprocessors.

296 pages, Paperback

First published December 2, 2013