Algorithmes  Algorithmes d'approximation  Algorithmes parallèles  Algèbre linéaire  Allocation mémoire  Analyse  Analyse de pointeurs  Analyse des relations linéaires  Analyse statique  Analyse statique de programmes  Architecture -- Informatique  Architectures manycœurs  C  C++  CUDA  CUDA  Calcul en virgule flottante  Calcul hautes performances  Calcul intensif  Cartes graphiques  Code calcul  Compilateurs  Compilateurs  Compilation  Compilation  Complexité asymptotique  DSELs  Débogage  Déchargement de noyau de calcul  Déploiement de processus  Evaluation de l\'Interopérabilité  GPU  Gpu  Grandes entreprises  Graphe de tâches  Génération de code  Hiérarchie de mémoire  Informatique -- Aspect cognitif  Informatique  Ingénierie Système  Ingénierie Système d\'Entreprise  Ingénierie des systèmes  Langages dataflow  Langages de programmation  Langages parallèles  Langages spécifiques à un domaine  Liapounov, Stabilité de  Localité de données  Localité des données  Logiciel  Logiciels -- Vérification  Microprocesseurs multi-coeurs  Modèle polyédrique  Modèles de programmation  Modélisation d\'Entreprise  Mpi  Mémoire distribuée  Mémoire partagée  Mémoire partagée répartie  Méta-programmation  OpenCL  OpenMP  Optimisation  Optimisation de code  Optimisations du compilateur  Optimization de boucles  Ordinateurs -- Programmation  Ordonnancement  Ordonnancement  Ordonnancement affine  Parallélisation  Parallélisation automatisée  Parallélisme  Parallélisme  Pavage de boucles  Pips  Polyèdres  Processeur CELL  Processeur embarqué  Processeurs graphiques  Processeurs manycore  Processeurs à hautes performances  Procédure  Programmation  Programmation asynchrone  Programmation générative  Programmation générique  Programmation linéaire  Programmation parallèle  Programmation parallèle  Programme  Sensibilité au contexte  Sensibilité au flot de contrôle  Slam  Spire  Squelettes algorithmiques  Stabilité de Lyapunov  Structure itérative  Systèmes à mémoire partagée et distribuée  Sécurité et sûreté  Sémantique dénotationelle  Thèses et écrits académiques  Traitement d'images  Traitement d’images  Transformation de boucles  Transformations de boucles  Tuilage paramétrique  Variable  Vérification  Xfor  

François Irigoin dirige actuellement les 2 thèses suivantes :

Informatique temps réel, robotique et automatique - Fontainebleau
En préparation depuis le 01-10-2014
Thèse en préparation

Informatique temps réel, robotique et automatique - Fontainebleau
En préparation depuis le 15-10-2013
Thèse en préparation

Soutenance prévue le 03-04-2017

François Irigoin a dirigé les 11 thèses suivantes :

Informatique temps réel, robotique et automatique
Soutenue le 30-11-2016
Thèse soutenue
Informatique temps réel, robotique et automatique
Soutenue le 06-02-2015
Thèse soutenue
Informatique temps réel, robotique et automatique
Soutenue le 19-11-2014
Thèse soutenue
Informatique temps réel, robotique et automatique
Soutenue le 24-06-2013
Thèse soutenue
Informatique temps réel, robotique et automatique
Soutenue le 13-12-2012
Thèse soutenue
Informatique, temps réel, robotique et automatique
Soutenue en 2010
Thèse soutenue


François Irigoin a été président de jury de la thèse suivante :


François Irigoin a été rapporteur des 4 thèses suivantes :


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