Denis BARTHOU
Denis Barthou Professeur (ENSEIRB)

Équipe LaBRI : Supports et Algorithmes pour les Applications Numériques hAutes performanceS
Fonction administrative : Directeur du département informatique de l'ENSEIRB-MATMECA, Resp. du thème supports exécutifs haute performance
Courrier électronique : denis.barthouarobaselabri.fr
Bureau : INRIA
Tél : +33 (0)5 40 00


Extrait de publications


Pierre Huchant, Emmanuelle Saillard, Denis Barthou, Patrick Carribault. Multi-Valued Expression Analysis for Collective Checking. EuroPar, Aug 2019, Göttingen, Germany. ⟨hal-02390025⟩

Adrien Cassagne, Olivier Hartmann, Mathieu Leonardon, Kun He, Camille Leroux, et al.. AFF3CT: A Fast Forward Error Correction Toolbox!. SoftwareX, Elsevie, 2019, 10, pp.100345. ⟨10.1016/j.softx.2019.100345⟩. ⟨hal-02358306⟩

Pierre Huchant, Emmanuelle Saillard, Denis Barthou, Hugo Brunie, Patrick Carribault. PARCOACH Extension for a Full-Interprocedural Collectives Verification. Second International Workshop on Software Correctness for HPC Applications, Nov 2018, Dallas, United States. ⟨hal-01937316⟩

Hugo Brunie, Julien Jaeger, Patrick Carribault, Denis Barthou. Profile-Guided Scope-Based Data Allocation Method. MEMSYS 2018 - International Symposium on Memory Systems, Oct 2018, Alexandria, United States. ⟨hal-01897917⟩

Adrien Cassagne, Olivier Aumage, Denis Barthou, Camille Leroux, Christophe Jego. MIPP: a Portable C++ SIMD Wrapper and its use for Error Correction Coding in 5G Standard. The 4th Workshop on Programming Models for SIMD/Vector Processing (WPMVP 2018), Feb 2018, Vienna, Austria. ⟨10.1145/3178433.3178435⟩. ⟨hal-01888010⟩


Page mise à jour le 13/08/2010 à 10:56