Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Pilard, Laurence - Laboratoire d'informatique PriSM, Université de Versailles St-Quentin-en-Yvelines
A Method for the Veri cation of Distributed and Synchronized Algorithm
Observing locally self-stabilization Jo roy Beauquier
Observing locally self-stabilization in a probabilistic Jo roy Beauquier Laurence Pilard y Brigitte Rozoy z
Mmoire de DEA Une mthode pour la vri cation d'algorithmes rpartis
A Method for the Veri cation of Distributed and Synchronized Algorithm
Observing locally self-stabilization in a probabilistic way
N # d'ordre : 8166 prsente l'Universit Paris XI Orsay
Blocking and nonblocking coordinated checkpointing for large scale MPI computation
A New Self-Stabilizing Maximal Matching Algorithm Fredrik Manne
d'ordre : 8166 prsente l'Universit Paris XI Orsay
A Model for Large Scale Self-Stabilization Thomas Herault, Pierre Lemarinier, Olivier Peres, Laurence Pilard, Joffroy Beauquier
Managing clusters among Distributed Dynamic Environments
Blocking and non-blocking coordinated checkpointing for large scale MPI computation
Temporal Partition in Sensor Networks Ted Herman Sriram Pemmaraju Laurence Pilard Morten Mjelde
Self-Stabilizing Spanning Tree Algorithm for Large Scale Systems
A New Self-Stabilizing Maximal Matching Fredrik Manne1
Model-Checking et Produit Synchronis Frdric Magniette, Laurence Pilard et Brigitte Rozoy
A Self-Stabilizing 2 -Approximation Algorithm for
Cluster Comput DOI 10.1007/s10586-011-0153-z
Blocking vs. Non-Blocking Coordinated Checkpointing for
Self-stabilizing algorithm for energy saving in Wireless Sensor Networks
A Method for the Verification of Distributed and Synchronized Algorithm
