Rapport d'activité INRIA 2000

Navigation encyclopédique : Liste des termes
CAVE / collecte de traces de programmes / compilation séparée / complément de Schur dual

collecte de traces de programmes

• Projet : CAPS - Calvin2+DICE: génération de traces au vol pour la simulation de microarchitecture

collecticiels

• Projet : OASIS - Programmation objet, concurrence et répartition

collisions

• Projet : IMAGIS - Animation et modélisation

colonne corticale

• Avant-projet : CORTEX - La modélisation biologique

combinaison

• Projet : PROTHEO - Contraintes

combinaison de classifieurs

• Avant-projet : CORTEX - L'intégration neurosymbolique

combinaison de résolveurs

• Projet : PROTHEO - Contraintes

combinaison des signatures

• Avant-projet : IMEDIA - Recherche interactive

combinatoire

• Projet : HIPERCOM - Méthodologie de l'évaluation des algorithmes de télécommunications
• Projet : VISTA - Extraction de pistes et trajectographie

combinatoire analytique

• Projet : ALGO - Analyse d'algorithmes

combinatoire des mots

• Projet : ALGO - Algorithmique des séquences

combustion

• projet : CAIMAN - Mécanique des fluides et problèmes connexes
• projet : CAIMAN - Mécanique des fluides et problèmes connexes

commande

• Projet : BIP - Les robots bipèdes
• Projet : ICARE - Action Sagem SA
• Projet : MIAOU - Structure et commande des systèmes non-linéaires
• Projet : SOSSO - Automatique, Informatique et Automobile
• Projet : SOSSO - Méthode d'«Adéquation Algorithme Architecture»

commande d'engins sous-marins

• Projet : ICARE - Robotique sous-marine

commande de véhicule automobile

• Projet : ICARE - Conduite automatisée

commande distribuée

• projet : NUMATH - Contrôle et Stabilisation

commande frontière

• projet : NUMATH - Contrôle et Stabilisation

commande instationnaire

• Projet : ICARE - Stabilisation de robots mobiles et de systèmes non-linéaires

commande optimale

• Projet : EPATR - Synthèse automatique de contrôleurs
• Projet : IDOPT - Environnement
• Projet : IDOPT - Identification et optimisation en physique

commande pharmacologique

• Projet : SOSSO - Automatique, Traitement du signal et Sciences biomédicales
• Projet : SOSSO - Modélisation et commande de systèmes physiologiques.
• Projet : SOSSO - Automatique, Traitement du signal et Sciences biomédicales.

commande référencée capteur

• Projet : BIP - Les robots bipèdes
• Projet : ICARE - Conduite automatisée
• Projet : VISTA - Commande référencée vision

commande robuste

• Projet : ICARE - Commande des systèmes non-linéaires
• Projet : SOSSO - Analyse et commande de systèmes à hystérésis ou à retards
• Projet : SOSSO - Présentation et objectifs généraux
• Projet : SOSSO - Modélisation et commande des systèmes à retards ou à hystérésis

commerce électronique

• Action : AID - Panorama
• Projet : LANDE - Domaines d'applications
• Projet : LOGICAL - Domaines d'applications
• Projet : MERLIN - Présentation et objectifs généraux
• Projet : SIRAC - Domaines d'applications
• Projet : VERSO - Vues Actives pour le commerce électronique
• Projet : VERSO - Vues actives pour le commerce électronique

CommonKADS

• Projet : ACACIA - Cokace et WebCokace
• Projet : ACACIA - Acquisition des connaissances, multiples points de vue, multi-expertise et ingénierie concourante
• Projet : ACACIA - Serveur de connaissances sur un Web sémantique

communauté

• Projet : VERSO - Intranets et mémoire d'entreprise

communauté Web

• Projet : VERSO - Portails pour Communautés Web

communication

• Projet : ACACIA - Aide à la modélisation et construction de mémoire d'entreprise
• Projet : CAFE - Aspects logiciels du calcul formel
• Projet : CAFE - Passerelle OpenMath-MathLink
• Projet : CAFE - Architectures logicielles pour le calcul formel
• Action : CONTRAINTES - Langages concurrents avec contraintes
• Projet : ECOO - Présentation et objectifs généraux
• Projet : REMAP - Environnements d'exécution haute performance

communication de groupe

• Projet : ADP - Panorama
• Projet : ADP - Les problèmes d'accord dans les systèmes répartis
• Projet : ADP - EDEN :un service de communication de groupe
• Projet : ADP - Les problèmes d'accord dans les systèmes répartis
• Projet : OASIS - Programmation objet, concurrence et répartition
• Avant-projet : TRIO - Mécanismes exécutifs et protocoles

communication par message

• Projet : APACHE - Logiciel de base pour architecture parallèle et distribuée

communication sans fil

• Avant-projet : TREC - Analyse de processus de couverture

communication synchrone/asynchrone

• Projet : EPATR - Projet Reutel-2000, convention Alcatel Alsthom Recherche/Inria n° 197A93600000MC012 (09/1997-08/2000)
• Projet : EPATR - Télécommunications
• Projet : EPATR - Thèmes de recherche
• Projet : EPATR - Mises en oeuvre distribuées et description d'architectures de communication

communications mobiles

• Projet : MASCOTTE - Conception de réseaux de communications sans-fil
• Projet : MASCOTTE - Réseaux sans-fil

compatibilité électromagnétique

• projet : CAIMAN - Propagation d'ondes électromagnétiques

compensation de mouvement

• Projet : ROBOTVIS - Outils pour l'Imagerie cérébrale

compilateur

• Action : TICK - Esterel
• Projet : VASY - Action SmartTools (Dyade)

compilation

• Projet : CAPS - Domaines d'applications
• Projet : CAPS - Compilation pour architectures hautes performances
• Projet : CAPS - Environnement pour architectures hautes performances (cf. 2.2)
• Projet : COMPOSE - Harissa, un environnement d'exécution pour le langage Java
• Projet : COMPOSE - JSCC, un compilateur de classes de spécialisation
• Projet : COMPOSE - Présentation et objectifs généraux
• Projet : COSI - Conception de processeurs programmables spécialisés et leurs outils de compilation
• Projet : LANDE - Actions « amont »
• Projet : LOGICAL - Développement en Coq
• Projet : LOGICAL - Réduction, réécriture, automatisation
• Projet : PROTHEO - Réécriture et stratégies
• Projet : REMAP - Présentation et objectifs généraux
• Action : TICK - Programmation Réactive Synchrone et Esterel
• projet : TROPICS - Analyses et transformations de programmes
• projet : TROPICS - Parallélisation
• Projet : VASY - Action FormalCard (Dyade)
• Projet : VASY - Action FormalFame (Dyade)
• Projet : VASY - Action SmartTools (Dyade)
• Projet : VASY - Contrat Reutel-2000 (Alcatel)
• Projet : VASY - La boîte à outils CADP
• Projet : VASY - Le compilateur TRAIAN
• Projet : VASY - Technologie des modèles - vérification
• Projet : VASY - Technologie des langages - compilation

compilation optimisante

• Projet : LANDE - Analyse de programmes

compilation reciblable

• Projet : COSI - Compilation pour processeurs spécialisés programmables

compilation séparée

• Projet : EPATR - Mises en oeuvre distribuées et description d'architectures de communication

  ---

  Navigation encyclopédique : Liste des termes
  CAVE / collecte de traces de programmes / compilation séparée / complément de Schur dual