Rapport d'activité INRIA 2000

Navigation encyclopédique : Liste des termes
multiplexage / OpenMath / parallélisation automatique / parallélisation d'application

OpenMath

• Projet : CAFE - Aspects logiciels du calcul formel
• Projet : CAFE - Passerelle OpenMath-MathLink
• Projet : CAFE - Architectures logicielles pour le calcul formel

OpenMP

• Projet : PARIS - Programmation des grappes de calculateurs homogènes
• projet : TROPICS - Parallélisation

opérateur aléatoire

• Projet : SYSDYS - Homogénéisation et milieux aléatoires

opérateur sous forme divergence

• Projet : SYSDYS - Analyse stochastique

opérateurs

• Projet : ARMOR - Panorama
• Projet : OPERA - Modèle de documents multimédia

opérateurs asynchrones

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

OPS

• Projet : MASCOTTE - Architectures Optiques : OTIS, OPS
• Projet : MASCOTTE - Conception de familles contraintes de graphes pour les télécoms

optimisation

• Projet : CAPS - Compilation pour architectures hautes performances
• Projet : CAPS - Salto : un environnement de transformations pour les langages d'assemblages (cf. 2.2)
• Projet : CAPS - Environnement pour architectures hautes performances (cf. 2.2)
• Projet : CARAVEL - Accès à des ressources distribuées
• Projet : CARAVEL - Production de données dérivées
• Projet : COMORE - Fondements scientifiques
• Projet : FRACTALES - Présentation et objectifs généraux
• Projet : GAMMA - Logiciel YAMS
• Projet : GAMMA - Maillage de surfaces discrètes
• Avant-projet : IMEDIA - Généralisation de la classification compétitive
• Projet : LANDE - Actions « amont »
• Projet : MOSCOVA - Interprétation abstraite
• Projet : NUMOPT - Fondements scientifiques
• Projet : SOSSO - Méthode d'«Adéquation Algorithme Architecture»
• Action : TICK - Programmation Réactive Synchrone et Esterel
• Action : TICK - Esterel
• Action : TICK - Compilation et optimisation modulaire d'Esterel
• Avant-projet : TRIO - Procédés de modélisation
• projet : TROPICS - Différentiation Automatique

optimisation combinatoire

• Projet : MASCOTTE - Algorithmique et structures discrètes

Optimisation d'accès

• Projet : MASCOTTE - Contrat ALCATEL Toulouse

optimisation de code

• Projet : CAPS - Environnements de développement pour architectures hautes performances
• Projet : COSI - Conception de processeurs programmables spécialisés et leurs outils de compilation
• projet : TROPICS - Parallélisation

optimisation de forme

• Projet : IDOPT - Identification et optimisation en physique
• Projet : M3N - Modélisation, optimisation et contrôle pour les fluides turbulents
• projet : NUMATH - Optimisation de formes

optimisation de systèmes d'exploitation

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

optimisation débit-distorsion

• Projet : TEMICS - Théorie débit-distorsion et formalisme MDL

optimisation discrète

• Projet : MACSI - Ordonnancement et gestion des systèmes industriels
• Projet : MACSI - Organisation et gestion de production
• Projet : PROTHEO - Contraintes

optimisation semi-définie positive

• Projet : NUMOPT - Fondements scientifiques

optimisation sous contraintes

• Projet : ESTIME - Méthodes numériques en optimisation

optimisation stochastique

• Projet : FRACTALES - Problèmes inverses
• Projet : FRACTALES - Algorithmes génétiques
• Projet : FRACTALES - ALGON : boîte à outils d'optimisation par algorithmes génétiques
• Projet : FRACTALES - EASEA : langage de specification d'algorithmes évolutionnaires

option américaine

• Projet : MATHFI - Calcul d'options américaines en dimension grande
• Projet : MATHFI - Problèmes de temps d'arrêt optimal et options américaines

options

• Projet : MATHFI - Développement d'un logiciel de pricer d'options : Premia

options asiatiques

• Projet : MATHFI - Méthodes de Monte-Carlo pour les options asiatiques

Opto-électronique

• Projet : MASCOTTE - Architectures Optiques : OTIS, OPS
• Projet : MASCOTTE - Conception de familles contraintes de graphes pour les télécoms

ORB

• Projet : PARIS - Programmation d'une grappe hétérogène de calculateurs

orbites périodiques

• projet : NUMATH - Prédicibilité et simulation

ordinateurs de poche

• Projet : SOLIDOR - Domaines d'applications

ordonnancement

• Projet : APACHE - Modèle et langage pour la programmation parallèle et distribuée
• Projet : APACHE - Logiciel de base pour architecture parallèle et distribuée
• Projet : APACHE - Algorithmique parallèle, complexité et ordonnancement
• Action : CONTRAINTES - Optimisation combinatoire
• Projet : MACSI - Ordonnancement et gestion des systèmes industriels
• Projet : MACSI - Organisation et gestion de production
• Projet : MISTRAL - Modèles de trafic pour les réseaux
• Projet : OPERA - Présentation de documents multimédia structurés
• Projet : SOSSO - Méthode d'«Adéquation Algorithme Architecture»
• Avant-projet : TRIO - Mécanismes exécutifs et protocoles

ordonnancement distribué temps réel

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

ordonnancement dynamique

• Avant-projet : TRIO - Mécanismes exécutifs et protocoles

ordonnancement temps réel

• Projet : HIPERCOM - AEE
• Projet : HIPERCOM - Garantie déterministe de la qualité de service dans les systèmes multimédia

ordre élevé

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

organisation de conférences

• Projet : ARENAIRE - Organisation de conférences, édition de numéros spéciaux de journaux

OS temps réel

• Projet : EPATR - Projet IST SafeAir, convention n°100C01490031307005 (01/2000-06/2002)
• Projet : EPATR - Mises en oeuvre distribuées et description d'architectures de communication

oscillation non linéaire

• Projet : SOSSO - Présentation et objectifs généraux
• Projet : SOSSO - Stabilité et comportement qualitatif des systèmes non linéaires

OSI

• Projet : RESEDAS - Supervision et contrôle
• Projet : RESEDAS - Présentation et objectifs généraux

OTIS

• Projet : MASCOTTE - Architectures Optiques : OTIS, OPS
• Projet : MASCOTTE - Conception de familles contraintes de graphes pour les télécoms

outil de débogage

• Projet : LANDE - Domaines d'applications

outils

• Projet : COMPOSE - Principes, techniques et outils de spécialisation

outils pour la conception

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

#P-complétude

• Projet : PROTHEO - Complexité

pacemaker

• Projet : SOSSO - Automatique, Traitement du signal et Sciences biomédicales.

paint brushing

• Projet : ARIANA - ``Paint brushing'' et modélisation stochastique

paquet d'ondelettes

• Projet : FRACTALES - Watermarking à base d'ondelettes

paradoxe de Braess

• Projet : MISTRAL - L'optimisation multicritère dans les réseaux

Paradoxe de Russell

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

parallèle

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

parallélisation

• projet : TROPICS - Parallélisation

parallélisation automatique

• Projet : CAPS - Environnement pour architectures hautes performances (cf. 2.2)
• Projet : COSI - MMAlpha
• Projet : REMAP - Outils pour le calcul parallèle scientifique
• Projet : REMAP - Présentation et objectifs généraux
• Projet : REMAP - Algorithmique, bibliothèques et compilateurs

  ---

  Navigation encyclopédique : Liste des termes
  multiplexage / OpenMath / parallélisation automatique / parallélisation d'application