Formal Verification of Programs Computing the Floating-Point Average

ICFEM, pp. 17-32, 2015.

Cited by: 6|Bibtex|Views2|Links
EI

Abstract:

The most well-known feature of floating-point arithmetic is the limited precision, which creates round-off errors and inaccuracies. Another important issue is the limited range, which creates underflow and overflow, even if this topic is dismissed most of the time. This article shows a very simple example: the average of two floating-poin...More

Code:

Data:

Your rating :
0

 

Tags
Comments