INRIA - Rapports d'activité 1999
Liste des projets par thème

• Thème 1 : Réseaux et systèmes
• Thème 2 : Génie logiciel et calcul symbolique
• Thème 3 : Interaction homme-machine, images, données, connaissances
• Thème 4 : Simulation et optimisation de systèmes complexes

Thème 1 : Réseaux et systèmes

Thème 1A : Parallélisme et architecture

• A3 - Analyse avancée appliquée à l'optimisation de code
• APACHE - Algorithmique parallèle et partage de charge
• CAPS - Compilation, architectures parallèles et systèmes
• COSI - Conception de systèmes sur silicium
• ReMaP - Régularité et parallélisme massif
• SLOOP - Simulation, langages à objets et parallélisme
• TROPICS - Transformations et outils informatiques pour le calcul scientifique

Thème 1B : Réseaux, systèmes, évaluation de performances

• ARMOR - Architectures et Modèles de Réseaux
• HIPERCOM - Communication haute performance
• MÉVAL - Modélisation et évaluation de systèmes informatiques
• MISTRAL - Modélisation en informatique et systèmes de télécommunication : recherche et applications logicielles
• REFLECS - Systèmes informatiques répartis temps réel et tolérant les fautes
• RÉSÉDAS - Outils logiciels pour les télécommunications et les systèmes distribués
• RODEO - Réseaux à hauts débits, réseaux ouverts
• SIRAC - Systèmes informatiques répartis pour applications coopératives
• SOLIDOR - Langages et systèmes parallèles
• SOR - Systèmes d'objets répartis
• TRIO - Temps réél et interopérabilité

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

• ADP - Algorithmes répartis et protocoles
• ECOO - Environnements pour la coopération
• EP-ATR - Environnement de programmation pour applications temps réel
• MEIJE - Parallélisme, synchronisation et temps réel
• PAMPA - Modèles et outils pour la programmation des architectures parallèles réparties
• PARA - Parallélisme
• PARAGRAPHE - Parallélisme et graphes

Les actions du thème

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

• VASY-RA - Validation de systèmes - Recherche et applications

Thème 2 : Génie logiciel et calcul symbolique

Thème 2A : Sémantique et programmation

• CALLIGRAMME - Logique linéaire, réseaux de démonstration et grammaires catégorielles
• COMPOSE - Conception de programmes et systèmes adaptatifs
• COQ - Spécifications et preuves de programmes
• CRISTAL - Programmation typée, modularité et compilation
• LANDE - Conception et validation de logiciels
• LEMME - Logiciels et mathématiques
• LOCO - Programmation logique avec contraintes
• PROTHEO - Contraintes, déduction automatique et preuves de propriétés de logiciels
• OASIS - Objets actifs, sémantique, Internet et sécurité

Thème 2B : Algorithmique et calcul formel

• ALGO - Algorithmes
• ARENAIRE -  Arithmétique des ordinateurs
• CAFE - Calcul formel et équations
• CODES - Codes et protection de l'information
• POLKA - Polynômes, Combinatoire, Arithmétique
• PRISME - Géométrie, algorithmes et robotique
• SAGA - Systèmes algébriques, Géomitrie et Applications

Les actions du thème

Thème 2A : Sémantique et programmation

• CERTILAB - Spécifications formelles, certification de logiciel

Thème 3 : Interaction homme-machine, images, données, connaissances

Thème 3A : Bases de données, bases de connaissances, systèmes cognitifs

• ACACIA - Acquisition des connaissances pour l'assistance à la conception par interaction entre agents
• AIDA - Modélisation et Apprentissage pour l'Interprétation de Données et l'Aide à la décision
• ATOLL - Atelier d'outils logiciels pour le langage naturel
• CARAVEL - Systèmes de médiation d'information
• CORTEX - Intelligence neuromimétique
• EIFFEL - Cognition et coopération en conception
• LED - Langue et Dialogue
• MAIA - Machine Intelligente et Autonome
• MErLIn - Méthodes pour l'Ergonomie des Logiciels Interactifs
• OPÉRA - Outils pour les documents électroniques : recherche et applications
• ORION - Environnements intelligents de résolution de problèmes pour des systèmes autonomes
• ORPAILLEUR - Représentations, raisonnements, et extraction de connaissances à partir de bases de données
• PAROLE - Analyse, Perception et Reconnaissance de la parole
• READ - Reconnaissance de l'Ecriture et Analyse de Documents
• SHERPA - Bases de connaissances à objets
• VERSO - Bases de données

Thème 3B : Vision, analyse et synthèse d'images

• AIR - Traitement d'image et données satellites dynamiques
• ARIANA - Problèmes Inverses en Observation de la Terre et Cartographie
• EPIDAURE - Imagerie et robotique médicale
• iMAGIS - Modèles, algorithmes, géométrie pour le graphique et l'image de synthèse
• IMEDIA - Images et multimédia
• ISA - Image, synthèse et analyse
• MOVI - Modélisation, localisation, reconnaissance et interprétation en vision par ordinateur
• ROBOTVIS - Vision par ordinateur et robotique
• SHARP - Programmation automatique et systèmes décisionnels en robotique
• SIAMES - Synthèse d'images, animation, modélisation et simulation
• TEMICS - Traitement, modélisation et communication d'images numériques
• VISTA - Vision spatio-temporelle et active

Les actions du thème

Thème 3A : Bases de données, bases de connaissances, systèmes cognitifs

• AID - Gestion des connaissances pour l'aide à la conception coopérative
• AIRELLE - Représentations et langages

Thème 4 : Simulation et optimisation de systèmes complexes

Thème 4A : Automatique, robotique, signal

• BIP - Robot bipède
• COMORE - Contrôle et modélisation de ressources renouvelables
• CONGÉ - Contrôle géométrique des systèmes non linéaires
• FRACTALES - Approches fractales pour l'analyse et la modélisation des signaux
• ICARE - Instrumentation, commande et architecture des robots évolués
• IS2 - Inférence statistique pour l'industrie et la santé
• MACSI - Modélisation, analyse et conduite des systèmes industriels
• MATHFI - Mathématiques financières
• MÉTA 2 - Méta-automatique et méthodes de l'automatique
• MIAOU - Mathématiques et informatique de l'automatique et de l'optimisation pour l'utilisateur
• NUMOPT - Optimisation numérique
• SIGMA 2 - Signaux, modèles et algorithmes
• SOSSO - Applications et outils de l'automatique

Thème 4B : Modélisation et calcul scientifique

• ALADIN - Algorithmes adaptés au calcul numérique intensif
• CAIMAN - Calcul scientifique, modélisation et analyse numérique
• ESTIME - Estimation de paramètres et modélisation en milieu hétérogène
• GAMMA - Génération automatique de maillages et méthodes d'adaptation
• IDOPT - Identification et optimisation de systèmes en physique et en environnement
• M3N - Multi-modèles et méthodes numériques
• MACS - Modélisation de matériaux nouveaux et structures adaptatives
• NUMATH - Analyse mathématique et traitement numérique de modèles non linéaires
• OMEGA - Méthodes numériques probabilistes
• ONDES - Modélisation, analyse, simulation des équations des ondes
• SAGEP - Simulation, analyse et gestion des systèmes de production
• SINUS - Simulation numérique dans les sciences de l'ingénieur
• SYSDYS - Systèmes dynamiques stochastiques