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...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	International journal on software tools for technology transfer Ročník 19; číslo 4; s. 427 - 448
Hlavní autoři:	Damouche, Nasrine, Martel, Matthieu, Chapoutot, Alexandre
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Berlin/Heidelberg Springer Berlin Heidelberg 01.08.2017 Springer Nature B.V Springer Verlag
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!