Headlines...
Vérification et Synthèse de Contrôleur pour des Propriétés de Confidentialité
-
Jérémy Dubreil
Une méthodologie de spécification et de validation de systèmes hétérogènes fondée sur un modèle de contrats pour la conception des systèmes embarqués
-
Yann Glouche
Contributions à la segmentation de séquences d'images au sens du mouvement dans un contexte semi-automatique
-
Matthieu Fradet
Étude et optimisation de l'interaction processeurs-architectures reconfigurables dynamiquement
-
Faten Ben Abdallah Manai
Traitement parallèle des comparaisons intensives de séquences génomiques
-
Van Hoa Nguyen
Vers des générateurs de nombres aléatoires uniformes et gaussiens à très haut débit
-
Renaud Santoro
Services et protocoles pour l’ex´ecution fiable d’applications distribu´ees dans les grilles de calcul
-
Thomas Ropars
Analyses automatiques pour le test de programmes orientés aspect
-
Romain Delamare
Analyse factorielle des correspondances pour l'indexation et la recherche d'information dans une grande base de données d'images
-
Nguyen-Khang Pham
Modélisation de l’auto-similarité dans les vidéos : Applications à la synchronisation de scènes et à la reconnaissance d’actions
-
Emilie Dexter
Vers un partitionnement automatique d’applications en codelets spéculatifs pour les systèmes hétérogènes à mémoires distribuées
-
Eric Petit
Early Consensus in Message-passing Systems Enriched with a Perfect Failure Detector and its Application in the Theta Model
-
François Bonnet
,
Michel Raynal
Navigating the Semantic Web with Logical Information Systems
-
Sébastien Ferré
GEOLIS : Un Système d’information logique pour l’organisation et la recherche de données géolocalisées
-
Olivier Bedel
Localisation et cartographie simultanées en vision monoculaire et en temps réel basé sur les structures planes
-
Fabien Servant
Localisation et caractérisation d'objets inconnus à partir d'informations visuelles : vers une saisie intuitive pour les personnes en situation de handicap
-
Claire Dune
Combining Processor Virtualization and Component-Based Engineering in C for Heterogeneous Many-Core Platforms
-
Erven Rohou
,
Andrea Carlo Ornstein
,
Ali Erdem Özcan
,
Marco Cornero
Élagage d'invariants de programmes - Pruning program invariants
-
Tiphaine Turpin
A simple proof of the necessity of the failure detector $\Sigma$ to implement a register in asynchronous message-passing systems
-
François Bonnet
,
Michel Raynal
Une croisière dans les réseaux : des réseaux d'accès sans fil aux réseaux de coeur tout optique
-
Nizar Bouabdallah
Contribution à la formation en réalité virtuelle : scénarios collaboratifs et intégration d'humains virtuels collaborant avec des utilisateurs réels
-
Stéphanie Gerbaud
Contribution to the study of visual, auditory and haptic rendering of information of contact in virtual environments
-
Jean Sreng
Looking for the Weakest Failure Detector for $k$-Set Agreement in Message-passing Systems: Is $\Pi_k$ the End of the Road?
-
François Bonnet
,
Michel Raynal
Ontologie de partage de données et d’outils de traitement dans le domaine de la neuroimagerie
-
Lynda Temal
Contextual graph grammars characterizing context-sensitive languages
-
Christophe Morvan
Optimisation des communications multicast sous contraintes
-
Miklós Molnár
Analyse de systèmes dynamiques par discrétisation Exemples d'applications en théorie des nombres et en biologie moléculaire
-
Anne Siegel
Reconnaissance d'écriture manuscrite et interaction homme-document
-
Eric Anquetil
Reachability analysis of rewriting for software verification
-
Thomas Genet
Contribution à la conception de services de partage de données pour les grilles de calcul
-
Gabriel Antoniu
|
|
In short...
2010/01/15
Reachability analysis of rewriting for software verification
2010/01/15
La sécurité des applications Web : " les enjeux de l'engineering des codes"
2009/11/09
7ème rencontres autour de la plate-forme bio-informatique
2009/10/23
Les processeurs multicoeurs... Le dessous des cartes
|
