logo EDITE Stef GRAILLAT
Identité
Stef GRAILLAT
État académique
Thèse soutenue le 2005-11-30
Titulaire d'une HDR (ou équivalent) 2013-12-02
Laboratoire: personnel permanent
Direction de thèses (depuis 2007)
0.25
Propositions de sujets de thèse
Voisinage
Ellipse bleue: doctorant, ellipse jaune: docteur, rectangle vert: permanent, rectangle jaune: HDR. Trait vert: encadrant de thèse, trait bleu: directeur de thèse, pointillé: jury d'évaluation à mi-parcours ou jury de thèse.
Productions scientifiques
edite:133279231733
Towards solving the Table Maker's Dilemma on GPU
Since 1985, the IEEE 754 standard defines formats, rounding modes and basic operations for floating-point arithmetic. In 2008 the standard has been extended, and recommendations have been added about the rounding of some elementary functions such as trigonometric functions (cosine, sine, tangent and their inverses), exponentials, and logarithms. However to guarantee the exact rounding of these functions one has to approximate them with a sufficient precision. Finding this precision is known as the \emphTable Maker's Dilemma. To determine this precision, it is necessary to find the \emphhardest-to-round argument of these functions. Lefèvre et al. proposed in 1998 an algorithm which improves the exhaustive search by computing a lower bound on the distance between a line segment and a grid. We present in this paper an analysis of this algorithm in order to deploy it efficiently on GPU. We manage to obtain a speedup of 15.4 on a NVIDIA Fermi GPU over one single high-end CPU core.
20th Euromicro International Conference on Parallel, Distributed and Network-based Processing, Garching, Germany 2012
edite:133279232971
Accurate summation, dot product and polynomial evaluation in complex floating point arithmetic
2011
edite:1332792416396
Stochastic Arithmetic in Multiprecision
2011
edite:1332792494810
SAM: a multiprecision stochastic arithmetic library
14th international symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2010), Lyon (France) 2010
edite:13327925361064
Error-Free Transformation in Rounding Mode toward Zero
Vol. 5492, pp. 217-229 2009
edite:13327925421078
Extended precision with a rounding mode toward zero environment. Application on the CELL processor
Vol. 3 1/2/3, pp. 153-173 2009
http://cpc.cs.qub.ac.uk/oerc_numerical_accuracy.pdf
Numerical validation and assessment of numerical accuracy
2009