Rapport d'activité INRIA 2000

Navigation encyclopédique : Liste des termes
problème de Stokes généralisé / programmation synchrone / quantiles / quotient

programmation synchrone

• Projet : BIP - Contrôle/commande de systèmes robotiques complexes
• Projet : EPATR - Énergie
• Projet : EPATR - Spécification et programmation synchrone
• Projet : EPATR - Environnement de programmation Signal
• Projet : EPATR - Objectif général du projet
• Projet : EPATR - Thèmes de recherche
• Projet : EPATR - Évolutions de Signal et de son environnement
• Projet : EPATR - Multi-formalisme et modélisation synchrone de la norme IEC 1131 de programmation des systèmes de contrôle
• Projet : EPATR - Mises en oeuvre distribuées et description d'architectures de communication
• Projet : EPATR - Synthèse de circuits et conception de systèmes matériels/logiciels

programme synthétique

• Projet : APACHE - Modèle et langage pour la programmation parallèle et distribuée

progressivité

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

projection

• Projet : ALADIN - Équations différentielles ordinaires ou algébriques

projection perspective

• Projet : TEMICS - Modélisation 3D par géométrie projective

Prolog

• Projet : LANDE - Actions « aval »

propagation

• Projet : PROTHEO - Contraintes

propagation d'erreurs

• Projet : ROBOTVIS - Géométrie d'un système de caméras et applications
• Projet : ROBOTVIS - Géométrie d'un système de caméras et applications

propagation de contraintes

• Action : CONTRAINTES - Solveurs de contraintes
• Projet : PROTHEO - Planification de transport porte-à-porte à la demande pour le GIHP

propagation de croyance

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

propagation du chaos

• Projet : OMEGA - Méthodes numériques probabilistes pour les EDP
• Projet : OMEGA - Vitesse de convergence optimale de l'algorithme particulaire pour les équations de conservation scalaires

propagation géodésique

• PROJET : AIR - Propagation géodésique : généralisation en dimension quelconque.

propriété observable

• Projet : PROTHEO - Preuve de propriétés de programmes

propriétés non fonctionnelles

• Projet : LANDE - Actions « amont »

propulseur plasmique

• projet : CAIMAN - Électromagnétisme

protection

• Projet : SIRAC - Support système pour grappes de machines
• Projet : SIRAC - Logiciels
• Projet : SIRAC - Construction d'applications réparties adaptables

Protéine

• Projet : SYSDYS - Génomique

protéome

• Action : HELIX - Présentation et objectifs généraux

protéomique

• Action : HELIX - Présentation et objectifs généraux

protocole

• Projet : ARMOR - Fondements scientifiques
• Projet : CAFE - Aspects logiciels du calcul formel
• Projet : CAFE - Passerelle OpenMath-MathLink
• Projet : CAFE - Architectures logicielles pour le calcul formel
• Projet : MEVAL - Fondements scientifiques
• Projet : OPERA - Présentation de documents multimédia structurés
• Projet : PAMPA - Convergence SDL-UML (RNRT Convergence)
• Action : TICK - Télécommunications
• Action : TICK - Systèmes embarqués en avionique/automobile

protocole CDMA

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

protocole d'authentification

• Projet : PROTHEO - Vérification

protocole de cohérence de caches

• Projet : PAMPA - FormalFame : Validation d'architectures multi-processeurs

protocole de communication

• Projet : RESEDAS - Évolution des protocoles et des réseaux
• Projet : RESEDAS - Présentation et objectifs généraux
• Projet : SOLIDOR - Systèmes d'information pour ordinateurs de poche en environnement mobile
• Projet : VASY - Action FormalFame (Dyade)
• 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 - Etudes de cas et applications pratiques

protocole de télécommunication

• Projet : PROTHEO - Vérification

protocole SIP

• Projet : OPERA - Collaboration avec Innovatel-Cegetel

protocoles cryptographiques

• Projet : LANDE - Actions « aval »
• Projet : LOGICAL - Développement en Coq
• Projet : PROTHEO - CASRUL

protocoles de signalisation

• Projet : OPERA - Présentation de documents multimédia structurés

protocoles Internet nouvelle génération

• Projet : PAMPA - Actions nationales

prototypage

• Projet : PROTHEO - Domaines d'applications
• Projet : PROTHEO - ELAN

prototypage rapide

• Projet : SOSSO - Méthode d'«Adéquation Algorithme Architecture»

prototypage virtuel

• Avant-Projet : I3D - EADS
• Avant-Projet : I3D - Démonstrateur haptique
• Projet : SIAMES - Délinéateurs intelligents

prototypes logiciels

• Projet : EPATR - Objectif général du projet

pseudo-spectre

• Projet : ALADIN - Problèmes aux valeurs propres

psychologie cognitive

• Projet : ACACIA - Aide à la modélisation et construction de mémoire d'entreprise
• Projet : EIFFEL - Fondements scientifiques
• Projet : EIFFEL - Présentation et objectifs généraux

psychométrie

• Projet : ROBOTVIS - Géométrie d'un système de caméras et applications
• Projet : ROBOTVIS - Géométrie d'un système de caméras et applications

PTS

• Projet : LOGICAL - Modularité

Puce à ADN

• Projet : SYSDYS - Génomique

PVM

• Projet : RESEDAS - Calculs distribués et échange des données entre processeurs
• Projet : SIAMES - Analyse des performances de la version distribuée

QoS

• Projet : ARMOR - Panorama
• Projet : ARMOR - Fondements scientifiques
• Projet : PAMPA - Actions nationales
• Avant-projet : TRIO - Mécanismes exécutifs et protocoles

quadrangle

• Projet : GAMMA - Logiciel Bamg
• Projet : GAMMA - Logiciel BL2D
• Projet : GAMMA - Logiciel BLMESH
• Projet : GAMMA - Logiciel BLSURF
• Projet : GAMMA - Logiciel Emc2

quadratures

• Projet : CAFE - Algorithmes pour équations linéaires
• Projet : CAFE - Algorithmes pour équations linéaires

qualité de service

• Projet : HIPERCOM - Garantie déterministe de la qualité de service dans les systèmes multimédia
• Projet : OPERA - Relations avec la Grèce
• Projet : TEMICS - Codage et codage conjoint source-canal
• Avant-projet : TREC - Simulateur de l'interaction d'un grand nombre de sources TCP

qualité ergonomique des logiciels interactifs

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

quantification

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

quantiles

• Projet : OMEGA - Vitesse de convergence optimale de l'algorithme particulaire pour les équations de conservation scalaires

  ---

  Navigation encyclopédique : Liste des termes
  problème de Stokes généralisé / programmation synchrone / quantiles / quotient