


default search action
14th OPODIS 2010: Tozeur, Tunisia
- Chenyang Lu

, Toshimitsu Masuzawa, Mohamed Mosbah:
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
Randomization in Distributed Algorithms
- 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
Brief Announcements I
- 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
Graph Algorithms
- 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
Brief Announcements II
- 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
Fault-Tolerance
- 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-Omegax ×Sigmaz)-Based k-Set Agreement Algorithms. 189-204
Distributed Programming
- 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
Real-Time
- 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
Shared Memory
- 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
Concurrency
- 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

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














