AAA  Accelérateur  Accélerateur Materiel  Algorithme  Algorithmes  Algorithmes d'approximation  Algorithmes parallèles  Algèbre linéaire  Allocation  Allocation de mémoire  Allocation de registres  Allocation mémoire  Applications de flux de données  Architecture -- Informatique  Architecture  Architectures manycœurs  Attaques par canaux auxiliares  Au moment de l'exécution  Benchmark  Boucle  Boucles imbriquées  CPU + GPU  CPU  CPU vs GPU  Cache  Calcul adaptatif  Calcul approché  Calcul hétérogène  Calcul intensif  Calcul sur des flux de données  Chiffrement  Chiffrement homomorphe  Circuits numériques synchrones  Codage  Coloration de graphes pondérés  Coloriage de graphes  Common Language Runtime  Compilateur  Compilateurs  Compilateurs  Compilation  Compilation  Compilation  Compilation Haute Performance  Compilation certifiée  Compilation dynamique  Compilation polyédrique  Complexité asymptotique  Concurrence  Crypto calculs  Cryptographie  Delinearization  Données -- Transmission  Déchargement de noyau de calcul  Exploration de données  FFT  FHE  Flot de données  Formulation multi-dimensionnelle  Fouille de données  Fourier, Transformations de  Futures  GPGPU  Génération de code  HPC  Hexagonal tiling  Hiérarchie de mémoire  Hiérarchie mémoire  Hpc  Implémentation logicielle  Informatique  Ingénierie dirigée par les modèles  Ingénierie dirigée par les modèles  Interaction homme-ordinateur  Interfaces graphiques  Kahn  La parallélisation automatique  Langage intermediaire  Langage synchrone  Langages dataflow  Langages de programmation -- Sémantique  Langages de programmation  Langages de programmation fonctionnelle  Langages de programmation fonctionnels  Langages de programmation synchrones  Langages formels  Langages informatiques  Localité des données  Logiciel embarqué  Logiciels -- Vérification  MPSoC  Manycore  Microprocesseurs -- Programmation  Microprocesseurs multi-coeurs  Modèle de Performance  Modèle mémoire  Modèle polyédrique  Modèles de mémoire relâchée  Multi-Coeurs  Multi-coeur processeurs  Multiprocesseur  Multiprocesseurs  Multiprogrammation  Méthode de Galerkin Discontinue  Méthode de projection aléatoire  OpenCL  Optimisation  Optimisation combinatoire  Optimisation de Code  Optimisation de code  Optimisation des programmes  Optimisation mathématique  Optimisations  Optimisations du compilateur  Ordinateurs -- Programmation  Ordonnancement  Ordonnancement  Ordonnancement affine  Ordonnancement multidimentionnel  Parallélisation  Parallélisation automatique  Parallélisme  Parallélisme  Partitionnement d'un programme  Pavage de boucles  Pencil  Pipeline logiciel  Pochoir  Polyhedrique  Polytopes  Problème de submarine-building  Processeurs à hautes performances  Profilage  Programe Parallèle  Programmation linéaire  Programmation non bloquante  Programmation parallèle  Programmation parallèle  Projections aléatoires  Protection de l'information  Protocole de cohérence de cache  Protocoles de cohérence  Préconditionneur  Prédiction de performance  Registres  Representation Intermediare  Représentation intermédiaire  Représentations intermédiaires  Réduction de modèle  Réseaux de processus de Kahn  SIMD  SIMT  Scratchpad  Solveurs  Solveurs SMT  Stabilité  StarPU  Support d'exécution  Support exécutif  Système distribué  Système embarqué  Systèmes de types  Systèmes embarqués  Systèmes informatiques -- Mise en oeuvre  Sélection de code adaptative  Sémantique formelle  Séquentiel  Technique d'interaction  Techniques adaptatives  Temps de compilation  Temps réel  Temps-Réel  Threads  Thèses et écrits académiques  Transformations de boucles  Transformations de programmes  Tuilage  Tuilage paramétrique  UML  UML  Vectorisation  Visualisation des logiciels  

Albert Henri Cohen a rédigé la thèse suivante :


Albert Henri Cohen dirige actuellement les 2 thèses suivantes :


Albert Henri Cohen a dirigé les 14 thèses suivantes :


Albert Henri Cohen a été président de jury des 2 thèses suivantes :

Mathématiques et leurs interactions
Soutenue le 11-10-2019
Thèse soutenue

Albert Henri Cohen a été rapporteur des 8 thèses suivantes :


Albert Henri Cohen a été membre de jury des 8 thèses suivantes :

Informatique
Soutenue le 30-09-2019
Thèse soutenue
Informatique
Soutenue le 12-12-2011
Thèse soutenue