![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
6th OPODIS 2002: Reims, France
- Alain Bui, Hacène Fouchal:
Procedings of the 6th International Conference on Principles of Distributed Systems. OPODIS 2002, Reims, France, December 11-13, 2002. Studia Informatica Universalis 3, Suger, Saint-Denis, rue Catulienne, France 2002, ISBN 2-912590-26-4
Invited Talks
- Tommaso Bolognesi:
What happens? On notions of event in formal methods and elsewhere. OPODIS 2002: 1-3 - Michel Cosnard:
Automatic Parallelization of numerical programss : Application to Solve Linear Dense and Sparse Systemss. OPODIS 2002: 3-5 - Henri Gouraud:
Sun Platform. OPODIS 2002: 5-7 - Leslie Lamport:
Paxos Made Simple, Fast, and Byzantine. OPODIS 2002: 7-9
Session 2: Regular Papers
- Spyros Voulgaris, Maarten van Steen, Aline Baggio, Gerco Ballintijn:
Transparent Data Relocation in Highly Available Distributed Systems. OPODIS 2002: 9-16 - Jukka Ylitalo, Petri Jokela, Jorma Wall:
End-point Identifiers in Secure Multi-homed Mobility. OPODIS 2002: 17-28 - Laura Margarita Rodríguez Peralta, Thierry Villemur, Khalil Drira, José Martín Molina Espinosa:
Managing Dependencies in Dynamic Collaborations using Coordination Diagrams. OPODIS 2002: 29-40
Session 3: Regular Papers
- Roberto Baldoni, C. Sparziani, Sara Tucci Piergiovanni, Daniela Tulone:
An Implementation of Causal Memories using the Writing Semantic. OPODIS 2002: 41-50 - Emmanuelle Anceaume, Eric Mourgaya, Philippe Raipin Parvédy:
Converging toward Decision Conditions. OPODIS 2002: 51-62 - Shilpa Bansod, Jean Mayo:
A Distributed Algorithm for Unstable Global Predicate Evaluation with Approximately Synchronized Clocks. OPODIS 2002: 63-72
Session 4: Short Papers
- Sébastien Salva:
Testing temporal and behavior events on timed systems with timed test purposes. OPODIS 2002: 73-84 - Nicandro Farías Mendoza, Félix F. Ramos Corchado, Victor M. Larios-Rosillo:
LCIASA: A Useful Language for Specification and Verification of Agent-Based Systems. OPODIS 2002: 85-94 - Xavier Rebeuf, G. Satriano, Françoise Simonot-Lion:
A Distributed Algorithm for the Validation of Timed State Machines. OPODIS 2002: 95-106
Session 5: Regular Papers
- Boris Koldehofe:
Simple Gossipping with Balls and Bins. OPODIS 2002: 107-116 - Takashi Harada, Masafumi Yamashita:
k-Coteries for Tolerating Network 2-Partition. OPODIS 2002: 117-124
Session 6: Regular Papers
- Chryssis Georgiou, Alexander Russell, Alexander A. Shvartsman:
Failure sensitive analysis for parallel algorithm with controlled memory access concurrency. OPODIS 2002: 125-136 - Stéphane Vialle, Guillaume Schaeffer, Michel Ianotto:
A Design of Multi-Startegy Parallelization for an Entire Application of Document Categorization on Low-Cost Multiprocessor PCs. OPODIS 2002: 137-148
Session 8: Regular Papers
- Clément Delamare, Yvon Gardan, Patrice Moreaux:
Verification of CORBA systems with composition of Well Formed Nets. OPODIS 2002: 149-158 - Phuong-Quynh Duong, Elizabeth Pérez Cortés, Christine Collet:
Functional Architecture of the NODS Fault Tolerance Framework. OPODIS 2002: 159-168
Session 9: Regular Papers
- Stefan Dobrev, Paola Flocchini, Rastislav Kralovic, Giuseppe Prencipe, Peter Ruzicka, Nicola Santoro:
Black Hole Search by Mobile Agents in Hypercubes and Related Networks. OPODIS 2002: 169-180 - Rolando Francisco Vallejo, Edgar Emmanuel Vallejo, Roberto Gómez Cárdenas:
The Incidence of the Controllable Parameters in Routing Algorithms Based on Ant Colony Optimization. OPODIS 2002: 181-192
Session 10: Short Papers
- Christian Laforest:
A good balance between weight and distances for multipoint trees. OPODIS 2002: 193-202 - Tsuyoshi Okita:
Load Balance Protocol of Cluster on Grid: Pervasive Maximum Algorithmic Parallelism. OPODIS 2002: 203-210 - Vania Marangozova, Daniel Hagimont:
An Architectural Approach to Replication Configuration. OPODIS 2002: 211-222 - Moustafa Nakechbandi, Christian Delaruelle, Jean-Yves Colin:
Bounding the makespan of best pre-schedulings of task graphs with fixed communication delays and random execution times on a virtual distributed system. OPODIS 2002: 223-231
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.