Filtrer vos résultats
- 67
- 32
- 1
- 56
- 26
- 9
- 5
- 3
- 1
- 1
- 99
- 12
- 1
- 1
- 1
- 1
- 3
- 6
- 9
- 8
- 6
- 4
- 4
- 4
- 3
- 3
- 6
- 2
- 2
- 6
- 4
- 4
- 2
- 6
- 2
- 3
- 1
- 2
- 4
- 2
- 1
- 2
- 1
- 95
- 5
- 59
- 39
- 6
- 5
- 5
- 4
- 3
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 100
- 31
- 23
- 11
- 11
- 10
- 9
- 9
- 8
- 8
- 7
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
100 résultats
Third Real Numbers and Computers conference, book of abstracts1998
Proceedings/Recueil des communications
hal-01621524v1
|
|||
Numerical computation of an infinite integral using dynamical extrapolation methodInternational Conference on NUMERICAL ALGORITHMS, Oct 2001, Marrakech, Morocco
Communication dans un congrès
hal-01571096v1
|
|||
CADNA: a library for estimating round-off error propagationComputer Physics Communications, 2008, 178 (12), pp.933-955. ⟨10.1016/j.cpc.2008.02.003⟩
Article dans une revue
istex
hal-01146486v1
|
|||
|
Numerical validation in quadruple precision using stochastic arithmeticTNC'18. Minisymposium on Trusted Numerical Computations. International Conference on Emerging Trends in Applied Mathematics and Mechanics, Jun 2018, Krakow, Poland. pp.38-53, ⟨10.29007/5c91⟩
Communication dans un congrès
hal-01777397v1
|
||
|
Tight interval inclusions with compensated algorithmsIEEE Transactions on Computers, 2020, 69 (12), pp.1774-1783. ⟨10.1109/TC.2019.2924005⟩
Article dans une revue
hal-01963634v2
|
||
|
Dynamical control of Newton's method for multiple roots of polynomialsReliable Computing Journal, 2016, 21
Article dans une revue
hal-01363961v1
|
||
Dynamical control of approximation methods2nd International Workshop on Combinatorial Scientific Computing (CSC05), Jun 2005, Toulouse, France
Communication dans un congrès
hal-01486898v1
|
|||
Estimation of numerical reproducibility on CPU and GPU8th Workshop on Computer Aspects of Numerical Algorithms (CANA), Federated Conference on Computer Science and Information Systems (FedCSIS), Sep 2015, Lodz, Poland. pp.687-692
Communication dans un congrès
hal-01213296v1
|
|||
Dynamical choice of the Krylov subspace dimension in the GMRES method17th IMACS World Congress on Scientific Computation, Applied Mathematics and Simulation, Jul 2005, Paris, France
Communication dans un congrès
hal-01486910v1
|
|||
|
Neural Network Precision Tuning Using Stochastic ArithmeticNSV'22, 15th International Workshop on Numerical Software Verification,, Aug 2022, Haifa, Israel
Communication dans un congrès
hal-03682645v2
|
||
Solving linear systems efficiently using block low-rank compression in mixed precision45ème Congrès National d'Analyse Numérique (CANUM 2022), Jun 2022, Évian-les-Bains, France
Communication dans un congrès
hal-03922287v1
|
|||
|
Investigating mixed-precision for AGATA pulse-shape analysis26th International Conference on Computing in High Energy & Nuclear Physics, May 2023, Norfolk, VI, United States
Communication dans un congrès
hal-03981310v1
|
||
Numerical accuracy of converging sequencesMathematical Modelling and Scientific Computations, Apr 2001, Borovets, Bulgaria. pp.444-449
Communication dans un congrès
hal-01571100v1
|
|||
Numerical validation of half precision simulationsRAIM (Rencontres Arithmétiques de l'Informatique Mathématique), May 2021, Paris, France
Communication dans un congrès
hal-03280756v1
|
|||
High performance computation and numerical validation of e-collision softwareInternational Conference of Computational Methods in Sciences and Engineering 2006 (ICCMSE 2006), Oct 2006, Chania, Crete, Greece. pp.561-570, ⟨10.1201/b12251-46⟩
Communication dans un congrès
hal-01351585v1
|
|||
Precision auto-tuning and control of accuracy in high performance simulationsSIAM Conference on Applied Linear Algebra (LA21), mini-symposium "Sustainable and Robust Linear Algebra Computations at Exascale", May 2021, New Orleans, Louisiana, United States
Communication dans un congrès
hal-03246012v1
|
|||
Parallelization of Discrete Stochastic Arithmetic on multicore architectures10th International Conference on Information Technology: New Generations, ITNG 2013, Apr 2013, Las Vegas, Nevada, United States. pp.160-166, ⟨10.1109/ITNG.2013.28⟩
Communication dans un congrès
hal-01219739v1
|
|||
|
A dynamical strategy for approximation methodsComptes Rendus Mécanique, 2006, 334 (6), pp.362-367. ⟨10.1016/j.crme.2006.04.005⟩
Article dans une revue
hal-01146491v1
|
||
|
Communication Avoiding Block Low-Rank Parallel Multifrontal Triangular Solve with Many Right-Hand SidesSIAM Journal on Matrix Analysis and Applications, 2024, 45 (1), pp.148-166. ⟨10.1137/23M1568600⟩
Article dans une revue
hal-04082415v1
|
||
Minimal-Precision Computing for High-Performance, Energy-Efficient, and Reliable ComputationsInternational Conference on High Performance Computing, Networking, Storage and Analysis (SC19), Nov 2019, Denver, United States
Poster de conférence
hal-02401757v1
|
|||
|
Can we avoid rounding-error estimation in HPC codes and still get trustful results?2020
Pré-publication, Document de travail
hal-02486753v1
|
||
Minimal-Precision Computing for High-Performance, Energy-Efficient, and Reliable Computations2nd 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
|
|||
Dynamical control of computations using the Trapezoidal and Simpson's rulesJournal of Universal Computer Science, 1998, 4 (1), pp.2-10. ⟨10.3217/jucs-004-01-0002⟩
Article dans une revue
hal-01150535v1
|
|||
SAM: a multiprecision stochastic arithmetic library14th 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
|
|||
Dynamical strategies for the computation of integrals: an example from the CPC libraryProc. SCAN2006 conference, Sep 2006, Duisburg, Germany. pp.41-42
Communication dans un congrès
hal-01351595v1
|
|||
A validated parallel across time and space solution of the heat transfer equationApplied Numerical Mathematics, 1999, 31 (1), pp.65-79. ⟨10.1016/S0168-9274(98)00122-6⟩
Article dans une revue
istex
hal-01150429v1
|
|||
|
Numerical 'health check' for scientific codes: the CADNA approachComputer Physics Communications, 2007, 176 (8), pp.507-521. ⟨10.1016/j.cpc.2007.01.005⟩
Article dans une revue
hal-01146489v1
|
||
Dynamical control of a multiple integral using Discrete Stochastic ArithmeticDagstuhl Seminar, Jan 2003, Dagstuhl, Germany
Communication dans un congrès
hal-01529367v1
|
|||
Adaptive Precision Sparse Iterative SolversSIAM Conference on Computational Science and Engineering (CSE23), Feb 2023, Amsterdam, Netherlands
Communication dans un congrès
hal-04019769v1
|
|||
|
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
|