Theme 2:
Software Engineering and Symbolic Computing

Theme 3:
Human-Computer Interaction, Image Processing, Data Management, Knowledge Systems

Theme 4:
Simulation and Optimization of Complex Systems

Development initiatives

INRIA studies and experiments on design methods for such systems, as well as the tools for creating and evaluating them. The covered spectrum goes from very large telecommunication networks to specific integrated circuits.



Projects and pre-projects of the theme

Theme 1A: Parallelism and Architecture
A3 - Advanced Analysis and Code Optimization
APACHE - Parallel Algorithms and Load Balancing
CAPS - Compilers, Parallel Architectures and Systems
COSI - Codesign of Silicon Systems
ReMaP - Regularity and Massive Parallelism
SLOOP - Simulation, Object Oriented Languages and Parallelism
TROPICS - Program Transformations for Scientific Computing

Theme 1B: Networks, Systems, Performance Evaluation
ARMOR - Networks Architectures and Modeling
HIPERCOM - High Performance Communication
MASCOTTE - Algorithms, Simulation, Combinatorics and OpTimization for TElecommunications
MÉVAL - Modelling and Performance Evaluation of Computer Systems
MISTRAL - Modelling in Parallel Systems and Communication Networks
PARIS - Programming pArallel and distRibuted systems for large scale numerical sImulation applicationSs
REFLECS - Distributed Real-time Fault-Tolerant Computing Systems
RÉSÉDAS - Software Environments and Tools for Telecommunication and Distributed Systems
RODEO - High Speed Networks, Open Networks
SIRAC - Distributed Systems for Co-operative Applications
SOLIDOR - Languages and Parallel Systems
SOR - Distributed Object Systems
Theme 1C: Distributed and Real-Time Programming
ADP - Distributed Algorithms and Protocols
EP ATR - Real-Time Environment Project
MEIJE - Concurrency, Synchronization and Real-time Programming
IPv6MIMOSA - Migration and Mobility: Semantics and Applications
MOSCOVA - Mobility, Security, Concurrence, Verification and Analysis
PAMPA - Models and Tools for Programming Distributed Parallel Architectures
PARA - Parallelism
PARAGRAPHE - Parallelism and Graphs
VASY - Validation of Systems - Research & Applications

Actions of the theme

Theme 1A: Parallelism and Architecture
PLANETE - Protocols and Applications for the Internet

Theme 1B: Networks, Systems, Performance Evaluation
IPv6 - IPv6 - RSVP - ATM
LORIASI - Loria in the Society of Information

Theme 1C: Distributed and Real-Time Programming
TICK - Theory and Practice of Synchronous Reactive Systems
TRIO - Real Time and Interoperability