Search
Système D'exploitation Sécurisé – SAFE-OS
OSOSOSOS est un Système d'(O)exploitation Sécurisé Open Source (O) et Simple – OSOSOSOS
REtro-ingénerie de Traces d'analyse de SIMulation et d'EXécution de systèmes temps-réel – RT-SIMEX
Canevas d'optimisation de requêtes basé sur la composition de services – OPTIMACS
Architectures reconfigurables à grain ultra-fin et à base de nanocomposants – NANOGRAIN
Économie d'énergie dans les grappes de calculateurs. – EcoGrappe
Définir, Evaluer et MOdéliser les Technologies de l'Information de Santé – DEMOTIS
Workflow pour les traitements intensifs en bioinformatique – BioWIC
Architectures Hybrides et Contraintes – ArHyCo
Sécurité et Propriétés des Applications Contrôlées au sein d'un Linux Kernel – SPACLiK
conception et évaluation de systèmes de Détection d'intrusion au niveau AppLIcatif – DALI
Analyse Statique et OPTimisation – ASOPT
Système de mesure bas coût à base de capteur intégré multifonctions reconfigurable – SYSRECAP
Récupération adaptative des énergies ambiantes pour l'alimentation de microsystèmes autonomes – SESAM
Une méthode de développement de systèmes d'information médicaux sécurisés: de l'analyse des besoins à l'implémentation. – SELKIS
Diagnostic de câbles électriques sécuritaires pour grandes infrastructures – INSCAN
Techniques symboliques pour l'analyse de code binaire – BINCOA
Unification des Techniques d'Analyse de Code C Critique – U3CAT
Système Audio In Package Pour Objets Nomades – SAIPON
Plateforme ouverte pour l'estimation et l'optimisation de la consommation en puissance et en énergie – Open-PEOPLE
Support à la modélisation de vues et aide à ma décision pour les architectes – MOVIDA
Systèmes d'information et embarqués intégrés – ITEmis
Plateforme de Services Pour Architecture Petascale et DistribuéES. – SPADES
Simulation extrêmement extensible avec SimGrid – USS-SimGrid
Administration autonome pour systèmes complexes de grande taille – SelfXL
Distributed systems are becoming more and more complex due to their heterogeneous architectures (on the physical and software level) in which resources are numerous and whose availability evolves at runtime. This complexity and dynamicity requires permanent adaptation, from the application to the sy