TY - BOOK AU - Baldoni,Roberto AU - Nisse,Nicolas AU - Steen,Maarten van TI - Principles of Distributed Systems: 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings SN - 9783319038506 PY - 2013/// CY - Cham PB - Springer International Publishing KW - Computer science KW - Computer communication systems KW - Software engineering KW - Computers KW - Algorithms KW - Mathematics KW - Artificial intelligence N1 - Tutorial Summary: 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 Failover: A Load-Connectivity Tradeoff -- Message Passing or Shared Memory: 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 -- VirtuCast: Multicast and Aggregation with In-Network Processing: 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 UR - http://dx.doi.org/10.1007/978-3-319-03850-6 ER -