Project-team TADAAM Topology-aware system-scale data management for high-performance computing The goal of the TADaaM project is to design and build a stateful system-wide service layer for HPC...
Project-team TARAN Domain-Specific Computers in the Post Moore’s Law Era Energy efficiency has now become one of the main requirements for virtually all computing platforms...
Project-team TOCCATA Certified Programs, Certified Tools, Certified Floating-Point Computations Toccata is a research group of the INRIA Saclay-Île-de-France researchcenter, joint with the...
Project-team TOPAL Tools and Optimization for high Performance Applications and Learning The aim of the Topal team ( Inria, Université de Bordeaux, Bordeaux INP, LaBRI) is to propose...
Project-team WIDE the World Is Distributed Exploring the tension between scale and coordination As distributed computing systems are being deployed within a growing number of everyday applications...
Project-team WIMMICS Web-Instrumented Man-Machine Interactions, Communities and Semantics The web is no longer the simple documentary system built on a simple protocol (HTTP), a simple...
Project-team ABS Algorithms - Biology - Structure Computational Structural Biology (CSB) is the scientific domainconcerned with the development of...
Project-team ACENTAURI Artificial intelligence and efficient algorithms for autonomus robotics The goal of ACENTAURI is to study and develop intelligent, autonomous and mobile robots that...
Project-team ALMANACH Automatic Language Modelling and Analysis & Computational Humanities The ALMAnaCH project-team (Automatic Language Modelling and Analysis & Computational Humanities) is...
Project-team BIVWAC Building Immersive Visualizations for Welfare, Awareness, and Comprehension Bivwac is an Inria- CNRS joint research team in association with the LaBRI computer science lab at...
Project-team CAPSID Computational Algorithms for Protein Structures and Interactions The Capsid team develops algorithms and software to help study biological systems and phenomena from...
Project-team CONVECS Construction of verified concurrent systems CONVECS is a research team working on the formal modeling and verification of asynchronous...