Denis Barthou
Denis Barthou
Professor of Computer Science, Bordeaux INP
Adresse e-mail validée de - Page d'accueil
Citée par
Citée par
Fuzzy array dataflow analysis
D Barthou, JF Collard, P Feautrier
Journal of Parallel and Distributed Computing 40 (2), 210-226, 1997
A language for the compact representation of multiple program versions
S Donadio, J Brodman, T Roeder, K Yotov, D Barthou, A Cohen, ...
Languages and Compilers for Parallel Computing: 18th International Workshop …, 2006
Maqao: Modular assembler quality analyzer and optimizer for itanium 2
L Djoudi, D Barthou, P Carribault, C Lemuet, JT Acquaviva, W Jalby
The 4th Workshop on EPIC architectures and compiler technology, San Jose 200 (5), 2005
On the equivalence of two systems of affine recurrence equations
D Barthou, P Feautrier, X Redon
Euro-Par 2002 Parallel Processing: 8th International Euro-Par Conference …, 2002
Aff3ct: A fast forward error correction toolbox!
A Cassagne, O Hartmann, M Leonardon, K He, C Leroux, R Tajan, ...
SoftwareX 10, 100345, 2019
Maximal static expansion
D Barthou, A Cohen, JF Collard
Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of …, 1998
Performance tuning of x86 openmp codes with maqao
D Barthou, A Charif Rubial, W Jalby, S Koliai, C Valensi
Tools for High Performance Computing 2009: Proceedings of the 3rd …, 2010
PARCOACH: Combining static and dynamic validation of MPI collective communications
E Saillard, P Carribault, D Barthou
The International Journal of High Performance Computing Applications 28 (4 …, 2014
Study of variations of native program execution times on multi-core architectures
A Mazouz, D Barthou
2010 International Conference on Complex, Intelligent and Software Intensive …, 2010
Exploring application performance: a new tool for a static/dynamic approach
L Djoudi, D Barthou, P Carribault, C Lemuet, JT Acquaviva, W Jalby
Proceedings of the 6th LACSI Symposium, 2005
Performance evaluation and analysis of thread pinning strategies on multi-core platforms: Case study of spec omp applications on intel architectures
A Mazouz, D Barthou
2011 International Conference on High Performance Computing & Simulation …, 2011
On the decidability of phase ordering problem in optimizing compilation
SAA Touati, D Barthou
Proceedings of the 3rd Conference on Computing Frontiers, 147-156, 2006
On the recognition of algorithm templates
C Alias, D Barthou
Electronic Notes in Theoretical Computer Science 82 (2), 395-409, 2004
Algorithm recognition based on demand-driven dataflow analysis
C Alias, D Barthou
10th Working Conference on Reverse Engineering (WCRE 2003), 2003
Automatic data mapping of signal processing applications
C Ancourt, D Barthou, C Guettier, F Irigoin, B Jeannet, J Jourdan, ...
Proceedings IEEE International Conference on Application-Specific Systems …, 1997
Array dataflow analysis in presence of non-affine constraints
D Barthou
Université de Versailles-Saint Quentin en Yvelines, 1998
MIL: A language to build program analysis tools through static binary instrumentation
AS Charif-Rubial, D Barthou, C Valensi, S Shende, A Malony, W Jalby
20th Annual International Conference on High Performance Computing, 206-215, 2013
Computing the transitive closure of a union of affine integer tuple relations
A Beletska, D Barthou, W Bielecki, A Cohen
Combinatorial Optimization and Applications: Third International Conference …, 2009
Toward OpenCL automatic multi-device support
S Henry, A Denis, D Barthou, MC Counilh, R Namyst
Euro-Par 2014 Parallel Processing: 20th International Conference, Porto …, 2014
MIPP: a Portable C++ SIMD Wrapper and its use for Error Correction Coding in 5G Standard
A Cassagne, O Aumage, D Barthou, C Leroux, C Jégo
Proceedings of the 2018 4th Workshop on Programming Models for SIMD/vector …, 2018
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20