Rapport d'activité INRIA 2000

Navigation encyclopédique : Liste des termes
ingénierie concourante / Java Card / logiciel pour carte à puce / logique

Java Card

• Projet : LANDE - Action Secsafe
• Projet : LANDE - Actions « amont »
• Projet : LEMME - Sémantique des langages de programmation

javabeans

• Projet : LEMME - Outils pour les environnements de preuve

jeu de test

• Projet : LANDE - Action Two
• Projet : LANDE - Actions « aval »

jeu vidéo

• Projet : SIAMES - Cryo-Interactive : humain virtuel temps réel

jeux

• Projet : SIAMES - Le multimédia, l'audiovisuel et les jeux

jeux stochastiques

• Projet : MISTRAL - Contrôle et théorie des jeux

Junior

• Action : MIMOSA - Programmation réactive
• Action : MIMOSA - Reactive C, SugarCubes, Icobjs, Junior
• Action : MIMOSA - Programmation réactive distribuée

Kaomi

• Projet : OPERA - Collaboration avec Aérospatiale
• Projet : OPERA - Collaboration avec Alcatel

KDD

• Action : AID - Systèmes de recommandations

Kolmogorov

• Avant-projet : IMEDIA - Descripteurs d'images  : Bases génériques

laboratoire d'utilisabilité

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

lambda-calcul

• Projet : CALLIGRAMME - Lambda calculs typés, sémantique, complexité
• Projet : CALLIGRAMME - Présentation et objectifs généraux
• Action : MIMOSA - Sémantique de la mobilité

lambda-Prolog

• Projet : LANDE - Actions « aval »

LAN

• Projet : HIPERCOM - Mise en oeuvre du protocole IPv6 au-dessus d'une infrastructure ATM

Lanczos

• Projet : ALADIN - Problèmes aux valeurs propres

langage

• Action : CERTILAB - Preuve de propriétés de langages
• Action : CERTILAB - Résultats
• Projet : SIAMES - Modeleur de comportements : HPTS

langage à objets

• Projet : VASY - Contrat Reutel-2000 (Alcatel)
• Projet : VASY - Contrat RNTL Parfums

langage C

• Projet : COMPOSE - Tempo, un évaluateur partiel pour C
• Projet : LANDE - Actions « aval »

langage d'interaction

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

langage d'interface

• Projet : PAMPA - Alcatel/Reutel
• Projet : VASY - Contrat Reutel-2000 (Alcatel)
• Projet : VASY - Contrat RNTL Parfums

langage de démonstrations

• Projet : LOGICAL - Développement du système Coq

Langage de description d'architectures embarquées

• Avant-projet : TRIO - Procédés de modélisation

langage de modélisation algébrique

• Action : ROMANS - Contexte et objectifs du projet

langage de programmation logique

• Projet : LANDE - Langages déclaratifs

langage de requêtes

• Projet : VERSO - Données complexes

langage de spécification

• Action : AID - CLF - « Computer Language Factory »
• Action : AID - Logiciels
• Action : AID - ROL - « Reactive Object Language »
• Action : AID - Conception de systèmes de recommandations personnalisées
• Action : AID - Evaluation du langage ROL pour nos applications Web

langage de tactiques

• Projet : LOGICAL - Développement du système Coq
• Projet : LOGICAL - Développement en Coq

langage dédié

• Projet : COMPOSE - GAL, un langage et un générateur de pilotes de cartes graphiques
• Projet : COMPOSE - PLAN-P
• Projet : COMPOSE - Langages dédiés et leur application aux systèmes d'exploitation
• Projet : LANDE - Actions « amont »

langage fonctionnel

• Projet : LANDE - Langages déclaratifs
• Action : MIMOSA - Sémantique de la mobilité

langage impératif

• projet : TROPICS - Extension d'IL aux constructions objet

langage intermédiaire

• projet : TROPICS - Extension d'IL aux constructions objet

langage mathématique

• Projet : LOGICAL - Logique et calcul

langages

• Projet : LEMME - Sémantique des langages de programmation

langages de contraintes

• Action : CONTRAINTES - Solveurs de contraintes

langages de programmation

• Projet : LOGICAL - Logique et calcul

langages synchrones

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

langue

• Projet : LED - Etude et modélisation de l'usage de la langue

Laplacien

• Projet : MIAOU - Problèmes inverses géométriques et identification de paramètres pour le Laplacien 2D

lattice animal

• Avant-projet : TREC - Réseaux de dimension infinie

lecture-écriture

• projet : TROPICS - Analyse Lecture-Ecriture dans ALI

level-set

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

lien symbolique-numérique

• Projet : SAGA - Fondements scientifiques
• Projet : SAGA - Bibliothèque ALIAS
• Projet : SAGA - Bibliothèque ALP
• Projet : SAGA - Multires, un module autour des résultants en MAPLE

limite

• Projet : LOGICAL - Développement en Coq

limite hydrodymanique

• Avant-projet : TREC - Réseaux de dimension infinie

Limite OPTA (Optimum Performance Theoretically Attainable)

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

limite thermodynamique

• Projet : MEVAL - Fondements scientifiques

linéarisation

• Projet : ALADIN - Problèmes linéaires et non linéaires

linéarisation de thésaurus

• Projet : VERSO - CWeb

linguistique

• Projet : ATOLL - Formalismes grammaticaux
• Projet : ATOLL - DYALOG: Automates à piles et Programmation dynamique

Linux

• Projet : ATOLL - Logiciels libres

lissage

• Projet : ESTIME - Inversion sismique

localisation 3D

• 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

localisation

• Projet : ICARE - Navigation de robots mobiles

localisation et cartographie

• Projet : ICARE - Perception et navigation

localité

• Projet : CAPS - Architecture de processeurs (cf. 2.1)

locomotion

• Projet : SIAMES - Cryo-Interactive : humain virtuel temps réel

logiciel

• Avant-Projet : I3D - SBD : logiciel de modélisation rapide de surfaces
• Projet : SIAMES - Logiciel de simulation d'éclairage
• Projet : SIAMES - Modeleur de comportements : HPTS
• Projet : SIAMES - Modeleur d'environnement urbain : VUEMS

logiciel certifié

• Action : CERTILAB - Logiciel embarqué
• Action : CERTILAB - Panorama
• Action : CERTILAB - Preuve de propriétés de langages
• Action : CERTILAB - Résultats

logiciel critique

• Projet : LANDE - Domaines d'applications

logiciel de planification

• Projet : PROTHEO - Domaines d'applications

logiciel de rendu

• Projet : IMAGIS - Visualisation, rendu et simulation de l'éclairage

logiciel de télécommunication

• Projet : PROTHEO - Domaines d'applications

logiciel fiable

• Action : TICK - Xeve

logiciel libre

• Projet : ATOLL - Logiciels libres

logiciel numérique

• Projet : M3N - Semi-conducteurs

logiciel pour carte à puce

• Projet : PAMPA - FormalCard: Validations formelles d'applications embarquées sur cartes à puces

  ---

  Navigation encyclopédique : Liste des termes
  ingénierie concourante / Java Card / logiciel pour carte à puce / logique