-
Variables d'induction généralisées pour l'analyse par instances de programmes...
La sophistication croissante des microprocesseurs et des architectures ouvre la voie de nouvelles techniques d'optimisation dont il est souhaitable de décharger le... -
Static and Dynamic Methods of Polyhedral Compilation for an Efficient Executi...
Many automatic software parallelization systems have been proposed in the past decades, but most of them are dedicated to source-to-source transformations. This paper... -
Compilation et optimisation statique des communications hôte-accélérateur
International audience -
Instructions shifting algorithmics
The constant evolution of processors architectures, with superscalar, instruction-level parallelism, prediction and speculation capabilities and the multiple number of... -
Compact DAG Representation and its Dynamic Scheduling
Article dans revue scientifique avec comité de lecture. -
SLC : Symbolic Scheduling for Executing Parameterized Task Graphs on Multipro...
Colloque avec actes et comité de lecture.
