Français Anglais
Accueil Annuaire Plan du site
Accueil > Equipes > Activités de recherche > Optimisation dans les réseaux
Equipes
Optimisation dans les réseaux


Mots-clés:
  - Réseaux temps-réel

Equipes
  Réseaux & Optimisation Combinatoire et Stochastique

Equipes-projets Inria communes


Resultats majeurs


Contrats
  CIFRE 998/2009

Logiciels et brevets
  Traffic unification in wild networks

Collaborations


Membres
  BOUKHATEM Lila
  MARTIN Steven
  YAHIYA Tara
  QUADRI Dominique
  SHRIT Omar
  ZEMA Nicola
  NIZARD David
  DUPIN Nicolas

Thèses et habilitations



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
° 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