Fast and efficient bit-level precision tuning

DOI10.1007/978-3-030-88806-0_1zbMath1497.68105arXiv2103.05241OpenAlexW3210479095MaRDI QIDQ2145313

Matthieu Martel, Dorra Ben Khalifa, Assalé Adjé

Publication date: 17 June 2022

Full work available at URL: https://arxiv.org/abs/2103.05241

zbMATH Keywords

static analysispolicy iterationcomputer arithmeticnumerical accuracyinteger linear problems

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Numerical algorithms for computer arithmetic, etc. (65Y04)

Uses Software

• MPFR
• z3
• FPTuner
• Algorithm 145

Cites Work

• Unnamed Item
• MPFR
• On the complexity of integer programming
• Error Analysis of ZFP Compression for Floating-Point Data
• Programming Languages and Systems
• Rigorous floating-point mixed-precision tuning
• Computer Aided Verification

This page was built for publication: Fast and efficient bit-level precision tuning