Identifying volatile numeric expressions in numeric computing applications

DOI10.1016/J.MATCOM.2019.06.016MaRDI QIDQ1997724zbMATH OpenOpenAlexFDO

Authors Mahsa Bayati, Miriam Leeser, Yijia Gu, Thomas Wahl

Publication date 2 March 2021

Published in Mathematics and Computers in Simulation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.matcom.2019.06.016

zbMATH Keywords

OpenCLreproducibilityheterogeneous computingfloating pointnumerical expressions

Mathematics Subject Classification ID

Theory of software (68Nxx) Computer aspects of numerical algorithms (65Yxx) Error analysis and interval analysis (65Gxx)

Recommendations

• Stabilizing Floating-Point Programs Using Provenance Analysis
• First steps towards more numerical reproducibility
• Algorithms for efficient reproducible floating point summation
• Hardware-Dependent Proofs of Numerical Programs
• Reproducible and accurate matrix multiplication

Cites work

• scientific article; zbMATH DE number 1832227 (Why is no real title available?)
• Automatic detection of floating-point exceptions
• Hardware-Dependent Proofs of Numerical Programs
• Introduction to Interval Analysis
• Stabilizing Floating-Point Programs Using Provenance Analysis

Describes a project that uses

Uses Software

• OpenCL

This page was built for publication: Identifying volatile numeric expressions in numeric computing applications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1997724)