Liste des événements uniques du groupe Preuves d'algorithmes distribués


2010-10-21Fault-tolerance Synchronous Handshake Algorithm for Local Computations.
09:30-10:45
salle 381
I will present a new probabilistic, synchronization algorithm to get a handshake between two neighboring nodes in the graph. This algorithm is designed for an asynchronous distributed network of anonymous processes which use the message exchange as a model for the communication. In this work, I use the Event-B method for the specification and for the proof of correctness. I will present a comparative study between our algorithm and the one proposed by Y. Metivier et al. cite{lc0_yves}. I will show that our proposal presents a considerable improvement of the previous one in terms of the number of sent messages and fault tolerance. I will display the effectiveness of our algorithm by highlighting the importance of its asynchronous aspect on the total performances of the algorithm.
 Plus d'infos  


2010-10-14Cours sur les algorithmes distribués probabilistes (2)
09:30-10:45
salle 381
3ème épisode
 Plus d'infos  


2010-10-07Preuves formelles sur les graphes
09:30-10:45
salle 381
 Plus d'infos  


2010-09-30Cours sur les d'algorithmes distribués probabilistes (2)
09:30-10:45
salle 381
 Plus d'infos  


2010-09-23Preuve d'un algorithme distribué de construction d'arbre recouvrant
09:30-10:45
salle 381
 Plus d'infos  


2010-09-16Algorithmes distribués probabilistes.
09:30-10:45
salle 381
Première d'une série de trois présentations
sur les algorithmes
distribués probabilistes
 Plus d'infos  


2009-02-05Preuves d'un algorithme d'élection dans un arbre
09:30-10:30
075
On présentera les principaux points de
la preuve formelle (en Coq)
d'aun algorithme distribué d'élection dans un arbre.
 Plus d'infos  


2009-01-22réunion commune avec une partie de l'équipe Visu
09:30-10:30
salle 178
 Plus d'infos  




Liste des événements répétitifs du groupe Preuves d'algorithmes distribués




Retour
Retour à l'index