Evènement pour le 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. |
Lieu | 178 |
Orateur | Maha Boussabbeh |
Aucun document lié à cet événement.
RetourRetour à l'index