Français Anglais
Accueil Annuaire Plan du site
Accueil > Equipes > Activités de recherche > Calcul à haute performance
Equipes
Calcul à haute performance



Equipes
  Systèmes Parallèles

Equipes-projets Inria communes


Resultats majeurs


Contrats
  R-LAS

Logiciels et brevets
  RBT solver
  MAGMA
  SUNFLUIDH (collaboration LIMSI)

Collaborations


Membres
  EISENBEIS Christine
  BABOULIN Marc
  REMY Adrien
  MASLIAH Ian
  MARTSINKEVICH Tatiana
  LACASSAGNE Lionel
  LIMA PILLA Laércio

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 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
° Méthodes de conception générative