A Step-Function Abstract Domain for Granular Floating-Point Error Analysis
- University of Oregon
- Sandia National Laboratories (SNL-CA), Livermore, CA (United States)
- Research Organization:
- Sandia National Laboratories (SNL-CA), Livermore, CA (United States)
- Sponsoring Organization:
- Advanced Simulation and Computing ; USDOE National Nuclear Security Administration (NNSA)
- DOE Contract Number:
- NA0003525
- OSTI ID:
- 2587523
- Report Number(s):
- SAND2024-11552C; 1755988
- Country of Publication:
- United States
- Language:
- English
Similar Records
Scalable Yet Rigorous Floating-Point Error Analysis
Error Distributions of Lossy Floating-Point Compressors
Analysis of floating-point round-off error in linear algebra routines for graph clustering
Conference
·
Sun Feb 21 23:00:00 EST 2021
·
OSTI ID:1783243
Error Distributions of Lossy Floating-Point Compressors
Conference
·
Sun Oct 01 00:00:00 EDT 2017
·
OSTI ID:1526183
Analysis of floating-point round-off error in linear algebra routines for graph clustering
Conference
·
Wed Jul 14 00:00:00 EDT 2021
·
OSTI ID:1808245