Listes des Démonstrations et Posters

Liste des démonstrations

Projet Description Type
CASPER Plate-forme logicielle de type ASP pour la simulation numérique
PC 2001
CLACIC CaLAge de Codes par Ingénierie des Connaissances
EX 2002
CLEOPATRE Atelier de développement et de vérification d'une bibliothèque de Composants Logiciels sur Etagères Ouverts Pour les Applications Temps-Réel Embarquées EX 2001
CO2 COnception Par COntraintes PC 2001
DREAM-UP
Développement Rapide d'applications Enfouies sur Architectures Multi-processeurs Utilisant le Placement validé par conception PC 2002
EPIA Evolution d'un portail d'informations adaptatif PC 2002
ExtraPloDocs
EXTRAction de connaissance pour l'EXPLOitation de la DOCumentation Scientifique EX 2002
FLUX-LAB Plateforme de développement et environnement d'analyse pour les métiers du génie électrique PC 2002
GéoBench Visualisation immersive distribuée et interaction haptique appliquées aux données (géo)scientifiques
EX 2002
INDIGO
Objets interactifs distribués EX 2001
IPPOP
Intégration Produit Processus Organisation pour l'amélioration de la Performance en ingénierie EX 2001
LHIR
Librairie Haptique Intelligente Répartie EX 2002
LIBRE SOURCE
Plate-forme modulaire pour le développement logiciel coopératif et l'animation de communautés distribuées PF 2001
MUTSIC
Développement Multi Techniques pour la Simulation du Contrôle non destructif PF 2002
OpenPlast Plate-Forme de Simulation sur Grille de Calcul pour la Plasturgie PF 2002
OPTIMAT Optimisation des Procédés de TransformatIon des MATériaux
EX 2002
OSGAR Outil de Synthèse Générique pour Architectures Reconfigurables
EX 2002
PAPLOO Restitution de documents numériques structurés sur des supports électroniques divers PC 2002
PERF-RV Plate-forme française de réalité virtuelle PF 2000
SALOME Plate-forme logicielle pour la production de solutions de simulation numérique PF 2000-2002
SIMNAV Simulateur de navigation maritime et fluviale EX 2000
VIRGIS

Integration de Systèmes d'Information Géographique Hétérogènes PC 2000
WACIF

Robot de télé présence autonome doté de fonctions de navigation, de localisation, d'apprentissage, d'alerte et de communication EX 2002
USIQUICK Logiciel d'industrialisation automatique de pièce mécanique réalisée par fraisage PC 2002
XEMTEX Plateforme libre d'édition de textes EX 2002

Liste des posters

Projet
Description
Type

ACE

Agent Conversationnel Efficace PC 2003
ASTREE Analyse statique de logiciels temps-réel embarqués EX 2002
CASTLES Conception d'analyses statiques et de tests pour le logiciel embarqué sécurisé EX 2003
COBRA Critical operations bound to remote application PC 2003
COMODO Conception optimale multidisciplinaire distribuée EX 2003
COP Centre d'optimisation de programmes EX 2003
E.DOT Entrepôts de données ouverts sur la Toile PC 2002
EDEN Validation formelle en vue d'une évaluation au plus haut niveau des Critères Communs EX 2002
FLIP Formal look at IP PC 2003
GITAN Gestion intégrée et transparente des accès nomades PC 2003
GRAPHDUCE Environnement graphique pour les applications financières sur XML et CDuce EX 2003
INSIDE Infrastructure pour services Internet dans la distribution électrique PC 2002
LUTIN Outillage sémantique des patrons de conception et d'architecture EX 2001
MUSIC Mise en oeuvre par UML de systèmes informatiques certifiés PC 2003
OCETRE Modélisation 3D temps réel par analyse d'images EX 2003
OPERA Optimisation perceptive du rendu audio : Application au Chat sonore 3D multi-utilisateurs et aux environnements virtuels réalistes EX 2003
OUTILEX Plate-forme modulaire pour les projets relatifs au traitement automatique des langues naturelles PF 2001
PROUVE Protocoles cryptographiques, outils de vérification automatique EX 2003
SYSTEMCMANTIC Flot de conception intégré de la spécification à l'implémentation pour SoC EX 2003
VISAGE Virtualisation du stockage pour grilles informatiques PC 2003
Retour au programme
Haut de page