/

Principles of Distributed Systems 14th International Conference, OPODIS 2010, Tozeur, Tunisia, December 14-17, 2010. Proceedings

Lu Chenyang Masuzawa Toshimitsu Mosbah Mohamed
Heftet / 2010 / Engelsk

Produktdetaljer

ISBN
9783642176524
Publisert
2010-12-02
Utgiver
Vendor
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Aldersnivå
Research, P, 06
Språk
Product language
Engelsk
Format
Product format
Heftet

Redaktør
Lu Chenyang
Masuzawa Toshimitsu
Mosbah Mohamed

Principles of Distributed Systems 14th International Conference, OPODIS 2010, Tozeur, Tunisia, December 14-17, 2010. Proceedings

Lu Chenyang Masuzawa Toshimitsu Mosbah Mohamed
Heftet / 2010 / Engelsk
Lu Chenyang Masuzawa Toshimitsu Mosbah Mohamed
Heftet / 2010 / Engelsk
Nettpris:
686,-
Levering 7-20 dager
Sjekk lagerstatus i butikk
The 14th International Conference on Principles of Distributed Systems (OPODIS 2010) took place during December 14–17, 2010 in Tozeur, Tunisia. It continued a tradition of successful conferences; Chantilly (1997), Amiens (1998), Hanoi (1999), Paris (2000), Mexico (2001), Reims (2002), La Martinique (2003), Gre- ble (2004), Pisa (2005), Bordeaux (2006), Guadeloupe (2007), Luxor (2008) and Nˆ?mes (2009). The OPODIS conference constitutes an open forum for the exchange of sta- of-the-art knowledge on distributed computing and systems among researchers from around the world. Following the tradition of the previous events, the p- gram was composed of high-quality contributed papers. The program call for papers looked for original and signi?cant research contributions to the theory, speci?cation, design and implementation of distributed systems, including: – Communication and synchronization protocols – Distributed algorithms, multiprocessor algorithms – Distributed cooperative computing – Embedded systems – Fault-tolerance, reliability, availability – Grid and cluster computing – Location- and context-aware systems – Mobile agents and autonomous robots – Mobile computing and networks – Peer-to-peer systems, overlay networks – Complexity and lower bounds – Performance analysis of distributed systems – Real-time systems – Security issues in distributed computing and systems – Sensor networks: theory and practice – Speci?cation and veri?cation of distributed systems – Testing and experimentation with distributed systems In response to this call for papers, 122 papers were submitted. Each paper was reviewed by at least three reviewers, and judged according to scienti?c and p- sentation quality, originality and relevance to theconference topics.
Les mer
Constitutes the refereed proceedings of the 14th International Conference on Principles of Distributed Systems, OPODIS 2010, held in Tozeur, Tunisia, in December 2010.
Robots.- Pattern Formation through Optimum Matching by Oblivious CORDA Robots.- RoboCast: Asynchronous Communication in Robot Networks.- Randomization in Distributed Algorithms.- Biased Selection for Building Small-World Networks.- Application of Random Walks to Decentralized Recommender Systems.- Uniform and Ergodic Sampling in Unstructured Peer-to-Peer Systems with Malicious Nodes.- Brief Announcements I.- Self-stabilizing (k,r)-Clustering in Wireless Ad-hoc Networks with Multiple Paths.- Self-stabilizing Byzantine Asynchronous Unison,.- Graph Algorithms.- Reliably Detecting Connectivity Using Local Graph Traits.- Distributed Game-Theoretic Vertex Coloring.- Constructing a Map of an Anonymous Graph: Applications of Universal Sequences.- Brief Announcements II.- Effect of Fairness in Model Checking of Self-stabilizing Programs.- A Formal Framework for Conformance Testing of Distributed Real-Time Systems.- Fault-Tolerance.- Signature-Free Broadcast-Based Intrusion Tolerance: Never Decide a Byzantine Value.- A Fault Avoidance Strategy Improving the Reliability of the EGI Production Grid Infrastructure.- Failure Detectors Encapsulate Fairness.- -Based k-Set Agreement Algorithms.- Distributed Programming.- Distributed Programming with Tasks.- SkewCCC+: A Heterogeneous Distributed Hash Table.- On the Automated Implementation of Time-Based Paxos Using the IOA Compiler.- Real-Time.- Partitioning Real-Time Systems on Multiprocessors with Shared Resources.- On Best-Effort Utility Accrual Real-Time Scheduling on Multiprocessors.- Tardiness Bounds for Global EDF with Deadlines Different from Periods.- Shared Memory.- Cache-Aware Lock-Free Queues for Multiple Producers/Consumers and Weak Memory Consistency.- An Adaptive Technique for Constructing Robust and High-Throughput Shared Objects.- Efficient Lock Free Privatization.- A Competitive Analysis for Balanced Transactional Memory Workloads.- Concurrency.- Fast Local-Spin Abortable Mutual Exclusion with Bounded Space.- Turning Adversaries into Friends: Simplified, Made Constructive, and Extended.- Quasi-Linearizability: Relaxed Consistency for Improved Concurrency.- A Token-Based Distributed Algorithm for the Generalized Resource Allocation Problem.- On the Message Complexity of Global Computations.- Optimizing Regenerator Cost in Traffic Grooming.- On Minimizing Average End-to-End Delay in P2P Live Streaming Systems.- Monotonic Stabilization.- Upper and Lower Bounds of Space Complexity of Self-Stabilizing Leader Election in Mediated Population Protocol.- Improving Space Complexity of Self-stabilizing Counting on Mobile Sensor Networks.
Les mer
unique visibility, state-of-the-art survey, fast-track conference proceedings
GPSR Compliance The European Union's (EU) General Product Safety Regulation (GPSR) is a set of rules that requires consumer products to be safe and our obligations to ensure this. If you have any concerns about our products you can contact us on ProductSafety@springernature.com. In case Publisher is established outside the EU, the EU authorized representative is: Springer Nature Customer Service Center GmbH Europaplatz 3 69115 Heidelberg, Germany ProductSafety@springernature.com
Les mer

Relaterte produkter

The 14th International Conference on Principles of Distributed Systems (OPODIS 2010) took place during December 14–17, 2010 in Tozeur, Tunisia. It continued a tradition of successful conferences; Chantilly (1997), Amiens (1998), Hanoi (1999), Paris (2000), Mexico (2001), Reims (2002), La Martinique (2003), Gre- ble (2004), Pisa (2005), Bordeaux (2006), Guadeloupe (2007), Luxor (2008) and Nˆ?mes (2009). The OPODIS conference constitutes an open forum for the exchange of sta- of-the-art knowledge on distributed computing and systems among researchers from around the world. Following the tradition of the previous events, the p- gram was composed of high-quality contributed papers. The program call for papers looked for original and signi?cant research contributions to the theory, speci?cation, design and implementation of distributed systems, including: – Communication and synchronization protocols – Distributed algorithms, multiprocessor algorithms – Distributed cooperative computing – Embedded systems – Fault-tolerance, reliability, availability – Grid and cluster computing – Location- and context-aware systems – Mobile agents and autonomous robots – Mobile computing and networks – Peer-to-peer systems, overlay networks – Complexity and lower bounds – Performance analysis of distributed systems – Real-time systems – Security issues in distributed computing and systems – Sensor networks: theory and practice – Speci?cation and veri?cation of distributed systems – Testing and experimentation with distributed systems In response to this call for papers, 122 papers were submitted. Each paper was reviewed by at least three reviewers, and judged according to scienti?c and p- sentation quality, originality and relevance to theconference topics.
Les mer
Constitutes the refereed proceedings of the 14th International Conference on Principles of Distributed Systems, OPODIS 2010, held in Tozeur, Tunisia, in December 2010.
Robots.- Pattern Formation through Optimum Matching by Oblivious CORDA Robots.- RoboCast: Asynchronous Communication in Robot Networks.- Randomization in Distributed Algorithms.- Biased Selection for Building Small-World Networks.- Application of Random Walks to Decentralized Recommender Systems.- Uniform and Ergodic Sampling in Unstructured Peer-to-Peer Systems with Malicious Nodes.- Brief Announcements I.- Self-stabilizing (k,r)-Clustering in Wireless Ad-hoc Networks with Multiple Paths.- Self-stabilizing Byzantine Asynchronous Unison,.- Graph Algorithms.- Reliably Detecting Connectivity Using Local Graph Traits.- Distributed Game-Theoretic Vertex Coloring.- Constructing a Map of an Anonymous Graph: Applications of Universal Sequences.- Brief Announcements II.- Effect of Fairness in Model Checking of Self-stabilizing Programs.- A Formal Framework for Conformance Testing of Distributed Real-Time Systems.- Fault-Tolerance.- Signature-Free Broadcast-Based Intrusion Tolerance: Never Decide a Byzantine Value.- A Fault Avoidance Strategy Improving the Reliability of the EGI Production Grid Infrastructure.- Failure Detectors Encapsulate Fairness.- -Based k-Set Agreement Algorithms.- Distributed Programming.- Distributed Programming with Tasks.- SkewCCC+: A Heterogeneous Distributed Hash Table.- On the Automated Implementation of Time-Based Paxos Using the IOA Compiler.- Real-Time.- Partitioning Real-Time Systems on Multiprocessors with Shared Resources.- On Best-Effort Utility Accrual Real-Time Scheduling on Multiprocessors.- Tardiness Bounds for Global EDF with Deadlines Different from Periods.- Shared Memory.- Cache-Aware Lock-Free Queues for Multiple Producers/Consumers and Weak Memory Consistency.- An Adaptive Technique for Constructing Robust and High-Throughput Shared Objects.- Efficient Lock Free Privatization.- A Competitive Analysis for Balanced Transactional Memory Workloads.- Concurrency.- Fast Local-Spin Abortable Mutual Exclusion with Bounded Space.- Turning Adversaries into Friends: Simplified, Made Constructive, and Extended.- Quasi-Linearizability: Relaxed Consistency for Improved Concurrency.- A Token-Based Distributed Algorithm for the Generalized Resource Allocation Problem.- On the Message Complexity of Global Computations.- Optimizing Regenerator Cost in Traffic Grooming.- On Minimizing Average End-to-End Delay in P2P Live Streaming Systems.- Monotonic Stabilization.- Upper and Lower Bounds of Space Complexity of Self-Stabilizing Leader Election in Mediated Population Protocol.- Improving Space Complexity of Self-stabilizing Counting on Mobile Sensor Networks.
Les mer
unique visibility, state-of-the-art survey, fast-track conference proceedings
GPSR Compliance The European Union's (EU) General Product Safety Regulation (GPSR) is a set of rules that requires consumer products to be safe and our obligations to ensure this. If you have any concerns about our products you can contact us on ProductSafety@springernature.com. In case Publisher is established outside the EU, the EU authorized representative is: Springer Nature Customer Service Center GmbH Europaplatz 3 69115 Heidelberg, Germany ProductSafety@springernature.com
Les mer

Produktdetaljer

ISBN
9783642176524
Publisert
2010-12-02
Utgiver
Vendor
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Aldersnivå
Research, P, 06
Språk
Product language
Engelsk
Format
Product format
Heftet

Redaktør
Lu Chenyang
Masuzawa Toshimitsu
Mosbah Mohamed

Relaterte produkter