Improving the numerical accuracy of programs by automatic transformation

The dangers of programs performing floating-point computations are well known. This is due to the sensitivity of the results to the way formulæ are written. These last years, several techniques have been proposed concerning the transformation of arithmetic expressions in order to improve their numer...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	International journal on software tools for technology transfer Jg. 19; H. 4; S. 427 - 448
Hauptverfasser:	Damouche, Nasrine, Martel, Matthieu, Chapoutot, Alexandre
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Berlin/Heidelberg Springer Berlin Heidelberg 01.08.2017 Springer Nature B.V Springer Verlag
Schlagworte:	Accuracy Algorithms Arithmetic Computer Arithmetic Computer programs Computer Science Data Structures and Algorithms Embedded systems Engineering Sciences Floating point arithmetic Floating structures Fmics 2015/2016 Formulas (mathematics) Other Software Engineering Software Engineering/Programming and Operating Systems Software quality Static code analysis Theory of Computation Transformations Floating-point numbers Numerical accuracy IEEE754 standard Program transformation Static analysis
ISSN:	1433-2779, 1433-2787
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!