Algorithmique Répartie Avancée
ara

Cette UE a pour objectif fournir aux etudiants des notions avancées sur les problématiques des algorithmes répartis. Elle comprend les enseigements suivants :

- problème du consensus en repartie
- horloges logiques
- exclusion mutuelle répartie
- allocation de ressources en répartie
- broadcast
- algorithme de routage à large echelle.
- autostabilisation


Supports de Cours :

- Horloges Logiques

- Introduction à SPIN

- Exclusion Mutuelle Répartie

- Allocation Répartie de Ressources


Supports TME spin :

- squelette naimi-tréhél

- squelette naimi-thréhel infini

- squelette Ricart-Agrawalla

 
Documents utiles
Allocation de Ressources en Répartie
Exclusion Mutuelle Répartie
naimi_spin.pml
naimi_infini_spin.pml
ricart_agrawala_spin.pml

Localisation


modifier cet emploi du temps   Cours : 46-00 salle 101  le lundi de 07h 1 à 07h 1,
par Luciana Arantes.

Calendrier

aujourd'hui : <<<>>>  décembre 2005  calendrier par jourcalendrier par semainecalendrier par mois
lundi mardi mercredi jeudi vendredi samedi dimanche