Select a theme :

Select an INRIA Research Centre :

List of projects-team in 2004

Team Activity Report Access

37 teams in the theme "Communicating systems"

Aces
Ambient Computing and Embedded Systems
Adept
Asynchronous Distributed Environments, Protocols, and Time
Alchemy
Architectures, Languages and Compilers to Harness the End of Moore Years
Aoste
Models and Methods for the Analysis and Optimization of Systems with Real-time and Embedded Constraints
Ares
Architecture de réseaux de services
Arles
Software Architectures and Distributed Systems
Armor
Architectures et Modèles de Réseaux
Caps
Compilation, architectures des processeurs superscalaires et spécialisés
Comete
Concurrence, Mobilité et Transactions
Compsys
Compilation and Embedded Computing Systems
Dart
Dataparallelism for Real-Time
Distribcom
Distributed and Iterative Algorithms in Management and Signal Processing for Telecommunications
Espresso
Environnement de spécification de programmes réactifs synchrones
Gyroweb
Dynamic graphs and large networks
Hipercom
HIgh PERformance COMmunication
Jacquard
Weaving of Software Components
Madynes
Management of Dynamic Networks and Services
Maestro
Models for Performance Analysis and Control of Networks
Mascotte
Méthodes Algorithmiques, Simulation et Combinatoire pour l'OpTimisation des TElécommunications
Mimosa
Migration et Mobilité: Sémantique et Applications
Moscova
Mobility, Security, Concurrency, Verification and Analysis
Oasis
Objets Actifs, Sémantique, Internet et Sécurité
Obasco
OBjects, ASpects, and COmponents
Phoenix
Programming Language Technology For Communication Services
Planete
Protocoles et Applications pour l'Internet
Popart
Programming and OPerating Systems for Applications in Real-Time
Pops
System & Networking for Portable Objects Proved to be Safe
R2d2
Reconfigurable and Retargetable Digital Devices
Rap
Réseaux, Algorithmes et Probabilités
Regal
Resource management in large scale distributed systems
S4
System Synthesis and Supervision, Scenarios
Sardes
System Architecture for Reflective Distributed Computing Environments
Trec
Network Theory and Communications
Trio
Temps Réel et InterOpérabilité (Real Time and InterOperability)
Triskell
Model Driven Engineering for Component Based Software
Vasy
Validation of Systems
Vertecs
Verification models and techniques applied to the Testing and Control of reactive Systems