- Tytuł:
- Forward and backward static analysis for critical numerical accuracy in floating point programs
- Autorzy:
-
Thushara, M. G.
Somasundaram, K. - Powiązania:
- https://bibliotekanauki.pl/articles/1839283.pdf
- Data publikacji:
- 2020
- Wydawca:
- Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
- Tematy:
-
abstract interpretation
backward static analysis
floating-point numbers
round-off errors
abstract domain - Opis:
- In this article, we introduce a new static analysis for numerical accuracy. We address the problem of determining the minimal accuracy on the inputs and on the intermediary results of a program containing foating-point computations in order to ensure a desired accuracy on the outputs. The main approach is to combine a forward and a backward static analysis, done by abstract interpretation. The backward analysis computes the minimal accuracy needed for the inputs and intermediary results of the program in order to ensure a desired accuracy on the results, specied by the user. In practice, the information collected by our analysis may help to optimize the formats used to represent the values stored in the variables of the program or to select the appropriate sensors. To illustrate our analysis, we have shown a prototype example with experimental results.
- Źródło:
-
Computer Science; 2020, 21 (2); 163-176
1508-2806
2300-7036 - Pojawia się w:
- Computer Science
- Dostawca treści:
- Biblioteka Nauki
Artykuł