Rapport d'activité INRIA 2000

Navigation encyclopédique : Liste des termes
collecte de traces de programmes / complément de Schur dual / contour actif / contour déformable

complément de Schur dual

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

complétude de définition de fonctions

• Projet : PROTHEO - SPIKE

complexité

• Projet : APACHE - Algorithmique parallèle, complexité et ordonnancement

complexité de décision et de comptage

• Projet : PROTHEO - Complexité

complexité du calcul

• Projet : PROTHEO - Complexité

complexité en information

• Projet : CALLIGRAMME - Lambda calculs typés, sémantique, complexité

complexité implicite

• Projet : CALLIGRAMME - Lambda calculs typés, sémantique, complexité
• Projet : CALLIGRAMME - Présentation et objectifs généraux

comportement

• Projet : SIAMES - Modeleur de comportements : HPTS

comportement autonome

• Avant-projet : CORTEX - Interface avec le robot Koala

comportement élasto-plastique

• Projet : SOSSO - Modélisation des systèmes à hystérésis

comportements utilisateur

• Action : AID - Analyse des usages sur internet/intranet
• Action : AID - Broadway-1 - Aide personnalisée à la navigation sur le Web
• Action : AID - Présentation et objectifs généraux
• Action : AID - Conception de systèmes de recommandations personnalisées

composant

• Projet : COSI - Outils de CAO pour architectures reconfigurables
• Projet : EPATR - Contexte des études
• Projet : PAMPA - Méta-Framework pour Objets Répartis
• Projet : PAMPA - AEE : Architecture Electroniques Embarquées
• Projet : PAMPA - UMLAUT : un outil de manipulation de modèles UML
• Projet : PARIS - Programmation d'une grappe hétérogène de calculateurs
• Action : ROMANS - Contexte et objectifs du projet
• Projet : SIRAC - Construction d'applications réparties

composant matériel

• Projet : EPATR - Thèmes de recherche
• Projet : EPATR - Synthèse de circuits et conception de systèmes matériels/logiciels

composantes connexes

• Avant-projet : IMEDIA - Requêtes partielles

composants logiciels

• Action : AID - Broadway*Tools - Pour la génération de systèmes de recommandations adaptatifs
• Action : AID - CBR*Tools - Plateforme objet en raisonnement à partir de cas
• Projet : PAMPA - Technologie objet dans un contexte de génie logiciel réparti

composants objet

• Action : AID - Raisonnement à partir de cas

composites

• Projet : MACS - Développement et analyse de méthodes numériques performantes pour le calcul des structures

compositionnalité

• Action : TICK - Compilation et optimisation modulaire d'Esterel

compression

• Projet : TEMICS - Codage et codage conjoint source-canal

compression d'image

• Projet : FRACTALES - Présentation et objectifs généraux

compression fractale

• Projet : FRACTALES - Présentation et objectifs généraux

comptage de références

• Projet : LOGICAL - Développement en Coq

conception

• Action : AID - Sémantique en conception de systèmes d'informations hypertextes
• Action : AID - Conception de systèmes de recommandations personnalisées
• Action : AID - Evaluation du langage ROL pour nos applications Web

conception collective

• Projet : EIFFEL - Présentation et objectifs généraux

conception conjointe

• Projet : EPATR - Contexte des études
• Action : TICK - Programmation Réactive Synchrone et Esterel

conception conjointe matériel/logiciel

• Projet : EPATR - Synthèse de circuits et conception de systèmes matériels/logiciels

conception continue

• Action : AID - Reconception de sites Web basée sur une analyse de l'usage

conception coopérative

• Projet : ACACIA - Acquisition des connaissances, multiples points de vue, multi-expertise et ingénierie concourante

conception d'interfaces

• Projet : MERLIN - Présentation et objectifs généraux

conception de circuits

• Projet : ARENAIRE - Arithmétique et FPGAs, Conception de circuits arithmétiques

Conception de réseaux

• Projet : MASCOTTE - Conception de familles contraintes de graphes pour les télécoms

conception de sites Web

• Action : AID - Panorama

conception individuelle

• Projet : EIFFEL - Présentation et objectifs généraux

conception objet

• Projet : EPATR - Projet Reutel-2000, convention Alcatel Alsthom Recherche/Inria n° 197A93600000MC012 (09/1997-08/2000)
• Projet : EPATR - Télécommunications

conception par codesign

• Projet : COSI - Conception d'architectures pour les télécommunications

conception synchrone

• Projet : EPATR - Avionique
• Projet : EPATR - Panorama
• Projet : EPATR - Spécification et programmation synchrone
• Projet : EPATR - Présentation et objectifs généraux
• Projet : EPATR - Conception synchrone
• Projet : EPATR - Thèmes de recherche

concurrence

• Action : CERTILAB - Résultats
• Action : MIMOSA - Sémantique de la mobilité
• Projet : OASIS - Programmation objet, concurrence et répartition
• projet : SIGMA2 - Modèles partiellement stochastiques pour la surveillance des systèmes distribués
• Projet : VASY - Contrat Reutel-2000 (Alcatel)
• Projet : VASY - Contrat RNTL Parfums
• 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

concurrent-TTCN

• Projet : PAMPA - Méthodologie de tests d'interopérabilité

condensation de masse

• Projet : ONDES - Eléments finis d'arête et condensation de masse pour les équations de Maxwell en maillage triangulaire et tétraédrique
• Projet : ONDES - Éléments finis mixtes d'ordre élevé en maillage hexaédrique pour les ondes acoustiques et élastiques

condition absorbante

• projet : CAIMAN - Électromagnétisme

conditionnement

• Projet : ALADIN - Encadrement garanti de résultats

conditions aux limites

• Projet : M3N - Algorithmes numériques et modélisation pour les fluides avec des frontières mobiles
• Projet : ROBOTVIS - Méthodes variationnelles, EDPs et applications

conditions de faisabilité

• Projet : HIPERCOM - Ordonnancement centralisé non-préemptif
• Projet : HIPERCOM - Ordonnancement distribué temps réel sérialisable de tâches : étude de faisabilité

confidentialité

• Projet : LANDE - Domaines d'applications

configuration

• Projet : SIRAC - Construction d'applications réparties adaptables

conflit

• Projet : ACACIA - Acquisition des connaissances, multiples points de vue, multi-expertise et ingénierie concourante

confluence

• Projet : LOGICAL - Réduction, réécriture, automatisation

confrontation

• Action : AID - Conception de systèmes de recommandations personnalisées
• Action : AID - Evaluation du langage ROL pour nos applications Web

conjonction de prédicats locaux

• Projet : ADP - Détection de propriétés

connexionnisme

• Avant-projet : CORTEX - Le connexionnisme

consensus

• 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

consommation des circuits

• Projet : EPATR - Synthèse de circuits et conception de systèmes matériels/logiciels

constellation de satellites

• Projet : MASCOTTE - Collaboration avec le CNES Toulouse
• Projet : MASCOTTE - Conception de réseaux de communications sans-fil

constructeurs

• Projet : LOGICAL - Réduction, réécriture, automatisation

construction de programme

• Projet : LANDE - Actions « amont »

construction de Wulff

• Projet : ARIANA - Étude des propriétés de régularité des modèles markoviens

constructions

• Projet : LOGICAL - Développement en Coq

contact unilatéral

• Projet : ONDES - Modélisation numérique de la propagation d'ondes en milieu élastique fissuré avec condition de contact unilatéral

continuation

• Projet : LANDE - Actions « aval »

contour actif

• PROJET : AIR - Contrat THETIS : réalisation d'un prototype pour l'intégration d'outils de traitement d'image dans le middleware distribué LeSelect.
• Projet : TEMICS - Analyse, modélisation et édition de séquences d'images

  ---

  Navigation encyclopédique : Liste des termes
  collecte de traces de programmes / complément de Schur dual / contour actif / contour déformable