logo inria

Retour à la liste des projets INDEX

-----------------------
INRIA - Rapports d'activité 2000
Liste des projets du thème 1
-----------------------

Thème 1A : Architectures et systèmes

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

Thème 1B : Réseaux et Télécommunications

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

Thème 1C : Programmation distribuée et temps réel

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

webmaster@inria.fr