Français Anglais
Accueil Annuaire Plan du site
Accueil > Equipes > Activités de recherche > Autostabilisation
Equipes
Autostabilisation
L’Autostabilisation est une propriété des algorithmes répartis cruciale pour leur tolérance aux perturbations transitoires d’un système.
Un algorithme réparti est un dit auto-stabilisant s’il vérifie sa spécification après un temps de stabilisation quelque soit sa configuration initiale.


Equipes
  Parallélisme

Equipes-projets Inria communes


Resultats majeurs


Contrats


Logiciels et brevets


Collaborations


Membres
  HERAULT Thomas
  JOHNEN Colette
  TIXEUIL Sébastien
  MESSIKA Stéphane
  PERES Olivier
  CLEMENT Julien
  DEVISMES Stéphane
  MEKHALDI Fouzi

Thèses et habilitations
  Quelques Contributions à l'auto-stabilisation
  Auto-stabilisation efficace
  Vers l'auto-stabilisation des systèmes à grande échelle
  Auto-stabilisation et partitionnement
  Observer la stabilisation
  Construction de topologies autostabilisante dans les systèmes à grande échelle
  Partitionnement dans les réseaux mobiles Ad-hoc : Conception et évaluation de protocoles auto-stabilisants robustes.


Activités de recherche
° Algorithmes pour les grands volumes de données distribuées
° Algorithmique des systèmes en réseau
° Algorithmique distribuée
° Architectures parallèles
° biologie de synthese
° Biologie des systèmes
° Biologie structurale
° biologie synthetique
° Calcul à haute performance
° Calcul quantique
° Calibration d'algorithmes (sélection, ajustement d'hyper-paramètres)
° Codage réseau
° Collaboration médiatisée
° Combinatoire
° Compilation et optimisation des programmes
° Décision optimale en contexte incertain
° Définition de nouveaux critères
° Démonstration automatique, SMT et applications
° Distributed Design
° Fab lab
° Fabrication Numérique
° Formalisation de langages (de spécification et de programmation) dans les assistants de preuve
° Formalisation et preuves de programmes numériques
° Gestion de données du Web
° Ingénierie des systèmes interactifs