default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDavid Defour
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[c25]David Defour, Franck Védrine:
Chromatic Analysis of Numerical Programs. ARITH 2023: 97-100- 2022
- [c24]David Defour:
Using scheduling entropy amplification in CUDA/OpenMP code to exhibit non-reproducibility issues. MCSoC 2022: 200-207 - 2021
- [j13]Emeric Brun, David Defour
, Pablo de Oliveira Castro, Matei Istoan, Davide Mancusi, Eric Petit, Alan Vaquet:
A Study of the Effects and Benefits of Custom-Precision Mathematical Libraries for HPC Codes. IEEE Trans. Emerg. Top. Comput. 9(3): 1467-1478 (2021) - [c23]David Defour, Pablo de Oliveira Castro, Matei Istoan, Eric Petit:
Shadow computation with BFloat16 to estimate the numerical accuracy of summations. ARITH 2021: 33-36 - [c22]Emeric Brun, David Defour, Pablo de Oliveira Castro, Matei Istoan, Davide Mancusi, Eric Petit, Alan Vaquet:
A Study of the Effects and Benefits of Custom-Precision Mathematical Libraries for HPC Codes. ARITH 2021: 62 - 2020
- [c21]David Defour, Pablo de Oliveira Castro, Matei Istoan, Eric Petit:
Custom-Precision Mathematical Library Explorations for Code Profiling and Optimization. ARITH 2020: 121-124 - [i5]David Defour, Pablo de Oliveira Castro, Matei Istoan, Eric Petit:
Custom-Precision Mathematical Library Explorations for Code Profiling and Optimization. CoRR abs/2005.02732 (2020)
2010 – 2019
- 2019
- [j12]Roman Iakymchuk, Stef Graillat, David Defour, Enrique S. Quintana-Ortí:
Hierarchical approach for deriving a reproducible unblocked LU factorization. Int. J. High Perform. Comput. Appl. 33(5) (2019) - [c20]Yohan Chatelain, Eric Petit, Pablo de Oliveira Castro, Ghislain Lartigue, David Defour:
Automatic Exploration of Reduced Floating-Point Representations in Iterative Methods. Euro-Par 2019: 481-494 - 2018
- [c19]Yohan Chatelain, Pablo de Oliveira Castro, Eric Petit, David Defour, Jordan Bieder, Marc Torrent:
VeriTracer: Context-enriched tracer for floating-point arithmetic analysis. ARITH 2018: 61-68 - [c18]David Defour:
FP-ANR: A representation format to handle floating-point cancellation at run-time. ARITH 2018: 76-83 - 2017
- [j11]Hugues de Lassus Saint-Genies, David Defour, Guillaume Revy:
Exact Lookup Tables for the Evaluation of Trigonometric and Hyperbolic Functions. IEEE Trans. Computers 66(12): 2058-2071 (2017) - [j10]Manuel Marin, David Defour, Federico Milano:
An Efficient Representation Format for Fuzzy Intervals Based on Symmetric Membership Functions. ACM Trans. Math. Softw. 43(3): 23:1-23:22 (2017) - [c17]Manuel Marin, David Defour, Federico Milano:
Asynchronous Power Flow on Graphic Processing Units. PDP 2017: 255-261 - 2016
- [j9]David Defour, Eric Petit:
A software scheduling solution to avoid corrupted units on GPUs. J. Parallel Distributed Comput. 90-91: 1-8 (2016) - 2015
- [j8]Caroline Collange, David Defour, Stef Graillat, Roman Iakymchuk:
Numerical reproducibility for the parallel reduction on multi- and many-core architectures. Parallel Comput. 49: 83-97 (2015) - [c16]Hugues de Lassus Saint-Genies, David Defour, Guillaume Revy:
Range reduction based on Pythagorean triples for trigonometric function evaluation. ASAP 2015: 74-81 - [c15]David Defour, Caroline Collange:
Reproducible floating-point atomic addition in data-parallel environment. FedCSIS 2015: 721-728 - [c14]Roman Iakymchuk, David Defour, Caroline Collange, Stef Graillat:
Reproducible Triangular Solvers for High-Performance Computing. ITNG 2015: 353-358 - [c13]David Defour:
Measuring Predictability of Nvidia's GPU Schedulers: Application to the Summation Problem. MCSoC 2015: 17-24 - 2014
- [b2]David Defour:
Contribution au calcul sur GPU: considérations arithmétiques et architecturales. University of Perpignan, France, 2014 - [j7]Michael François, David Defour, Christophe Nègre:
A Fast Chaos-Based Pseudo-Random Bit Generator Using Binary64 Floating-Point Arithmetic. Informatica (Slovenia) 38(2) (2014) - [c12]David Defour, Manuel Marin:
FuzzyGPU: A Fuzzy Arithmetic Library for GPU. PDP 2014: 624-631 - [c11]Roman Iakymchuk, David Defour, Caroline Collange, Stef Graillat:
Reproducible and Accurate Matrix Multiplication. SCAN 2014: 126-137 - [c10]Michael François, David Defour, Pascal Berthomé:
A Pseudo-Random Bit Generator Based on Three Chaotic Logistic Maps and IEEE 754-2008 Floating-Point Arithmetic. TAMC 2014: 229-247 - 2013
- [c9]David Defour, Manuel Marin:
Regularity Versus Load-Balancing on GPU for Treefix Computations. ICCS 2013: 309-318 - [c8]David Defour, Eric Petit:
GPUburn: A system to test and mitigate GPU hardware failures. ICSAMOS 2013: 263-270 - 2010
- [c7]Mark G. Arnold, Caroline Collange, David Defour:
Implementing LNS using filtering units of GPUs. ICASSP 2010: 1542-1545 - [c6]Caroline Collange, Marc Daumas, David Defour, David Parello:
Barra: A Parallel Functional Simulator for GPGPU. MASCOTS 2010: 351-360
2000 – 2009
- 2009
- [c5]Caroline Collange, David Defour, Yao Zhang:
Dynamic Detection of Uniform and Affine Vectors in GPGPU Computations. Euro-Par Workshops 2009: 46-55 - [c4]Caroline Collange, Yoginder S. Dandass, Marc Daumas, David Defour:
Using Graphics Processors for Parallelizing Hash-Based Data Carving. HICSS 2009: 1-10 - [c3]Caroline Collange, David Defour, Arnaud Tisserand:
Power Consumption of GPUs from a Software Perspective. ICCS (1) 2009: 914-923 - [i4]Caroline Collange, Yoginder S. Dandass, Marc Daumas, David Defour:
Using Graphics Processors for Parallelizing Hash-based Data Carving. CoRR abs/0901.1307 (2009) - 2008
- [j6]Caroline Collange, Marc Daumas, David Defour:
Line-by-line spectroscopic simulations on graphics processing units. Comput. Phys. Commun. 178(2): 135-143 (2008) - [j5]Caroline Collange, Marc Daumas, David Defour:
État de l'intégration de la virgule flottante dans les processeurs graphiques. Tech. Sci. Informatiques 27(6): 719-733 (2008) - 2007
- [c2]Caroline Collange, Marc Daumas, David Defour:
Graphic processors to speed-up simulations for the design of high performance solar receptors. ASAP 2007: 377-382 - [i3]Caroline Collange, Marc Daumas, David Defour:
Graphic processors to speed-up simulations for the design of high performance solar receptors. CoRR abs/cs/0703028 (2007) - 2006
- [j4]Bernard Goossens, David Defour:
Ordonnancement distribué d'instructions. Tech. Sci. Informatiques 25(7): 827-844 (2006) - [i2]Guillaume Da Graça, David Defour:
Implementation of float-float operators on graphics hardware. CoRR abs/cs/0603115 (2006) - [i1]Marc Daumas, Guillaume Da Graça, David Defour:
Caractéristiques arithmétiques des processeurs graphiques. CoRR abs/cs/0605081 (2006) - 2005
- [j3]Bernard Goossens, David Defour:
The instruction register file micro-architecture. Future Gener. Comput. Syst. 21(4): 767-773 (2005) - [j2]Nicolas Brisebarre, David Defour, Peter Kornerup, Jean-Michel Muller, Nathalie Revol:
A New Range-Reduction Algorithm. IEEE Trans. Computers 54(3): 331-339 (2005) - 2004
- [j1]David Defour, Guillaume Hanrot, Vincent Lefèvre, Jean-Michel Muller, Nathalie Revol, Paul Zimmermann:
Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic. Numer. Algorithms 37(1-4): 367-375 (2004) - 2003
- [b1]David Defour:
Fonctions élémentaires : algorithmes et implémentations efficaces pour l'arrondi correct en double précision. (Elementary functions : algorithms and efficient implementation for correct rounding for the double precision). École normale supérieure de Lyon, France, 2003 - [c1]David Defour, Florent de Dinechin:
Software Carry-Save: A Case Study for Instruction-Level Parallelism. PaCT 2003: 207-214
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
