Français Anglais
Accueil Annuaire Plan du site
Accueil > Equipes > Activités de recherche > Algorithmique répartie
Equipes
Algorithmique répartie
Un algorithme réparti est un algorithme qui fait intervenir plusieurs sites. Chaque site calcule et communique. L'algorithmique répartie regroupe l'étude et la conception d'algorithmes répartis, des modèles d'algorithmes répartis, de leur existence pour des problèmes connus et de leur propriétés.

Mots-clés:
  - Autostabilisation
  - Réseaux de capteurs

Equipes
  Parallélisme

Equipes-projets Inria communes


Resultats majeurs
  Distributed Reasoning in a Peer-to-Peer Setting: Application to the Semantic Web
  SomeRDFS in the Semantic Web
  Distributed tree decomposition with privacy

Contrats
  MEDIAD
  SOGEA
  SR2I

Logiciels et brevets
  MPICH-V
  SomeWhere+

Collaborations


Membres
  HERAULT Thomas
  JOHNEN Colette
  TIXEUIL Sébastien
  MESSIKA Stéphane
  PERES Olivier
  CLEMENT Julien
  MALECOT Paul
  DEVISMES Stéphane
  PEYRONNET Sylvain
  ARMANT Vincent
  MEKHALDI Fouzi

Thèses et habilitations
  Auto-stabilisation: Modèle et apllications à l'exclusion mutuelle
  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
  Algorithmes distribués pour la sécurité et la qualité de service dans les réseaux ad hoc mobiles
  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
° Calcul à haute performance
° 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
° 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
° Intégration de données et de connaissances
° Interaction Homme-Machine
° Langages et systèmes centrés données
° Méthodes de conception générative
° Modélisation et systèmes à grande échelle