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. |
|