Inria
  • Création EP
  • Référentiel Structures
  • Fiches Equipes
  • Fiches Projets
Home

BASTRI - Fiches Equipes

Base des structures de recherche Inria

  • Flux RSS
    • Vie des structures de recherche Inria
    • CRI BSO : vie des structures de recherche
    • CRI GRA : vie des structures de recherche
    • CRI LNE : vie des structures de recherche
    • CRI LYS : vie des structures de recherche
    • CRI NGE : vie des structures de recherche
    • CRI PRO : vie des structures de recherche
    • CRI RBA : vie des structures de recherche
    • CRI SAM : vie des structures de recherche
    • CRI SGE : vie des structures de recherche
    • CRI SIF : vie des structures de recherche
  • Equipes-projet, Equipes
    • Toutes les Equipes-projet, Equipes
    • Vue par centre
    • Vue par domaine/thème
    • Vue par Défi
  • Défis / Actions Exploratoires (AEx)
    • Défis en cours
    • Défis terminés
    • Actions Exploratoires en cours
    • Actions Exploratoires terminées
  • Exports Excel
    • Export Excel de toutes les structures
    • Export Excel des structures terminées
    • Export Excel des structures actives
Accessibilité : Non Conforme
Contact : web-dgds[at]inria.fr / En cas de bug : Support informatique de la DSI
v5.4.10

Equipes de recherche de HAC SPECIS (IPL)
Equipes actives uniquement  

Merci de patienter ...

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z    

8 résultats

  • A
  • AVALON (SR0657BR) - Algorithms and Software Architectures for Distributed and HPC Platforms
  • H
  • HIEPACS (SR0431WR) - Algorithmes parallèles Hautement Scalables pour les Simulations Numériques frontières
  • M
  • MEXICO (SR0468FR) - Modeling and Exploitation of Interaction and Concurrency
  • MYRIADS (SR0503GR) - Conception et mise en oeuvre de systèmes distribués autonomes
  • P
  • POLARIS (SR0717IR) - Performance analysis and optimization of LARge Infrastructures and Systems
  • S
  • STORM (SR0662BR) - STatic Optimizations, Runtime Methods
  • SUMO (SR0671YR) - SUpervision of large MOdular and distributed systems
  • V
  • VERIDIS (SR0524TR) - Modeling and Verification of Distributed Algorithms and Systems