FlowFPX: Nimble Tools for Debugging Floating-Point Exceptions
Reliable numerical computations are central to scientific computing, but the floating-point
arithmetic that enables large-scale models is error-prone. Numeric exceptions are a …
arithmetic that enables large-scale models is error-prone. Numeric exceptions are a …
Improving Analysis and Optimization of Finite-Precision Programs
A Isychev - 2023 - mediatum.ub.tum.de
Numerical software has many forms: from analyzing our heartbeat to simulations predicting
earthquakes. Some of these programs must produce very accurate results, as the cost of an …
earthquakes. Some of these programs must produce very accurate results, as the cost of an …
Expanding the horizons of finite-precision analysis
D Lohar - 2023 - publikationen.sulb.uni-saarland.de
Numerical programs are ubiquitous across many domains, including embedded systems,
scientific computing, and machine learning. These programs utilize finite precision …
scientific computing, and machine learning. These programs utilize finite precision …