Enseignant : Sylvie Delaët, Petr Kuztnetsov, Janna Burman

Cours :

Le principal objectif d’appréhender les concepts de l’algorithmique
réparti. Pour permettre à chacun de comprendre l’intérêt et les
problèmes rencontrés pour l’étude et la conception d’algorithmes répartis.

Un effort particulier sera demandé sur la spécification des problèmes,
la formalisation des preuves et le défi intellectuel que représente le
fait de concevoir soit même des algorithmes répartis.

Thèmes abordés :
Mémoires transactionnelles
Auto-stabilisation
Tolérance aux défaillances, consensus.

TD : 6 heures de TD, 15 heures de cours.

Prérequis : Connaissance de base en mathématiques, connaissance de
l’algorithmique classique y compris des calculs de complexité.