Equipe-projet CAMUS Compilation pour les Architectures MUlti-processeurs et multi-coeurS L'équipe CAMUS s'attache à développer, adapter et étendre des techniques de parallélisation et d...
Equipe-projet CASH Compilation et Analyse, Logiciel et Matériel L'avènement du parallélisme dans les ordinateurs et les supercalculateurs amène de nouveaux besoins...
Equipe-projet OPIS OPtimisation Imagerie et Santé L'objectif du projet OPIS est de concevoir des méthodes d'optimisation avancées pour l'analyse et le...
Equipe-projet CAMBIUM Langages de programmation : systèmes de types, concurrence, preuve de programme Les travaux de l'équipe visent à améliorer la fiabilité, la sûreté et la sécurité du logiciel en...
Equipe-projet PIXEL Structurer des formes géométriques PIXEL est une équipe de recherche en traitement numérique de la géométrie. Plus spécifiquement, nous...
Equipe-projet AIO Mise en réseau fiable, sans fil à faible consommation et micro-robotique Inria-AIO is a leading research team in low-power wireless communications. The team is designing...
Equipe-projet CRONOS Modélisation des résaux dynamiques cérébraux L'estimation, la quantification et comparaison de la dynamique cérébrale est un des défis centraux...
Equipe-projet MACBES Modélisation et commande de systèmes biologiques et écologiques Macbes est l'une des deux équipes-projets faisant suite à l'équipe-projet Biocore. Macbes est une...
Equipe-projet WILLOW Vision par ordinateur incarnée Nos recherches portent sur les problèmes de représentation dans le domaine de la reconnaissance...
Equipe-projet KERDATA Scalable Storage for Clouds and Beyond Stockage et traitement de données pour infrastructures distribuées à très grande échelle Les...
Equipe-projet VERIDIS Modeling and Verification of Distributed Algorithms and Systems L'équipe projet VeriDis est commune au centre de recherche Inria Nancy–Grand Est, le Max-Planck...