INRIA - Rapports d'activité 1997
Liste des projets

• 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
  
• API - Architectures parallèles intégrées
  
• CAPS - Compilation, architectures parallèles et systèmes
  
• ReMaP - Régularité et parallélisme massif
  
• SLOOP - Simulation, langages à objets et parallélisme

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

• 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
  
• MODEL - Modélisation de systèmes aléatoires
  
• 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
  
• SATURNE - Système réparti tolérant les fautes et les intrusions
  
• SIRAC - Systèmes informatiques répartis pour applications coopératives
  
• SOLIDOR - Langages et systèmes parallèles
  
• SOR - Systèmes d'objets répartis

  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
  
• RUSKEN - Environnement de programmation d'applications 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
  
• CROAP - Conception et réalisation d'outils d'aide à la programmation
  
• EURÉCA - Preuve, calcul symbolique et logique
  
• LANDE - Conception et validation de logiciels
  
• LOCO - Programmation logique avec contraintes
  
• PROTHEO - Contraintes, déduction automatique et preuves de propriétés de logiciels

  Thème 2B : Algorithmique et calcul formel
  

• ALGO - Algorithmes
  
• CODES - Codes et protection de l'information
  
• PRISME - Géométrie, algorithmes et robotique
  
• SAFIR - Systèmes algébriques formels pour l'industrie et la recherche
  
  
• Les actions du thème
  
  Thème 2A : Sémantique et programmation
  
• LETOOL - Environnements de programmation orientés-objets et interfaces visuelles

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
  
• ATOLL - Atelier d'outils logiciels pour le langage naturel
  
• DIALOGUE - Dialogue homme-machine à forte composante langagière
  
• OPÉRA/Rhône-Alpes - OPÉRA/Rennes - Outils pour les documents électroniques : recherche et applications
  
• ORION - Environnements intelligents de résolution de problèmes pour des systèmes autonomes
  
• PSYCHO‚ERGO - Psychologie ergonomique pour l'informatique
  
• REPCO - Représentation des connaissances
  
• RODIN - Systèmes de bases de données
  
• SHERPA - Bases de connaissances à objets
  
• SYCO - Modèles fondamentaux et applications des processus perceptifs et cognitifs
  
• VERSO - Bases de données

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

• AIR - Traitement d'image et données satellites dynamiques
  
• EPIDAURE - Imagerie et robotique médicale
  
• iMAGIS - Modèles, algorithmes, géométrie pour le graphique et l'image de synthèse
  
• ISA - Image, synthèse et analyse
  
• MOVI - Modélisation, localisation, reconnaissance et interprétation en vision par ordinateur
  
• PASTIS - Analyse de scènes et traitement d'images symboliques
  
• 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
  
• SYNTIM - Analyse et synthèse d'images
  
• 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é
  
• 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
  
• PROMATH - Programmation mathématique
  
• SAGEP - Simulation, analyse et gestion des systèmes de production
  
• 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
  
• MOSTRA - 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
  
• SINUS - Simulation numérique dans les sciences de l'ingénieur
  
• SYSDYS - Systèmes dynamiques stochastiques
  
  
• Les actions du thème
  
  Thème 4A : Automatique, robotique, signal
  
• ATGC - Action transversale génome et calcul
  
• SODAS - Structures de classification ordonnées et discrimination : algorithmes et simulations