دانلود کتاب Principles of Distributed Systems: 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings

فهرست مطالب :

Front Matter....Pages -
Tutorial Summary: Paxos Explained from Scratch....Pages 1-10
On Two-Party Communication through Dynamic Networks....Pages 11-22
Eventual Leader Election in Evolving Mobile Networks....Pages 23-37
Self-stabilizing Leader Election in Population Protocols over Arbitrary Communication Graphs....Pages 38-52
α -Register....Pages 53-67
How (Not) to Shoot in Your Foot with SDN Local Fast Failover....Pages 68-82
Message Passing or Shared Memory: Evaluating the Delegation Abstraction for Multicores....Pages 83-97
Reputation-Based Mechanisms for Evolutionary Master-Worker Computing....Pages 98-113
State-Driven Testing of Distributed Systems....Pages 114-128
Self-stabilizing Resource Discovery Algorithm....Pages 129-144
Hybrid Distributed Consensus....Pages 145-159
Speculative Concurrent Processing with Transactional Memory in the Actor Model....Pages 160-175
An Optimal Broadcast Algorithm for Content-Addressable Networks....Pages 176-190
On Local Fixing....Pages 191-205
A Skiplist-Based Concurrent Priority Queue with Minimal Memory Contention....Pages 206-220
VirtuCast: Multicast and Aggregation with In-Network Processing....Pages 221-235
Mobile Byzantine Agreement on Arbitrary Network....Pages 236-250
On Scheduling Algorithms for MapReduce Jobs in Heterogeneous Clouds with Budget Constraints....Pages 251-265
Fast and Scalable Queue-Based Resource Allocation Lock on Shared-Memory Multiprocessors....Pages 266-280
Back Matter....Pages -