Abstract: Precision tuning consists of finding the least floating-point formats enabling a program to compute some results with an accuracy requirement.

This article extends Salsa with a precision tuning static analysis, a program transformation tool based on static analysis and which improves the accuracy ...

The results show that for most programs, we have that when using our tuning analysis, the precision is reduced by more than 50% like the PID controller, ...

Precision tuning consists of finding the least floating-point formats enabling a program to compute some results with an accuracy requirement. In mixed ...

In this article, we present an extension of our tool for numerical accuracy, Salsa, which performs precision tuning. Originally, Salsa is a program ...

Feb 6, 2024 · Precision tuning aims to find a mixed-precision version of a program that improves its performance while maintaining a given accuracy.

ABSTRACT. This article describes Salsa, an automatic tool to improve the accuracy of the floating-point computations done in nu- merical codes.

Salsa, an automatic tool to improve the accuracy of the floating-point computations done in numerical codes, is described with a presentation of the main ...

Feb 8, 2023 · This process con- sists of substituting smaller data types to the original data types assigned to floating-point variables in numerical programs ...

Oct 9, 2024 · One important early system was Salsa [16, 17, 34], which used interval arithmetic to bound both ranges of variables and also errors, a strategy ...