Accès mémoire  Adaptation dynamique de maillage  Algorithme glouton  Algorithmes  Algorithmes gloutons  Aliasing de registres  Allocation de registres découplée  Analyse d'erreur à priori  Analyse de performances  Analyse dynamique  Analyse statique du code  Anisotropie  Applications dynamiques  Approximation adaptative d' ordre élevé  Approximation de tenseurs de faible rang  Approximation, Théorie de l'  Architecture des ordinateurs  Architectures parallèles  Bases de données -- Gestion  Calcul adaptatif  Calcul intensif  Calcul tensoriel  Chimie quantique  Compilation  Compilation  Compression  Constante de Lebesgue  Constantes  Contours  Contraintes de registres  Cyclo-Static Dataflow Graph  Dataflow  Distance de Hausdorff  Données -- Compression  Données -- Transmission  Débruitage  Décomposition  Décomposition de Tucker  Décomposition en valeurs singulières d'ordre supérieur  EDP paramétriques  Eléments finis hiérarchiques  Espaces de Sobolev à poids  Filtres  Galerkin discontinu  Grilles informatiques  Génération aléatoire  Ingénierie guidée par les modèles  Interpolation  Interpolation de Lagrange  JIT  Langage d'action  Langages de programmation -- Sémantique  Langages dédiés  Langages parallèles  Logiciels -- Vérification  Lois de conservation scalaires  Many-Core  Meta-Langages  Microprocesseurs multi-coeurs  Méthode de Galerkin Discontinue  Méthode des éléments finis hp/dG graduée  Méthodes multi-échelles  Neutronique  Ondelettes  Optimisation  Optimization de code  Opérateurs d'interpolation ENO  Ordinateurs -- Mémoires  Ordinateurs -- Programmation  Ordonnancement  Ordonnancement  Parallélisme  Parallélisme  Phased Computation Graph  Plaie des grandes dimensions  Polynômes creux  Problèmes aux limites non linéaires  Problèmes aux valeurs propres  Problèmes aux valeurs propres non linéaires  Processus stochastiques  Représentation non-linéaire  Réduction de modèle  Régularité elliptique  Réécriture binaire  SSA  Schéma semi-lagrangien  Sections efficaces  Sobolev, Espaces de  Statecharts  Synchronous Dataflow Graph  Systèmes embarqués  Systèmes embarqués  Sémantique  Sémantique formelle  Séries de Legendre  Traitement d'images -- Techniques numériques  Transformation de programmes  Transmission numérique  Vidage en mémoire  Éléments finis, Méthode des  Évaluation d'un mapping  

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


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

Informatique temps réel, robotique et automatique
Soutenue le 26-11-2018
Thèse soutenue


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


Albert Cohen a été rapporteur de la thèse suivante :


Albert Cohen a été membre de jury de la thèse suivante :