Filtrer vos résultats
- 54
- 35
- 2
- 47
- 27
- 9
- 7
- 1
- 1
- 91
- 13
- 1
- 20
- 1
- 7
- 8
- 3
- 7
- 4
- 4
- 7
- 10
- 10
- 3
- 2
- 3
- 1
- 3
- 5
- 8
- 3
- 2
- 91
- 58
- 31
- 16
- 11
- 11
- 9
- 4
- 4
- 4
- 4
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 91
- 31
- 25
- 16
- 11
- 8
- 6
- 6
- 6
- 6
- 5
- 5
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
91 résultats
|
|
On the maximum relative error when computing integer powers by iterated multiplications in floating-point arithmeticNumerical Algorithms, 2015, 70 (3), pp.653-667. ⟨10.1007/s11075-015-9967-8⟩
Article dans une revue
ensl-00945033v2
|
||
|
|
Choosing a twice more accurate dot product implementationICNAAM: International Conference of Numerical Analysis and Applied Mathematics, Sep 2006, Hersonnisos, Crete, Greece. pp.498-499
Communication dans un congrès
hal-01351480v1
|
||
Some topological and geometric properties of pseudozero setApplied Mathematics E - Notes, 2008, 8, pp.98-108
Article dans une revue
hal-01146485v1
|
|||
Stochastic Arithmetic in MultiprecisionMathematics in Computer Science, 2011, 5 (4), pp.359-375. ⟨10.1007/s11786-011-0103-4⟩
Article dans une revue
hal-01146506v1
|
|||
Precision auto-tuning using stochastic arithmetic10th 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
|
|||
|
|
Towards solving the Table Maker's Dilemma on GPU20th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, Feb 2012, Garching, Germany. pp.407 - 415, ⟨10.1109/PDP.2012.64⟩
Communication dans un congrès
hal-00642337v1
|
||
|
|
MPDI: A Decimal Multiple-Precision Interval Arithmetic LibraryReliable 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 arithmeticProceedings, 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 ProductThe 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 ArithmeticInternational Symposium on Nonlinear Theory and its Applications (NOLTA'07), Sep 2007, Vancouver, Canada. pp.341-344
Communication dans un congrès
hal-01306229v1
|
|||
|
|
GPU-Accelerated Generation of Correctly Rounded Elementary FunctionsACM Transactions on Mathematical Software, 2016, 43 (3), pp.22:1--22:26. ⟨10.1145/2935746⟩
Article dans une revue
hal-00751446v2
|
||
|
|
Fast dot product over finite field2010
Pré-publication, Document de travail
hal-00450888v1
|
||
|
|
Towards a Reproducible Solution of Linear Systems Supercomputing Conference 2017-Computational Reproducibility at Exascale Workshop, Nov 2017, Denver, United States
Communication dans un congrès
hal-01633980v1
|
||
|
|
Numerical Reproducibility for the Parallel Reduction on Multi- and Many-Core Architectures2015
Pré-publication, Document de travail
hal-00949355v4
|
||
Error-Free Transformation in Rounding Mode toward ZeroNumerical 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 processorInternational Journal of Reliability and Safety, 2009, 3 (1-3), pp.153-173. ⟨10.1504/IJRS.2009.026839⟩
Article dans une revue
hal-01146513v1
|
|||
|
|
Can we avoid rounding-error estimation in HPC codes and still get trustworthy results?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 arithmeticRAIM (Rencontres Arithmétiques de l'Informatique Mathématique), May 2021, Paris, France
Communication dans un congrès
hal-03280736v1
|
|||
Rounding errorsWiley Encyclopedia of Computer Science and Engineering (Benjamin Wah, ed.), 4, pp.2490-2494, 2009, 978-0-471-38393-2
Chapitre d'ouvrage
hal-01298273v1
|
|||
|
|
Resolution of a large number of small random symmetric linear systems in single precision arithmetic on GPUsJournal of Supercomputing, 2017, 73 (4), pp.1360-1386. ⟨10.1007/s11227-016-1813-9⟩
Article dans une revue
hal-01295549v1
|
||
|
|
Reproducible Triangular Solvers for High-Performance Computing2015 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
|
||
|
|
Real and complex pseudozero sets for polynomials with applicationsRAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2007, 41 (1), pp.45-56. ⟨10.1051/ita:2007006⟩
Article dans une revue
hal-01146488v1
|
||
|
|
Adaptive Precision Sparse Matrix-Vector Product and its application to Krylov Solvers13èmes Rencontres Arithmétique de l'Informatique Mathématique (RAIM 2022), Nov 2022, Nantes, France
Communication dans un congrès
hal-03931125v1
|
||
|
|
A Fast Parallel High-Precision Summation Algorithm Based on AccSumKJournal of Computational and Applied Mathematics, 2022, 406, pp.113827. ⟨10.1016/j.cam.2021.113827⟩
Article dans une revue
hal-03352473v1
|
||
|
|
Alternative Split Functions and Dekker's ProductARITH-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 processorThe 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 processor13th 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 ComputingRAIM: Rencontres Arithmétiques de l’Informatique Mathématique, Apr 2015, Rennes, France
Communication dans un congrès
hal-01140531v1
|
|||
|
|
Towards Reproducible Blocked LU Factorization4th 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
|
||
|
|
Can we avoid rounding-error estimation in HPC codes and still get trustful results?2020
Pré-publication, Document de travail
hal-02486753v1
|