: SLAM par optimisation de graphe  Algorithmes  Algèbre linéaire creuse  Analyse de boucle  Analyse dynamique  Analyse statique  Apprentissage automatisé  Architecture -- Informatique  Architecture client-serveur  Architecture des ordinateurs  Architecture reconfigurable  Architectures hétérogènes  Architectures hétérogènes embarquées  Architectures manycœurs  Attributs sismiques  CPU + GPU  CPU vs GPU  Calcul haute performance  Calcul hétérogène  Calcul intensif  Calcul intensif  Caractérisation  Co-design  Codelet  Compilation  Compilation  Compilation dynamique  Complexité de calcul  Complexité de calcul  Débogage  Evaluation de performances  Exascale  Exécution dans le désordre  FPGA  GPGPU  Gisements pétrolifères, Étude des  Graphe de tâches  Génération de code  HPC  Hiérarchie de mémoire  Imagerie sismique  Informatique embarquée  Inférence grammaticale  Internet -- Logiciels  Java  Langages dataflow  Localité des données  Logiciels -- Vérification  Logiciels  MPSoC  Manycore  Microprocesseurs -- Programmation  Microprocesseurs multi-coeurs  Mise au point  Modèle polyédrique  Modèles de programmation  Modèles mathématiques  Modélisation  Modélisation rapide  Multi-coeurs  Multilinguisme  NUMA  NUMA  Noyaux  Optimisation  Optimisation combinatoire  Optimisation de code  Ordonnancement  Ordonnancement  Parallélisme  Parallélisme  Pavage de boucles  Performance  Processeurs à hautes performances  Programmation fonctionnelle  Programmation multicœurs  Programmation parallèle  Protocoles de communication  Protocoles de réseaux d'ordinateurs  Prédiction de performance  RTM  Réseaux logiques programmables par l'utilisateur  Rétro-conception  Rétro-ingénierie  Simulation au cycle près  Simulation par ordinateur  Solveurs parallèles  Structure de données  Supports d’exécution  Supports exécutifs  Systèmes enfouis  Systèmes informatiques  Systèmes sur puce  Systèmes, Conception de  Sécurité  Sélection de code adaptative  Thèses et écrits académiques  Vision artificielle  Xeon Phi  

François Bodin a rédigé la thèse suivante :


François Bodin a dirigé les 6 thèses suivantes :


François Bodin a été président de jury des 4 thèses suivantes :


François Bodin a été rapporteur des 6 thèses suivantes :


François Bodin a été membre de jury de la thèse suivante :