Algorithmique distribuée

Diplômes intégrant cet élément pédagogique :

Descriptif

Ce module a 3 objectifs principaux :

1) Savoir écrire des algorithmes distribués tolérant aux fautes : être capable de spécifier formellement un problème et à partir d'un ensemble d'hypothèse sur le système (topologie, pannes etc) être capable d'écrire un algorithme distribué réalisant la spécification.

2) Savoir prouver et analyser la complexité d'algorithmes distribués tolérant aux fautes.

3) Savoir déployer sur un simulateur les algorithmes vus en cours et TD. Pour cela, nous utiliserons le simulateur évènementiel SINALGO.

Pré-requis

Aucun

Bibliographie

G. Tel. Introduction to distributed algorithms. Cambridge University. 2000
N. Lynch. Distributed Algorithms. Morgan Kaufmann. 1997

Informations complémentaires

Lieu(x) : Grenoble - Saint-Martin d'Hères
Langue(s) : Français