Skip to Main content Skip to Navigation
New interface


...
hal-01134232v2  Conference papers
Hugues de Lassus Saint-GenièsDavid DefourGuillaume Revy. Range Reduction Based on Pythagorean Triples for Trigonometric Function Evaluation
ASAP: Application-specific Systems, Architectures and Processors, Jul 2015, Toronto, Canada. pp.74-81, ⟨10.1109/ASAP.2015.7245712⟩
...
hal-01140280v1  Conference poster
Roman IakymchukStef GraillatCaroline CollangeDavid Defour. ExBLAS: Reproducible and Accurate BLAS Library
RAIM: Rencontres Arithmétiques de l’Informatique Mathématique, Apr 2015, Rennes, France. 7ème Rencontre Arithmétique de l'Informatique Mathématique, 2015
hal-01539343v1  Conference papers
Roman IakymchukDavid DefourStef Graillat. Towards Fast, Accurate and Reproducible LU Factorization
SCAN 2016, 17th international symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, Sep 2016, Uppsala, Sweden. pp.59-60
...
hal-01382645v1  Conference papers
Roman S IakymchukStef S GraillatDavid DefourEnrique S Quintana-Ortí. Hierarchical Approach for Deriving a Reproducible LU factorization on GPUs
The Numerical Reproducibility at Exascale (NRE16) workshop held as part of the Supercomputing Conference (SC16), Nov 2016, Salt Lake City, UT, United States
lirmm-01385459v1  Journal articles
Manuel MarinDavid DefourFederico Milano. An efficient representation format for fuzzy intervals based on symmetric membership functions
ACM Transactions on Mathematical Software, Association for Computing Machinery, 2016, 43 (3), pp.23:1--23:22. ⟨10.1145/2939364⟩
hal-01140531v1  Conference papers
Roman IakymchukCaroline CollangeDavid DefourStef Graillat. Reproducibility and Accuracy for High-Performance Computing
RAIM: Rencontres Arithmétiques de l’Informatique Mathématique, Apr 2015, Rennes, France
...
lirmm-01273490v1  Conference poster
Hugues de Lassus Saint-GenièsDavid DefourGuillaume Revy. Error-free Tables for Trigonometric Function Evaluation
ARCHI: Architecture des systèmes matériels et logiciels embarqués, et méthodes de conception associées, Jun 2015, Lille, France. 8e édition de l’école thématique Archi, 2015
...
hal-01215627v1  Conference papers
Caroline CollangeDavid DefourStef GraillatRoman Iakymchuk. Reproducible and Accurate Matrix Multiplication for High-Performance Computing
SCAN: Scientific Computing, Computer Arithmetic and Validated Numerics, Sep 2014, Wuerzburg, Germany. pp.42-43
...
hal-01202396v3  Conference papers
Roman IakymchukCaroline CollangeDavid DefourStef Graillat. ExBLAS: Reproducible and Accurate BLAS Library
NRE: Numerical Reproducibility at Exascale, Nov 2015, Austin, TX, United States
hal-01140504v1  Conference papers
Manuel MarinDavid DefourFederico Milano. An efficient midpoint-radius implementation to handle symmetric fuzzy intervals
RAIM: Rencontres Arithmétiques de l’Informatique Mathématique, Apr 2015, Rennes, France
...
hal-00827588v1  Conference papers
Eric PetitDavid Defour. GPUburn: A System to Test and Mitigate GPU Hardware Failures
Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS), Jul 2013, Samos, Greece. pp.263-270, ⟨10.1109/SAMOS.2013.6621133⟩
...
tel-01206379v1  Habilitation à diriger des recherches
David Defour. Contribution au calcul sur GPU: considérations arithmétiques et architecturales
Architectures Matérielles [cs.AR]. Université de Perpignan, 2014
...
hal-00785386v1  Conference papers
David DefourEric Petit. Températures, erreurs matérielles et GPU
ComPAS: Conférence en Parallélisme, Architecture et Système, Jan 2013, Grenoble, France. pp.1-11
...
hal-00069622v1  Conference papers
Marc DaumasGuillaume da GraçaDavid Defour. Caractéristiques arithmétiques des processeurs graphiques
SympA: Symposium en Architecture de Machines, Oct 2006, Perpignan, France. pp.86-95
lirmm-01206362v1  Journal articles
Bernard GoossensDavid Defour. The instruction register file micro-architecture
Future Generation Computer Systems, Elsevier, 2005, Parallel computing technologies, 21 (5), pp.767-773. ⟨10.1016/j.future.2004.05.017⟩
hal-01267747v1  Conference papers
David Defour. Measuring predictability of Nvidia’s GPU warp and block schedulers: Application to the summation problem
MCSoC: Embedded Multicore/Many-core Systems-on-Chip, Sep 2015, Turin, Italy. pp.17-24, ⟨10.1109/MCSoC.2015.9⟩
...
hal-01539180v1  Conference papers
Roman IakymchukDavid DefourCaroline CollangeStef Graillat. Reproducible and Accurate Matrix Multiplication
SCAN: Scientific Computing, Computer Arithmetic and Validated Numerics, Sep 2014, Wurzburg, Germany. pp.126-137, ⟨10.1007/978-3-319-31769-4_11⟩
lirmm-01268048v1  Conference papers
Roman IakymchukDavid DefourCaroline CollangeStef Graillat. Reproducible and Accurate Algorithms for Numerical Linear Algebra
PP: Parallel Processing for Scientific Computing, Apr 2016, Paris, France
lirmm-01267742v1  Journal articles
David DefourEric Petit. A software scheduling solution to avoid corrupted units on GPUs
Journal of Parallel and Distributed Computing, Elsevier, 2016, 90-91, pp.1--8. ⟨10.1016/j.jpdc.2016.01.001⟩