L'Agence nationale de la recherche Des projets pour la science

Translate this page in english

Effectuer une recherche dans les résumés des projets financés :

 

ARPEGE Systèmes Embarqués et Grandes Infrastructures - 2008

ArHyCo – Architectures Hybrides et Contraintes

ASOPT – Analyse Statique et OPTimisation

BINCOA – Techniques symboliques pour l'analyse de code binaire

BioWIC – Workflow pour les traitements intensifs en bioinformatique

DALI – conception et évaluation de systèmes de Détection d'intrusion au niveau AppLIcatif

DEMOTIS – Définir, Evaluer et MOdéliser les Technologies de l'Information de Santé

EcoGrappe – Économie d'énergie dans les grappes de calculateurs.

INSCAN – Diagnostic de câbles électriques sécuritaires pour grandes infrastructures

ITEmis – Systèmes d'information et embarqués intégrés

MOVIDA – Support à la modélisation de vues et aide à ma décision pour les architectes

NANOGRAIN – Architectures reconfigurables à grain ultra-fin et à base de nanocomposants

Open-PEOPLE – Plateforme ouverte pour l'estimation et l'optimisation de la consommation en puissance et en énergie

OPTIMACS – Canevas d'optimisation de requêtes basé sur la composition de services

OSOSOSOS – OSOSOSOS est un Système d'(O)exploitation Sécurisé Open Source (O) et Simple

RT-SIMEX – REtro-ingénerie de Traces d'analyse de SIMulation et d'EXécution de systèmes temps-réel

SAFE-OS – Système D'exploitation Sécurisé

SAIPON – Système Audio In Package Pour Objets Nomades

SelfXL – Administration autonome pour systèmes complexes de grande taille

SELKIS – Une méthode de développement de systèmes d'information médicaux sécurisés: de l'analyse des besoins à l'implémentation.

SESAM – Récupération adaptative des énergies ambiantes pour l'alimentation de microsystèmes autonomes

SPACLiK – Sécurité et Propriétés des Applications Contrôlées au sein d'un Linux Kernel

SPADES – Plateforme de Services Pour Architecture Petascale et DistribuéES.

SYSRECAP – Système de mesure bas coût à base de capteur intégré multifonctions reconfigurable

U3CAT – Unification des Techniques d'Analyse de Code C Critique

USS-SimGrid – Simulation extrêmement extensible avec SimGrid

Revenir à la page précédente