Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

91 résultats
Image document

On the maximum relative error when computing integer powers by iterated multiplications in floating-point arithmetic

Stef Graillat , Vincent Lefèvre , Jean-Michel Muller
Numerical Algorithms, 2015, 70 (3), pp.653-667. ⟨10.1007/s11075-015-9967-8⟩
Article dans une revue ensl-00945033v2
Image document

Choosing a twice more accurate dot product implementation

Stef Graillat , Philippe Langlois , Nicolas Louvet
ICNAAM: International Conference of Numerical Analysis and Applied Mathematics, Sep 2006, Hersonnisos, Crete, Greece. pp.498-499
Communication dans un congrès hal-01351480v1

Precision auto-tuning using stochastic arithmetic

Quentin Ferro , Stef Graillat , Thibault Hilaire , Fabienne Jézéquel
10th International Congress on Industrial and Applied Mathematics (ICIAM), minisymposium ``Exploring Arithmetic and Data Representation Beyond the Standard in HPC”, Aug 2023, Tokyo, Japan
Communication dans un congrès hal-04245701v1

Some topological and geometric properties of pseudozero set

Stef Graillat
Applied Mathematics E - Notes, 2008, 8, pp.98-108
Article dans une revue hal-01146485v1

Stochastic Arithmetic in Multiprecision

Stef Graillat , Fabienne Jézéquel , Shiyue Wang , Yuxiang Zhu
Mathematics in Computer Science, 2011, 5 (4), pp.359-375. ⟨10.1007/s11786-011-0103-4⟩
Article dans une revue hal-01146506v1
Image document

A Fast Parallel High-Precision Summation Algorithm Based on AccSumK

Xiaojun Lei , Tongxiang Gu , Stef Graillat , Hao Jiang , Jin Qi
Journal of Computational and Applied Mathematics, 2022, 406, pp.113827. ⟨10.1016/j.cam.2021.113827⟩
Article dans une revue hal-03352473v1
Image document

Alternative Split Functions and Dekker's Product

Stef Graillat , Vincent Lefèvre , Jean-Michel Muller
ARITH-2020 - IEEE 27th Symposium on Computer Arithmetic, Jun 2020, Portland, United States. pp.1-7, ⟨10.1109/ARITH48897.2020.00015⟩
Communication dans un congrès hal-02470782v2

Precise and effective scientific calculation on the CELL processor

Hong Diep Nguyen , Stef Graillat , Jean-Luc Lamotte
The Workshop on Reliable Engineering Computing, Feb 2008, Savannah, Georgia, United States. pp.333-350
Communication dans un congrès hal-01303660v1

Interval arithmetic on the Cell processor

Stef Graillat , Jean-Luc Lamotte , Siegfried M. Rump , Svetoslav Markov
13th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations SCAN'08, Sep 2008, El Paso, Texas, United States. pp.54-54
Communication dans un congrès hal-01303667v1

Reproducibility and Accuracy for High-Performance Computing

Roman Iakymchuk , Caroline Collange , David Defour , Stef Graillat
RAIM: Rencontres Arithmétiques de l’Informatique Mathématique, Apr 2015, Rennes, France
Communication dans un congrès hal-01140531v1
Image document

Towards Reproducible Blocked LU Factorization

Roman Iakymchuk , Enrique S Quintana-Ortí , Erwin S Laure , Stef S Graillat
4th International Workshop on Reproducibility in Parallel Computing in conjunction with IPDPS 2017 - 31st IEEE International Parallel & Distributed Processing Symposium, May 2017, Orlando, United States
Communication dans un congrès hal-01456307v2
Image document

Can we avoid rounding-error estimation in HPC codes and still get trustful results?

Fabienne Jézéquel , Stef Graillat , Daichi Mukunoki , Toshiyuki Imamura , Roman Iakymchuk
2020
Pré-publication, Document de travail hal-02486753v1

Minimal-Precision Computing for High-Performance, Energy-Efficient, and Reliable Computations

Taisuke Boku , Norihisa Fujita , Stef Graillat , Jens Huthmann , Roman Iakymchuk , et al.
2nd R-CCS international symposium, K to Fugaku: Simulation, Big Data and AI supporting Society 5.0, Feb 2020, Kobe, Japan
Poster de conférence hal-02486850v1

SAM: a multiprecision stochastic arithmetic library

Stef Graillat , Fabienne Jézéquel , Yuxiang Zhu
14th international symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2010), Sep 2010, Lyon, France. pp.70-71
Communication dans un congrès hal-01288707v1
Image document

On the robustness of the 2Sum and Fast2Sum algorithms

Sylvie Boldo , Stef Graillat , Jean-Michel Muller
ACM Transactions on Mathematical Software, 2017, 44 (1)
Article dans une revue ensl-01310023v2

Adaptive Precision Sparse Iterative Solvers

Roméo Molina , Stef Graillat , Fabienne Jézéquel , Théo Mary
SIAM Conference on Computational Science and Engineering (CSE23), Feb 2023, Amsterdam, Netherlands
Communication dans un congrès hal-04019769v1

Error-Free Transformation in Rounding Mode toward Zero

Stef Graillat , Jean-Luc Lamotte , Hong Diep Nguyen
Numerical Validation in Current Hardware Architectures, revised papers, Jan 2008, Dagstuhl, Germany. pp.217-229, ⟨10.1007/978-3-642-01591-5_14⟩
Communication dans un congrès istex hal-01295138v1

Extended precision with a rounding mode toward zero environment. Application on the CELL processor

Hong Diep Nguyen , Stef Graillat , Jean-Luc Lamotte
International Journal of Reliability and Safety, 2009, 3 (1-3), pp.153-173. ⟨10.1504/IJRS.2009.026839⟩
Article dans une revue hal-01146513v1
Image document

Can we avoid rounding-error estimation in HPC codes and still get trustworthy results?

Fabienne Jézéquel , Stef Graillat , Daichi Mukunoki , Toshiyuki Imamura , Roman Iakymchuk
NSV'20, 13th International Workshop on Numerical Software Verification, Jul 2020, Los Angeles, CA, United States
Communication dans un congrès hal-02925976v1

Fast rounding error estimation for compute-intensive operations using standard floating-point arithmetic

Fabienne Jézéquel , Stef Graillat , Daichi Mukunoki , Toshiyuki Imamura , Roman Iakymchuk
RAIM (Rencontres Arithmétiques de l'Informatique Mathématique), May 2021, Paris, France
Communication dans un congrès hal-03280736v1

Rounding errors

Jean-Marie Chesneaux , Stef Graillat , Fabienne Jézéquel
Wiley Encyclopedia of Computer Science and Engineering (Benjamin Wah, ed.), 4, pp.2490-2494, 2009, 978-0-471-38393-2
Chapitre d'ouvrage hal-01298273v1
Image document

Resolution of a large number of small random symmetric linear systems in single precision arithmetic on GPUs

Lokman A. Abbas-Turki , Stef Graillat
Journal of Supercomputing, 2017, 73 (4), pp.1360-1386. ⟨10.1007/s11227-016-1813-9⟩
Article dans une revue hal-01295549v1
Image document

Reproducible Triangular Solvers for High-Performance Computing

Roman Iakymchuk , David Defour , Caroline Collange , Stef Graillat
2015 12th International Conference on Information Technology - New Generations, Apr 2015, Las Vegas, NV, United States. pp.353-358, ⟨10.1109/ITNG.2015.63⟩
Communication dans un congrès hal-01116588v2
Image document

Real and complex pseudozero sets for polynomials with applications

Stef Graillat , Philippe Langlois
RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2007, 41 (1), pp.45-56. ⟨10.1051/ita:2007006⟩
Article dans une revue hal-01146488v1
Image document

Adaptive Precision Sparse Matrix-Vector Product and its application to Krylov Solvers

Roméo Molina , Stef Graillat , Fabienne Jézéquel , Théo Mary
13èmes Rencontres Arithmétique de l'Informatique Mathématique (RAIM 2022), Nov 2022, Nantes, France
Communication dans un congrès hal-03931125v1
Image document

MPDI: A Decimal Multiple-Precision Interval Arithmetic Library

Stef Graillat , Clothilde Jeangoudoux , Christoph Lauter
Reliable Computing Journal, 2017, Volume 25 (Special volume containing refereed papers from SCAN 2016), 25, pp.38-52
Article dans une revue hal-01451162v1

Compensated Horner scheme in complex floating point arithmetic

Stef Graillat , Valérie Ménissier-Morain
Proceedings, 8th Conference on Real Numbers and Computers, Jul 2008, Santiago de Compostela, Spain. pp.133-146
Communication dans un congrès hal-01300860v1

Accurate Floating Point Product

Stef Graillat
The Workshop on Reliable Engineering Computing, Feb 2008, Savannah, Georgia, United States. pp.351-361
Communication dans un congrès hal-01303655v1

Error-Free Transformations in Real and Complex Floating Point Arithmetic

Stef Graillat , Valérie Ménissier-Morain
International Symposium on Nonlinear Theory and its Applications (NOLTA'07), Sep 2007, Vancouver, Canada. pp.341-344
Communication dans un congrès hal-01306229v1
Image document

Fast dot product over finite field

Jérémy Jean , Stef Graillat
2010
Pré-publication, Document de travail hal-00450888v1