Actualités
  Période
semaine
ou mois
aucune période


  Thèmes:
Thèses
Colloques
Autres
Groupes
Tous les thèmes

   
  Liens:
Voir les thèses

Voir les colloques

Voir les autres événements

Voir la page des groupes

Accéder à l'intranet

Intitulé:   
Refinement-Based Composition for Computing Snapshots in Distributed Anonymous Networks
du groupe Algorithmique Distribuée

Date 2018-02-05  14:00-15:00
Titre Refinement-Based Composition for Computing Snapshots in Distributed Anonymous Networks  
RésuméRecording a global state of a distributed computation is one of the most important paradigm that finds applications in several aspects of a distributed system design. Algorithms recording such global states are called snapshot algorithms. Most of them assume that the network is not anonymous or there exists a distinguished process. We explore the correct-by-construction process to formalize snapshot computations in an anonymous network. Based on recent studies, we investigate existing algorithms to highlight how they can be composed and specified in a top/down approach in order to obtain a global view anonymously. This approach is supported by an incremental process controlled by model refinements.  
Lieu178 
OrateurMaha Boussabbeh  



Aucun document lié à cet événement.

Retour
Retour à l'index