Algorithme  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  Architecture parallèle distribuée  Architectures manycœurs  Bibliothèques haute performance  C  C plus-plus  C++  CUDA  CUDA  Calcul en virgule flottante  Calcul haute performance  Calcul hautes performances  Calcul intensif  Calcul parallèle  Calcul à hautes performances  Cartes graphiques  Code calcul  Communications  Compilateur source-à-source  Compilateurs  Compilateurs  Compilation  Compilation  Complexité asymptotique  DSELs  Données -- Transmission  Débogage  Déchargement de noyau de calcul  Déploiement de processus  Evaluation de l\'Interopérabilité  Flux-de-données  GPGPU  GPU  Gpu  Grandes entreprises  Graphe de tâches  Génération automatique de code  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  Multiprocesseur  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élisation de tâche  Parallélisme  Parallélisme  Parallélismes  Partitionnement de graphes  Pavage  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 logique  Programmation par contraintes  Programmation parallèle  Programmation parallèle  Programme  Reconnaissance d'algorithmes  Sensibilité au contexte  Sensibilité au flot de contrôle  Spire  Squelettes algorithmiques  Stabilité de Lyapunov  Structure itérative  Systèmes embarqués  Systèmes embarqués  Systèmes à mémoire partagée et distribuée  Sécurité et sûreté  Sémantique dénotationelle  Temps réel  Traitement d'images -- Techniques numériques  Traitement d'images  Traitement du signal  Traitement d’images  Transformation de boucles  Transformation de code  Transformations de boucles  Tuilage paramétrique  Variable  Vérification  Vérification de code  Xfor  Électricité -- Conservation  énergie electrique  

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

Informatique temps réel, robotique et automatique - Fontainebleau
Soutenue le 05-07-2019
Thèse soutenue
Informatique temps réel, robotique et automatique
Soutenue le 03-04-2017
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

Automatique, Robotique et Informatique Temps Réel
Soutenue en 2006
Thèse soutenue


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


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

Mathématiques et Sciences et Technologies de l'Information et de la Communication
Soutenue le 14-12-2018
Thèse soutenue

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