AAA  Accelérateur  Algorithmes d'approximation  Algorithmes parallèles  Allocation  Allocation de mémoire  Allocation de registres  Allocation mémoire  Applications de flux de données  Architecture -- Informatique  Architecture  Architectures manycœurs  Au moment de l'exécution  Bases de données -- Gestion  Boucle  Boucles imbriquées  CPU + GPU  CPU  CPU vs GPU  Cache  Calcul hétérogène  Calcul intensif  Calcul sur des flux de données  Chiffrement  Chiffrement homomorphe  Circuits numériques synchrones  Coloration de graphes pondérés  Coloriage de graphes  Common Language Runtime  Compilateurs  Compilateurs  Compilation  Compilation  Compilation  Compilation Haute Performance  Compilation certifiée  Compilation dynamique  Complexité asymptotique  Crypto calculs  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  Grilles informatiques  Génération de code  Hexagonal tiling  Hiérarchie de mémoire  Hiérarchie mémoire  Hpc  Implémentation logicielle  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  Localité des données  Logiciels -- Vérification  MPSoC  Microprocesseurs -- Programmation  Microprocesseurs multi-coeurs  Modèle polyédrique  Multi-coeur processeurs  Multiprocesseur  Multiprocesseurs  OpenCL  Optimisation  Optimisation combinatoire  Optimisation de code  Optimisation des programmes  Optimisation mathématique  Optimisations  Optimisations du compilateur  Ordinateurs -- Mémoires  Ordonnancement  Ordonnancement  Ordonnancement affine  Ordonnancement multidimentionnel  Parallélisation  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 parallèle  Protection de l'information  Protocoles de cohérence  Prédiction de performance  Représentation intermédiaire  Représentations intermédiaires  SIMD  SIMT  Scratchpad  Solveurs  Solveurs SMT  Stabilité  StarPU  Support exécutif  Système embarqué  Systèmes de types  Systèmes enfouis  Sélection de code adaptative  Sémantique formelle  Séquentiel  Technique d'interaction  Temps de compilation  Threads  Thèses et écrits académiques  Transformations de boucles  Transformations de programmes  Tuilage  Tuilage paramétrique  UML  UML  Visualisation des logiciels  

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


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


Albert Henri Cohen a été président de jury de la thèse suivante :


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


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

Informatique
Soutenue le 25-11-2016
Thèse soutenue
Informatique
Soutenue le 12-12-2011
Thèse soutenue