20 décembre 2012
Université de Toulon
Fuseau horaire Europe/Paris

Solving the Table Maker's Dilemna by reducing divergence on GPU

20 déc. 2012, 10:15
1h
Amphithéatre S113 (Université de Toulon)

Amphithéatre S113

Université de Toulon

Orateur

M. Marc Gouicem (Université Paris 6)

Description

The IEEE 754-2008 standard recommends correctly rounding elementary functions. However, these functions are transcendental and their results can only be approximated with error epsilon >0. If o_p is a rounding function at precision p , there may exist some arguments x, called (p,epsilon) hard-to-round arguments, such that o_p(f(x)−epsilon) be distinct of o_p(f(x)+epsilon), inducing an uncertainty on the rounding of f(x). Finding an error epsilon such that there are no (p,epsilon) hard-to-round arguments is known as the Table Maker’s Dilemma (TMD).

Documents de présentation