LEADER 04715nam 22008295 450 001 996465658303316 005 20230329153650.0 010 $a3-319-03850-8 024 7 $a10.1007/978-3-319-03850-6 035 $a(CKB)3710000000078792 035 $a(DE-He213)978-3-319-03850-6 035 $a(SSID)ssj0001091701 035 $a(PQKBManifestationID)11611418 035 $a(PQKBTitleCode)TC0001091701 035 $a(PQKBWorkID)11029741 035 $a(PQKB)11254839 035 $a(MiAaPQ)EBC3093178 035 $a(PPN)176108599 035 $a(EXLCZ)993710000000078792 100 $a20131212d2013 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aPrinciples of Distributed Systems$b[electronic resource] $e17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings /$fedited by Roberto Baldoni, Nicolas Nisse, Maarten van Steen 205 $a1st ed. 2013. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2013. 215 $a1 online resource (XIV, 281 p. 62 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8304 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-319-03849-4 327 $aTutorial 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. 330 $aThis 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. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8304 606 $aComputer networks 606 $aAlgorithms 606 $aComputer science?Mathematics 606 $aDiscrete mathematics 606 $aSoftware engineering 606 $aArtificial intelligence 606 $aComputer science 606 $aComputer Communication Networks 606 $aAlgorithms 606 $aDiscrete Mathematics in Computer Science 606 $aSoftware Engineering 606 $aArtificial Intelligence 606 $aTheory of Computation 615 0$aComputer networks. 615 0$aAlgorithms. 615 0$aComputer science?Mathematics. 615 0$aDiscrete mathematics. 615 0$aSoftware engineering. 615 0$aArtificial intelligence. 615 0$aComputer science. 615 14$aComputer Communication Networks. 615 24$aAlgorithms. 615 24$aDiscrete Mathematics in Computer Science. 615 24$aSoftware Engineering. 615 24$aArtificial Intelligence. 615 24$aTheory of Computation. 676 $a004.36 702 $aBaldoni$b Roberto$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aNisse$b Nicolas$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $avan Steen$b Maarten$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465658303316 996 $aPrinciples of Distributed Systems$9772112 997 $aUNISA