Accurate Residues for Floating-Point Debugging
Fuente:
arXiv
Guardado en:
| Autores principales: | He, Yumeng, Panchekha, Pavel |
|---|---|
| Formato: | Preprint |
| Publicado: |
2026
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Ejemplares similares
Fast Mixed-Precision Real Evaluation
por: Yadrov, Artem, et al.
Publicado: (2025)
por: Yadrov, Artem, et al.
Publicado: (2025)
Fast Mixed-Precision Real Evaluation
por: Yadrov, Artem, et al.
Publicado: (2024)
por: Yadrov, Artem, et al.
Publicado: (2024)
Mixing Condition Numbers and Oracles for Accurate Floating-point Debugging
por: Kulkarni, Bhargav, et al.
Publicado: (2025)
por: Kulkarni, Bhargav, et al.
Publicado: (2025)
FlowFPX: Nimble Tools for Debugging Floating-Point Exceptions
por: Allred, Taylor, et al.
Publicado: (2024)
por: Allred, Taylor, et al.
Publicado: (2024)
Revealing Floating-Point Accumulation Orders in Software/Hardware Implementations
por: Xie, Peichen, et al.
Publicado: (2024)
por: Xie, Peichen, et al.
Publicado: (2024)
Satire: Computing Rigorous Bounds for Floating-Point Rounding Error in Mixed-Precision Loop-Free Programs
por: Tirpankar, Tanmay, et al.
Publicado: (2025)
por: Tirpankar, Tanmay, et al.
Publicado: (2025)
Accurate Models of NVIDIA Tensor Cores
por: Khattak, Faizan A., et al.
Publicado: (2025)
por: Khattak, Faizan A., et al.
Publicado: (2025)
Automating Variational Differentiation
por: Li, Kangbo, et al.
Publicado: (2024)
por: Li, Kangbo, et al.
Publicado: (2024)
Acceleration of multi-component multiple-precision arithmetic with branch-free algorithms and SIMD vectorization
por: Kouya, Tomonori
Publicado: (2026)
por: Kouya, Tomonori
Publicado: (2026)
Solving Multivariate Polynomial Systems and Rectangular Multiparameter Eigenvalue Problems with MacaulayLab
por: Vermeersch, Christof, et al.
Publicado: (2026)
por: Vermeersch, Christof, et al.
Publicado: (2026)
BioNetFlux: A Python Framework for Reaction--Diffusion--Chemotaxis Simulations on One-Dimensional Network Geometries
por: Bertoluzza, Silvia
Publicado: (2026)
por: Bertoluzza, Silvia
Publicado: (2026)
High-Order Mesh r-Adaptivity with Tangential Relaxation and Guaranteed Mesh Validity
por: Mittal, Ketan, et al.
Publicado: (2026)
por: Mittal, Ketan, et al.
Publicado: (2026)
Automated dimensional analysis for PDEs
por: Habera, Michal, et al.
Publicado: (2026)
por: Habera, Michal, et al.
Publicado: (2026)
Implementation of QR factorization of tall and very skinny matrices on current GPUs
por: Thies, Jonas, et al.
Publicado: (2026)
por: Thies, Jonas, et al.
Publicado: (2026)
High-Order Lie Derivatives from Taylor Series in the ADTAYL Package
por: Nedialkov, Nedialko S., et al.
Publicado: (2026)
por: Nedialkov, Nedialko S., et al.
Publicado: (2026)
Multigrid methods for the Stokes problem on GPU systems
por: Cui, Cu, et al.
Publicado: (2024)
por: Cui, Cu, et al.
Publicado: (2024)
A Fully Adaptive Radau Method for the Efficient Solution of Stiff Ordinary Differential Equations at Low Tolerances
por: Ekanathan, Shreyas, et al.
Publicado: (2024)
por: Ekanathan, Shreyas, et al.
Publicado: (2024)
Transformations of Computational Meshes
por: Knepley, Matthew G.
Publicado: (2025)
por: Knepley, Matthew G.
Publicado: (2025)
Performance of linear solvers in tensor-train format on current multicore architectures
por: Röhrig-Zöllner, Melven, et al.
Publicado: (2023)
por: Röhrig-Zöllner, Melven, et al.
Publicado: (2023)
An abstraction for solving multi-domain problems using finite element methods
por: Sagiyama, Koki, et al.
Publicado: (2025)
por: Sagiyama, Koki, et al.
Publicado: (2025)
Faster arbitrary-precision dot product and matrix multiplication
por: Johansson, Fredrik
Publicado: (2019)
por: Johansson, Fredrik
Publicado: (2019)
Mixed Precision Block-Jacobi Preconditioner: Algorithms, Performance Evaluation and Feature Analysis
por: Tian, Ningxi, et al.
Publicado: (2024)
por: Tian, Ningxi, et al.
Publicado: (2024)
PDE-Constrained High-Order Mesh Optimization
por: Kolev, Tzanio, et al.
Publicado: (2025)
por: Kolev, Tzanio, et al.
Publicado: (2025)
Mean and Variance Estimation by Kriging
por: Suslo, Tomasz
Publicado: (2004)
por: Suslo, Tomasz
Publicado: (2004)
Performance of explicit and IMEX MRI multirate methods on complex reactive flow problems within modern parallel adaptive structured grid frameworks
por: Loffeld, John J., et al.
Publicado: (2022)
por: Loffeld, John J., et al.
Publicado: (2022)
Mixed-Order Meshes through rp-adaptivity for Surface Fitting to Implicit Geometries
por: Mittal, Ketan, et al.
Publicado: (2024)
por: Mittal, Ketan, et al.
Publicado: (2024)
Implementation of the Emulator-based Component Analysis
por: Vladyka, Anton, et al.
Publicado: (2023)
por: Vladyka, Anton, et al.
Publicado: (2023)
ODE Test Problems: a MATLAB suite of initial value problems
por: Roberts, Steven, et al.
Publicado: (2019)
por: Roberts, Steven, et al.
Publicado: (2019)
Differentiating Through Linear Solvers
por: Hovland, Paul, et al.
Publicado: (2024)
por: Hovland, Paul, et al.
Publicado: (2024)
High-performance finite elements with MFEM
por: Andrej, Julian, et al.
Publicado: (2024)
por: Andrej, Julian, et al.
Publicado: (2024)
MooAFEM: An object oriented Matlab code for higher-order adaptive FEM for (nonlinear) elliptic PDEs
por: Innerberger, Michael, et al.
Publicado: (2022)
por: Innerberger, Michael, et al.
Publicado: (2022)
Efficient space-time reduced order model for linear dynamical systems in Python using less than 120 lines of code
por: Kim, Youngkyu, et al.
Publicado: (2020)
por: Kim, Youngkyu, et al.
Publicado: (2020)
Improving Interoperability in Scientific Computing via MaRDI Open Interfaces
por: Kabanov, Dmitry I., et al.
Publicado: (2025)
por: Kabanov, Dmitry I., et al.
Publicado: (2025)
Anatomy of High-Performance Column-Pivoted QR Decomposition
por: Melnichenko, Maksim, et al.
Publicado: (2025)
por: Melnichenko, Maksim, et al.
Publicado: (2025)
Low-Rank SPIKE Framework for Solving Large Sparse Linear Systems with Applications
por: Spring, Braegan S., et al.
Publicado: (2025)
por: Spring, Braegan S., et al.
Publicado: (2025)
Some new techniques to use in serial sparse Cholesky factorization algorithms
por: Karsavuran, M. Ozan, et al.
Publicado: (2024)
por: Karsavuran, M. Ozan, et al.
Publicado: (2024)
A new object-oriented framework for solving multiphysics problems via combination of different numerical methods
por: Sargado, Juan Michael
Publicado: (2019)
por: Sargado, Juan Michael
Publicado: (2019)
A Monadic, Functional Implementation of Real Numbers
por: O'Connor, Russell
Publicado: (2006)
por: O'Connor, Russell
Publicado: (2006)
Algorithm xxx: Faster Randomized SVD with Dynamic Shifts
por: Feng, Xu, et al.
Publicado: (2024)
por: Feng, Xu, et al.
Publicado: (2024)
ARKODE: a flexible IVP solver infrastructure for one-step methods
por: Reynolds, Daniel R., et al.
Publicado: (2022)
por: Reynolds, Daniel R., et al.
Publicado: (2022)
Ejemplares similares
-
Fast Mixed-Precision Real Evaluation
por: Yadrov, Artem, et al.
Publicado: (2025) -
Fast Mixed-Precision Real Evaluation
por: Yadrov, Artem, et al.
Publicado: (2024) -
Mixing Condition Numbers and Oracles for Accurate Floating-point Debugging
por: Kulkarni, Bhargav, et al.
Publicado: (2025) -
FlowFPX: Nimble Tools for Debugging Floating-Point Exceptions
por: Allred, Taylor, et al.
Publicado: (2024) -
Revealing Floating-Point Accumulation Orders in Software/Hardware Implementations
por: Xie, Peichen, et al.
Publicado: (2024)