Olivier Marty

dblp:59/371 · DBLP profile ↗
← Back
1ranked-venue papers
0as first author
0since 2021 · last 2016
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Systems, architecture and hardware · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Computer architecture, parallel and distributed computing, and storage systems
1 paper
Processor architecture and microarchitecture · 61% Performance modeling and evaluation · 30% GPUs and heterogeneous computing · 9%

Topics — the 4 heaviest of 4, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Processor architecture and microarchitecture › computer arithmetic
extended precision
0.212016
Arithmetic Algorithms for Extended Precision Using Floating-Point Expansions · IEEE Trans. Computers 2016
Processor architecture and microarchitecture › computer arithmetic
floating-point arithmetic
0.212016
Arithmetic Algorithms for Extended Precision Using Floating-Point Expansions · IEEE Trans. Computers 2016
Performance modeling and evaluation
numerical algorithms
0.212016
Arithmetic Algorithms for Extended Precision Using Floating-Point Expansions · IEEE Trans. Computers 2016
GPUs and heterogeneous computing
GPU computing
0.112016
Arithmetic Algorithms for Extended Precision Using Floating-Point Expansions · IEEE Trans. Computers 2016

Methods — techniques the papers use, named apart from their topics

newton-raphson iteration · 0.2error analysis · 0.2
YearPublicationVenuePosition
2016 Arithmetic Algorithms for Extended Precision Using Floating-Point Expansions
abstract
Many numerical problems require a higher computing precision than the one offered by standard floating-point (FP) formats. One common way of extending the precision is to represent numbers in amultiple componentformat. By using the so-calledfloating-point expansions, real numbers are represented as the unevaluated sum of standard machine precision FP numbers. This representation offers the simplicity of using directly available, hardware implemented and highly optimized, FP operations. It is used by multiple-precision libraries such as Bailey's QD or the analogue Graphics Processing Units (GPU) tuned version, GQD. In this article we briefly revisit algorithms for adding and multiplying FP expansions, then we introduce and prove new algorithms for normalizing, dividing and square rooting of FP expansions. The new method used for computing the reciprocal${a}^{-1}$and the square root$\sqrt{a}$of a FP expansion$a$is based on an adapted Newton-Raphson iteration where the intermediate calculations are done using “truncated” operations (additions, multiplications) involving FP expansions. We give here a thorough error analysis showing that it allows very accurate computations. More precisely, after$q$iterations, the computed FP expansion$x=x_0+\ldots +x_{2^q-1}$satisfies, for the reciprocal algorithm, the relative error bound:$\left|({x-a^{-1}})/{a^{-1}}\right| \le 2^{-2^q(p-3)-1}$and, respectively, for the square root one:$\left|x-{1}/{\sqrt{a}}\right| \le {2^{-2^q(p-3)-1}}/{\sqrt{a}}$, where$p> 2$is the precision of the FP representation used ($p=24$for single precision and$p=53$for double precision).
Mioara Joldes, Olivier Marty, Jean-Michel Muller, Valentina Popescu
IEEE Trans. Computers2