Agents conversationnels  Analyse de performance  Analyse de pointeurs  Analyse des relations linéaires  Analyse statique  Analyse statique de programmes  Architecture parallèle distribuée  Architectures parallèles  Asymétrique Mesure Association  C  CUDA  CUDA  Calcul en virgule flottante  Cartes graphiques  Compilateurs  Compilation  Compilation  Compteurs de performance  Démence  Déploiement de processus  Ergonomie  Evaluation de l\'Interopérabilité  GPU  Gpu  Grandes entreprises  Graphe de tâches  Génération automatique de code  Implication Textuelle  Ingénierie Système  Ingénierie Système d\'Entreprise  Ingénierie des systèmes  Interfaces homme-Machine  Jeux vidéo en éducation  Langages dédiés  Langages parallèles  Langages spécifiques à un domaine  Liapounov, Stabilité de  Logiciels -- Vérification  MATLAB  MATLAB  Mesure Asymétrique Informatif  Meta-Langages  Modèle d'exécution  Modèles de programmation  Modélisation d\'Entreprise  Mpi  Mémoire distribuée  Mémoire partagée  Mémoire partagée répartie  OpenCL  OpenMP  Optimisation  Optimisation du programme  Ordinateurs -- Programmation  Ordonnancement  Ordonnancement  Outils formels  Parallélisation automatisée  Parallélisation de tâche  Parallélisme  Personnes âgées handicapées mentales  Pips  Processeurs graphiques  Processeurs manycore  Programmation parallèle  Prototypage rapide  Reconnaissant l'implication textuelle par généralité  Sensibilité au contexte  Sensibilité au flot de contrôle  Spire  Stabilité de Lyapunov  Systèmes à mémoire partagée et distribuée  Sécurité et sûreté  Sémantique  Théorie de la démonstration  Théorie de la preuve  Théorie des types  Traitement Automatique du Langage Naturel  Traitement automatique du langage naturel  Traitement d'images  Transformation de code  Transformation de programmes  Vérification de code  

13 thèses soutenues ayant pour partenaire de recherche Centre de recherche en informatique (Fontainebleau, Seine et Marne)
Extrait des plus récentes :

Informatique temps réel, robotique et automatique
Soutenue le 26-11-2018
thèse
Informatique temps réel, robotique et automatique
Soutenue le 03-04-2017
thèse
Informatique, temps réel, robotique et automatique
Soutenue le 25-09-2015
thèse
Informatique temps réel, robotique et automatique
Soutenue le 06-02-2015
thèse
Informatique temps réel, robotique et automatique
Soutenue le 19-11-2014
thèse
Informatique temps réel, robotique et automatique
Soutenue le 24-06-2013
thèse
Informatique temps réel, robotique et automatique
Soutenue le 13-12-2012
thèse