14. OPODIS 2010: Tozeur, Tunisia

Chenyang Lu, Toshimitsu Masuzawa, Mohamed Mosbah (Eds.): Principles of Distributed Systems - 14th International Conference, OPODIS 2010, Tozeur, Tunisia, December 14-17, 2010. Proceedings. Lecture Notes in Computer Science 6490 Springer 2010, ISBN 978-3-642-17652-4

Robots

Nao Fujinaga, Hirotaka Ono, Shuji Kijima, Masafumi Yamashita:
Pattern Formation through Optimum Matching by Oblivious CORDA Robots. 1-15
Zohir Bouzid, Shlomi Dolev, Maria Potop-Butucaru, Sébastien Tixeuil:
RoboCast: Asynchronous Communication in Robot Networks. 16-31

Andrés Sevilla, Alberto Mozo, M. Araceli Lorenzo, José Luis López-Presa, Pilar Manzano, Antonio Fernández Anta:
Biased Selection for Building Small-World Networks. 32-47
Anne-Marie Kermarrec, Vincent Leroy, Afshin Moin, Christopher Thraves:
Application of Random Walks to Decentralized Recommender Systems. 48-63
Emmanuelle Anceaume, Yann Busnel, Sébastien Gambs:
Uniform and Ergodic Sampling in Unstructured Peer-to-Peer Systems with Malicious Nodes. 64-78

Andreas Larsson, Philippas Tsigas:
Self-stabilizing (k, r)-Clustering in Wireless Ad-hoc Networks with Multiple Paths. 79-82
Swan Dubois, Maria Gradinariu Potop-Butucaru, Mikhail Nesterenko, Sébastien Tixeuil:
Self-stabilizing Byzantine Asynchronous Unison^,. 83-86

Alejandro Cornejo, Nancy A. Lynch:
Reliably Detecting Connectivity Using Local Graph Traits. 87-102
Ioannis Chatzigiannakis, Christos Koninis, Panagiota N. Panagopoulou, Paul G. Spirakis:
Distributed Game-Theoretic Vertex Coloring. 103-118
Jérémie Chalopin, Shantanu Das, Adrian Kosowski:
Constructing a Map of an Anonymous Graph: Applications of Universal Sequences. 119-134

Jingshu Chen, Fuad Abujarad, Sandeep S. Kulkarni:
Effect of Fairness in Model Checking of Self-stabilizing Programs. 135-138
Moez Krichen:
A Formal Framework for Conformance Testing of Distributed Real-Time Systems. 139-142

Achour Mostéfaoui, Michel Raynal:
Signature-Free Broadcast-Based Intrusion Tolerance: Never Decide a Byzantine Value. 143-158
Francesco Palmieri, Silvio Pardi, Paolo Veronesi:
A Fault Avoidance Strategy Improving the Reliability of the EGI Production Grid Infrastructure. 159-172
Scott M. Pike, Srikanth Sastry, Jennifer L. Welch:
Failure Detectors Encapsulate Fairness. 173-188
Zohir Bouzid, Corentin Travers:
(anti-Omega^x ×Sigma_z)-Based k-Set Agreement Algorithms. 189-204

Eli Gafni, Sergio Rajsbaum:
Distributed Programming with Tasks. 205-218
Marcin Bienkowski, André Brinkmann, Marek Klonowski, Miroslaw Korzeniowski:
SkewCCC+: A Heterogeneous Distributed Hash Table. 219-234
Chryssis Georgiou, Procopis Hadjiprocopiou, Peter M. Musial:
On the Automated Implementation of Time-Based Paxos Using the IOA Compiler. 235-252

Farhang Nemati, Thomas Nolte, Moris Behnam:
Partitioning Real-Time Systems on Multiprocessors with Shared Resources. 253-269
Piyush Garyali, Matthew Dellinger, Binoy Ravindran:
On Best-Effort Utility Accrual Real-Time Scheduling on Multiprocessors. 270-285
Jeremy Erickson, Nan Guan, Sanjoy K. Baruah:
Tardiness Bounds for Global EDF with Deadlines Different from Periods. 286-301

Anders Gidenstam, Håkan Sundell, Philippas Tsigas:
Cache-Aware Lock-Free Queues for Multiple Producers/Consumers and Weak Memory Consistency. 302-317
Danny Hendler, Shay Kutten, Erez Michalak:
An Adaptive Technique for Constructing Robust and High-Throughput Shared Objects. 318-332
Yehuda Afek, Hillel Avni, David Dice, Nir Shavit:
Efficient Lock Free Privatization. 333-347
Gokarna Sharma, Costas Busch:
A Competitive Analysis for Balanced Transactional Memory Workloads. 348-363

Hyonho Lee:
Fast Local-Spin Abortable Mutual Exclusion with Bounded Space. 364-379
Eli Gafni, Petr Kuznetsov:
Turning Adversaries into Friends: Simplified, Made Constructive, and Extended. 380-394
Yehuda Afek, Guy Korland, Eitan Yanovsky:
Quasi-Linearizability: Relaxed Consistency for Improved Concurrency. 395-410
Hirotsugu Kakugawa, Sayaka Kamei:
A Token-Based Distributed Algorithm for the Generalized Resource Allocation Problem. 411-426
Doron Nussbaum, Nicola Santoro:
On the Message Complexity of Global Computations. 427-442
Michele Flammini, Gianpiero Monaco, Luca Moscardelli, Mordechai Shalom, Shmuel Zaks:
Optimizing Regenerator Cost in Traffic Grooming - (Extended Abstract). 443-458
Fei Huang, Maleq Khan, Binoy Ravindran:
On Minimizing Average End-to-End Delay in P2P Live Streaming Systems. 459-474
Yukiko Yamauchi, Sébastien Tixeuil:
Monotonic Stabilization. 475-490
Ryu Mizoguchi, Hirotaka Ono, Shuji Kijima, Masafumi Yamashita:
Upper and Lower Bounds of Space Complexity of Self-Stabilizing Leader Election in Mediated Population Protocol. 491-503
Keigo Kinpara, Tomoko Izumi, Taisuke Izumi, Koichi Wada:
Improving Space Complexity of Self-stabilizing Counting on Mobile Sensor Networks. 504-515

Last update Thu May 24 04:39:13 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page