This paper proposes a counterexample-guided narrowing approach、which combines static analysis and testing、 to make them refine eachother. A prototype tool CANAT for checking roundoff errors betweenfloating point and fixed point numbers is reported with preliminary experiments
International audienceFloating-point arithmetic is a very efficient solution to perform computa-tion...
A longstanding problem related to floating-point implementation of numerical programs is to provide ...
An emerging area of research is to automatically compute reasonably accurate upper bounds on numeric...
This paper proposes a counterexample-guided narrowing ap-proach, which mutually refines analyses and...
This paper proposes a technique for automaticdetection of overflow and roundoff errors, causedby the...
We present a new tool that generates bounds on the values and the round-off errors of programs using...
AbstractThis paper will write equations of the round-off errors for a new direct solver of a system ...
Roundoff errors cannot be avoided when implementing numerical programs with finite precision. The ab...
We present lookahead widening, a novel technique for using existing widening and narrowing operator...
Methods of controlling round-off error in one-step methods in the numerical solution of ordinary dif...
Abstract. We introduce a concrete semantics for floating-point operations which describes the propag...
This paper presents an abstract interpretation framework for the round-off error analysis of floatin...
This article addresses the problem of inspection of roundness error (in contrast to the measurement ...
14 pages, 2 figures, 2 tables. Extension of the work in arXiv:1610.07038International audienceFloati...
Les nombres à virgule flottante sont utilisés dans de nombreuses applications pour effectuer des cal...
International audienceFloating-point arithmetic is a very efficient solution to perform computa-tion...
A longstanding problem related to floating-point implementation of numerical programs is to provide ...
An emerging area of research is to automatically compute reasonably accurate upper bounds on numeric...
This paper proposes a counterexample-guided narrowing ap-proach, which mutually refines analyses and...
This paper proposes a technique for automaticdetection of overflow and roundoff errors, causedby the...
We present a new tool that generates bounds on the values and the round-off errors of programs using...
AbstractThis paper will write equations of the round-off errors for a new direct solver of a system ...
Roundoff errors cannot be avoided when implementing numerical programs with finite precision. The ab...
We present lookahead widening, a novel technique for using existing widening and narrowing operator...
Methods of controlling round-off error in one-step methods in the numerical solution of ordinary dif...
Abstract. We introduce a concrete semantics for floating-point operations which describes the propag...
This paper presents an abstract interpretation framework for the round-off error analysis of floatin...
This article addresses the problem of inspection of roundness error (in contrast to the measurement ...
14 pages, 2 figures, 2 tables. Extension of the work in arXiv:1610.07038International audienceFloati...
Les nombres à virgule flottante sont utilisés dans de nombreuses applications pour effectuer des cal...
International audienceFloating-point arithmetic is a very efficient solution to perform computa-tion...
A longstanding problem related to floating-point implementation of numerical programs is to provide ...
An emerging area of research is to automatically compute reasonably accurate upper bounds on numeric...
DOI
Add to ORKG