Recherche
-
Étude de l’effet de la réplication de fichiers d’entrée sur l’efficacité et la robustesse d’un ensemble de calculs
(Bordeaux, 2017-09-08)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 -
Extraction des utilisations typiques à partir de données hétérogènes en vue d'optimiser la maintenance d'une flotte de véhicules
(Bordeaux 1, 2012-07-06)Thèses de doctorat -
SN cartésien massivement parallèle pour la simulation neutronique
(Bordeaux, 2015-12-15)Thèses de doctorat -
Optimisation des protocoles de routage dans les réseaux multi-sauts sans fil à contraintes.
(Bordeaux 1, 2012-10-10)Thèses de doctorat -
Services e-santé sensibles au contexte dans les espaces intelligents
(Bordeaux, 2017-04-24)Thèses de doctorat -
Un cadre inter-couches pour la protection contre les interférences dans les réseaux ad-hoc radio cognitive
(Bordeaux, 2015-12-18)Thèses de doctorat -
Sémantique formelle et vérification automatique de scénarios hiérarchiques multimédia avec des choix interactifs
(Bordeaux, 2015-11-27)Thèses de doctorat -
Définissabilité et synthèse de transductions
(Bordeaux, 2018-10-12)Thèses de doctorat -
Généralisation de modèles métaboliques par connaissances
(Bordeaux, 2014-12-18)Thèses de doctorat