Cohen, Albert Henri, 1973-....
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
VIAF ID: 208064739 ( Personal )
Permalink: http://viaf.org/viaf/208064739
Preferred Forms
4xx's: Alternate Name Forms (2)
Works
| Title | Sources |
|---|---|
| Algorithmic Number Theory : Second International Symposium, ANTS-II Talence, France, May 18–23, 1996 Proceedings |
|
| Allocation et ordonnancement sur des processeurs multi-coeur avec des solveurs SMT. |
|
| Amélioration du tuilage, réduction du temps de compilation, et extension de l'utilisabilité de la compilation polyédrique. |
|
| Analyse et transformation de programmes : du modèle polyédrique aux langages formels |
|
| Une approche combinée langage-polyédrique pour la programmation parallèle hétérogène |
|
| Une approche découplée pour l'optimization de boucle à haut niveau. |
|
| Approches découplées aux problèmes d'allocations de registres et de mémoires locales. |
|
| Automatic hardening of embedded applications against physical attacks. |
|
| A combined language and polyhedral approach to heterogeneous parallelism. |
|
| Compilation et optimisations pour l'arithmétique à virgule flottante en précision variable : du langage et des bibliothèques à la génération de code |
|
| Compilation sous-polyédrique reposant sur des systèmes à deux variables par inégalité. |
|
| Compiler construction, 23th international conference, CC 2014, held as part of the joint european conferences on Theory and practice of software, ETAPS 2014, Grenoble, France / Albert Cohen |
|
| Compiling for a multithreaded dataflow architecture : algorithms, tools, and experience |
|
| Components of a computing systems : introduction to computer architecture and operating systems promotion 2012, année 2, enseignement diversifié 1, INF422 |
|
| Contributions à la parallélisation sûre et efficace de systèmes critiques temps-réel. |
|
| Contributions to the safe and efficient parallelisation of hard real-time systems |
|
| Curve and surface fitting : Saint-Malo 2002 |
|
| Curves and surfaces : 8th international conference, Paris, France, June 12-18, 2014 : revised selected papers |
|
| Data locality on manycore architectures. |
|
| A decoupled approach to high-level loop optimization : tile shapes, polyhedral building blocks and low-level compilers |
|
| Decoupled approaches to register and software controlled memory allocations |
|
| Distributed runtime system with global address space and software cache coherence for a data-flow task model. |
|
| Erbium : Reconciling languages, runtimes, compilation and optimizations for streaming applications |
|
| Extension des Techniques Polyedriques vers les Specifications Parallelles et les Approximations. |
|
| Framework pour une exécution efficace sur systèmes GPU et CPU+GPU. |
|
| From Cyclo-Static Process Networks to Code Generation for Multidimensional Software Pipelining. |
|
| Génération automatique de codes adaptatifs |
|
| Génération de code efficace pour accélérateurs matériels par raffinement d’implémentations partiellement spécifiées. |
|
| Gestion hétérogène des données dans les hiérarchies mémoires pour l'optimisation énergétique des architectures multi-coeurs |
|
| Hackez google android introduction à la programmation système |
|
| Improving tiling, reducing compilation time, and extending the scope of polyhedral compilation |
|
| Informatique et sciences du numérique : spécialité ISN en terminale S, avec des exercices corrigés et idées de projets |
|
| Kahn process networks as concurrent data structures : lock freedom, parallelism, relaxation in shared memory |
|
| Un langage synchrone fonctionnel avec horloges entières. |
|
| Loop unrolling minimisation for periodic register allocation. |
|
| Mapping and scheduling on multi-core processors using SMT solvers |
|
| Minimisation du facteur de déroulage de boucle dans une allocation périodique de registres |
|
| Multi-time code generation and multi-objective code optimisation. |
|
| New MP-SoC profiling tools based on data mining techniques |
|
| Nouveaux outils de profilage de MP-SoC basés sur des techniques de fouille de données. |
|
| Numerical and harmonic analysis of a problem in fluid mechanics. |
|
| An Optimized UML Compiler. |
|
| Préservation des propriétés dans un flot de compilation optimisant. |
|
| Programming parallelism with futures in Heptagon a synchronous functional language, and, study of Kahn networks aiming synchronous compilation. |
|
| Randomized linear algebra for model order reduction |
|
| Read Only Data Specific Management for an Energy Efficient Memory System. |
|
| Les réseaux de processus de Kahn : progrès non bloquant, parallélisme, relâchement en mémoire partagée. |
|
| Restructuration interactive des programmes |
|
| Scalable optimization techniques in the polyhedral model . |
|
| Scheduling Tasks over Multicore machines enhanced with Accelerators : a Runtime System's Perspective |
|
| SECURING SOFTWARE AGAINST FAULT ATTACKS AT COMPILE TIME. |
|
| Sécurisation à la compilation de logiciels contre les attaques en fautes |
|
| Sécurisation systématique d'applications embarquées contre les attaques physiques |
|
| Semantic foundations of intermediate program representations |
|
| Specification and compilation of embedded neural networks. |
|
| Spécification et compilation de réseaux de neurones embarqués |
|
| Stratégies exploratoires efficaces pour la compilation polyédrique : algorithmes et expérience dans un compilateur de production. |
|
| Study of transformations and static or dynamic parallel code optimization for manycore architecture. |
|
| Sub-Polyhedral Compilation using (Unit-)Two-Variables-Per-Inequality Polyhedra |
|
| Système distribué à adressage global et cohérence logicielle pourl'exécution d'un modèle de tâche à flot de données |
|
| Systèmes de cryptocalculs, compilation et support d'exécution |
|
| Timing analysis for time-predictable architectures |
|
| Toward transparent and parsimonious methods for automatic performance tuning. |
|
| Tracking haute fréquence pour architectures SIMD : optimisation de la reconstruction LHCb |
|
| Unsupervised Translation of Programming Languages |
|
| Vers des méthodes transparentes et parcimonieuses pour l'optimisation automatique des performances |
|
| Vers des supports exécutifs capables d'exploiter des machines multicors hétérogènes. |
|
