Recherche
-
Abstractions pour les automates temporisés
(Bordeaux 1, 2012-06-06)Thèses de doctorat -
Preuves d’algorithmes distribués par raffinement
(Bordeaux 1, 2012-07-04)Thèses de doctorat -
Apprendre à un robot à reconnaître des objets visuels nouveaux et à les associer à des mots nouveaux : le rôle de l’interface
(Bordeaux 1, 2012-04-04)Thèses de doctorat -
Des spanneurs aux spanneurs multichemins
(Bordeaux 1, 2012-11-29)Thèses de doctorat -
Exploitation efficace des architectures parallèles de type grappes de NUMA à l’aide de modèles hybrides de programmation
(Bordeaux 1, 2012-04-18)Thèses de doctorat -
Une approche de visualisation in-situ pour le couplage parallèle et le pilotage de simulations à travers des fichiers en mémoire distribuée partagée
(Bordeaux 1, 2012-12-14)Thèses de doctorat -
Ordonnancement et allocation de bande passante dans les systèmes de streaming pair-à-pair multicouches
(Bordeaux 1, 2012-12-10)Thèses de doctorat -
Implantations cryptographiques sécurisées et outils d’aide à la validation des contremesures contre les attaques par canaux cachés
(Bordeaux 1, 2012-03-30)Thèses de doctorat -
Développement de méthodes bioinformatiques dédiées à la prédiction et l'analyse des réseaux métaboliques et des ARN non codants
(Bordeaux 1, 2012-11-20)Thèses de doctorat -
Exploiter la structure des modèles pour la vérification par la méthode CEGAR
(Bordeaux 1, 2012-11-27)Thèses de doctorat