Identifying volatile numeric expressions in numeric computing applications

DOI10.1016/J.MATCOM.2019.06.016OpenAlexW2960095647MaRDI QIDQ1997724FDOQ1997724

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

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

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)

Cites Work

• Introduction to Interval Analysis
• Title not available (Why is that?)
• Automatic detection of floating-point exceptions
• Stabilizing Floating-Point Programs Using Provenance Analysis
• Hardware-Dependent Proofs of Numerical Programs

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)