A3 - Analyse Avancée Appliquée à
l'optimisation de code
ADP -
Algorithmes distribués et protocoles
APACHE -
Algorithmique Parallèle, Programmation et Répartition de
Charge
CAPS -
Compilation, Architecture des Processeurs Superscalaires et
Spécialisés
COSI -
Conception de systèmes sur silicium
PARIS -
Programmation des systèmes pARallèles et dIstribués pour la
Simulation numérique à grande échelle
REMAP -
Régularité et parallélisme massif
SIRAC -
Systèmes Informatiques Répartis pour Applications
Coopératives
SOLIDOR - Construction
de systèmes et d'applications distribués
TROPICS -
Transformations et Outils Informatiques pour le Calcul
Scientifique
ARMOR - Architectures et
Modèles de Réseaux
HIPERCOM -
Communication à hautes performances
MASCOTTE - Méthodes
Algorithmiques, Simulation, Combinatoire et OpTimisation pour
les TÉlécommunications
MEVAL -
Modélisation et Évaluation des Systèmes Informatiques
MISTRAL - Modélisation
en Informatique et Systèmes de Télécommunications
PLANETE - Protocoles
et applications pour l'Internet
RESEDAS - Outils
Logiciels pour les Télécommunications et les Systèmes
Distribués
TREC -
Théorie des Réseaux Et Communication
EPATR - Environnement de
programmation d'applications temps réel
MIMOSA -
Migration et Mobilité: Sémantique et Applications
MOSCOVA - Mobilité,
sécurité, concurrence, vérification et analyse
PAMPA -
Modèles et outils pour la programmation des architectures
parallèles réparties
PARAGRAPHE -
Parallélisme et graphes
TICK - Etude
et implémentation des systèmes réactifs synchrones
TRIO - Temps
Réel et InterOpérabilité
VASY -
Validation de Systèmes - Recherche et Applications
