An Efficient Rounding Boundary Test for (x, y) in Double Precision

The correct rounding of the function pow: (x, y) rarrx y is currently based on Ziv's iterative approximation process. In order to ensure its termination, cases when x y falls on a rounding-boundary must be filtered out. Such rounding-boundaries are floating-point numbers and midpoints between t...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	IEEE transactions on computers 2009-02, Vol.58 (2), p.197-207
Hauptverfasser:	Lauter, C.Q., Lefevre, V.
Format:	Artikel
Sprache:	eng
Schlagworte:	Accuracy Algorithm design and analysis Approximation Approximation methods Boundaries Constants correct rounding Distance measurement Filtering Floating point arithmetic Libraries Mathematical analysis power function Rounding Stall Studies Tables (data) Testing
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!