Recherche
-
Vérification d'automates temporisés : sûreté, vivacité et modélisation
(Bordeaux, 2016-11-04)Thèses de doctorat -
Une approche holistique pour les réseaux sans fil économes en énergie
(Bordeaux, 2014-12-19)Thèses de doctorat -
Utilisation de la compression low-rank pour réduire la complexité des solveurs creux parallèles basés sur des techniques de factorisation directes.
(Bordeaux, 2018-11-29)Thèses de doctorat