Search - Archive ouverte HAL Access content directly

Filter your results

43 Results
Image document

A correctly rounded implementationof the exponential function on the Intel Itanium architecture

Christoph Quirin Lauter
[Research Report] RR-5024, LIP RR 2003-54, INRIA, LIP. 2003
Reports inria-00071560v1
Image document

Fast and correctly rounded logarithms in double-precision

Florent de Dinechin , Christoph Lauter , Jean-Michel Muller
[Research Report] RR-5682, LIP RR-2005-37, INRIA, LIP. 2005, pp.15
Reports inria-00070331v1

A Parallel Compensated Horner Scheme

Stef Graillat , Youness Ibrahimy , Clothilde Jeangoudoux , Christoph Lauter
CSE 2017, SIAM Conference on Computational Science and Engineering (CSE), Feb 2017, Atlanta, United States
Conference papers hal-01539819v1
Image document

On Ziv's rounding test

Florent de Dinechin , Christoph Lauter , Jean-Michel Muller , Serge Torres
ACM Transactions on Mathematical Software, 2013, 39 (4), pp.26
Journal articles ensl-00693317v2
Image document

Code generators for mathematical functions

Nicolas Brunie , Florent de Dinechin , Olga Kupriianova , Christoph Lauter
22d IEEE Symposium on Computer Arithmetic, Jun 2015, Lyon, France
Conference papers hal-01084726v2
Image document

Easing development of precision-sensitive applications with a beyond-quad-precision library

Christoph Lauter
2015 49th Asilomar Conference on Signals, Systems and Computers , Nov 2015, Pacific Grove, United States. pp.742 - 746, ⟨10.1109/ACSSC.2015.7421232⟩
Conference papers hal-01511128v1
Image document

Reliable verification of digital implemented filters against frequency specifications

Anastasia Volkova , Christoph Lauter , Thibault Hilaire
24th IEEE Symposium on Computer Arithmetic (ARITH 24), Jul 2017, London, United Kingdom
Conference papers hal-01432000v3

An efficient rounding boundary test for pow(x,y) in double precision

Christoph Quirin Lauter , Vincent Lefèvre
IEEE Transactions on Computers, 2009, 58 (2), pp.197-207. ⟨10.1109/TC.2008.202⟩
Journal articles inria-00583988v1
Image document

A Framework for Semi-Automatic Precision and Accuracy Analysis for Fast and Rigorous Deep Learning

Christoph Lauter , Anastasia Volkova
IEEE Symposium on Computer Arithmetic (ARITH), Jun 2020, Portland, United States
Conference papers hal-02473300v1

Computing Correctly Rounded Integer Powers in Floating-Point Arithmetic

Peter Kornerup , Christoph Lauter , Vincent Lefèvre , Nicolas Louvet , Jean-Michel Muller
ACM Transactions on Mathematical Software, 2010, 37 (1), pp.4:1-4:23. ⟨10.1145/1644001.1644005⟩
Journal articles inria-00388501v1

The libieee754 compliance library for the IEEE 754-2008 standard

Christoph Lauter , Olga A. Kupriianova
The 15’th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations, 2012, Sep 2012, Novosibirsk, Russia
Conference papers hal-01282272v1
Image document

Reliable evaluation of the Worst-Case Peak Gain matrix in multiple precision

Anastasia Volkova , Thibault Hilaire , Christoph Q. Lauter
ARITH 22 - 22nd IEEE Symposium on Computer Arithmetic, Jun 2015, Lyon, France. pp.96-103, ⟨10.1109/ARITH.2015.14⟩
Conference papers hal-01083879v3
Image document

Arithmetic approaches for rigorous design of reliable Fixed-Point LTI filters

Anastasia Volkova , Thibault Hilaire , Christoph Lauter
IEEE Transactions on Computers, 2020, 69 (4), pp.489 - 504. ⟨10.1109/TC.2019.2950658⟩
Journal articles hal-01918650v2
Image document

Optimizing polynomials for floating-point implementation

Florent de Dinechin , Christoph Lauter
2008
Preprints, Working Papers, ... ensl-00260563v1
Image document

A certified infinite norm for the implementation of elementary functions

Sylvain Chevillard , Christoph Lauter
Seventh International Conference on Quality Software, Oct 2007, Portland, United States. pp.153 -- 160
Conference papers ensl-00119810v2
Image document

An efficient rounding boundary test for pow(x,y) in double precision

Christoph Lauter , Vincent Lefèvre
2007
Preprints, Working Papers, ... ensl-00169409v2
Image document

Certifying the floating-point implementation of an elementary function using Gappa

Florent de Dinechin , Christoph Lauter , Guillaume Melquiond
IEEE Transactions on Computers, 2011, 60 (2), pp.242-253. ⟨10.1109/TC.2010.128⟩
Journal articles ensl-00200830v2
Image document

Fast correct rounding of elementary functions in double precision using double-extended arithmetic

Florent de Dinechin , David Defour , Christoph Lauter
[Research Report] RR-5137, LIP RR-2004-10, INRIA, LIP. 2004
Reports inria-00071446v1
Image document

Basic building blocks for a triple-double intermediate format

Christoph Quirin Lauter
[Research Report] RR-5702, LIP RR-2005-38, INRIA, LIP. 2005, pp.67
Reports inria-00070314v1
Image document

Exact and mid-point rounding cases of power(x,y)

Christoph Lauter
2006
Preprints, Working Papers, ... ensl-00117433v1

A method of calculating faithful rounding of l2-norm for n-vectors

Stef Graillat , Christoph Lauter , Ping Tak Peter Tang , Naoya Yamanaka , Shin’ichi Oishi
16th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computation (SCAN), Sep 2014, Wuerzburg, Germany. pp.60-61
Conference papers hal-01539130v1
Image document

A Decimal Multiple-Precision Interval Arithmetic Library

Stef Graillat , Clothilde Jeangoudoux , Christoph Lauter
17th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics. , Sep 2016, Uppsala, Sweden
Conference papers hal-01539158v1
Image document

A Correctly Rounded Mixed-Radix Fused-Multiply-Add

Clothilde Jeangoudoux , Christoph Lauter
2018 IEEE 25th Symposium on Computer Arithmetic (ARITH), Jun 2018, Amherst, MA, United States. ⟨10.1109/ARITH.2018.8464818⟩
Conference papers hal-01893801v1
Image document

A Domain Splitting Algorithm for the Mathematical Functions Code Generator

Olga Kupriianova , Christoph Lauter
ACSSC 2014 - 48th Asilomar Conference on Signals, Systems and Computers, Nov 2014, Pacific Grove, CA, United States. pp.1271-1275, ⟨10.1109/ACSSC.2014.7094664⟩
Conference papers hal-01118915v1
Image document

Sollya: an environment for the development of numerical codes

Sylvain Chevillard , Mioara Maria Joldes , Christoph Lauter
Third International Congress on Mathematical Software - ICMS 2010, Sep 2010, Kobe, Japan. pp.28 -- 31, ⟨10.1007/978-3-642-15582-6_5⟩
Conference papers hal-00761644v1
Image document

Assisted verification of elementary functions

Florent de Dinechin , Christoph Lauter , Guillaume Melquiond
RR-5683, INRIA. 2005, pp.17
Reports inria-00070330v1
Image document

Computing the Worst-Case Peak Gain of Digital Filter in Interval Arithmetic

Anastasia Volkova , Christoph Lauter , Thibault Hilaire
17th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics. , Sep 2016, Uppsala, Sweden
Conference papers hal-01347634v1
Image document

Semi-Automatic Floating-Point Implementation of Special Functions

Christoph Lauter , Marc Mezzarobba
IEEE 22nd Symposium on Computer Arithmetic, ARITH 22, Jun 2015, Lyon, France. pp.58-65, ⟨10.1109/ARITH.2015.12⟩
Conference papers hal-01137953v1
Image document

CR-LIBM A library of correctly rounded elementary functions in double-precision

Catherine Daramy-Loirat , David Defour , Florent de Dinechin , Matthieu Gallet , Nicolas Gast , et al.
[Research Report] LIP,. 2006
Reports ensl-01529804v1
Image document

Determining fixed-point formats for a digital filter implementation using the worst-case peak gain measure

Anastasia Volkova , Thibault Hilaire , Christoph Lauter
49th Asilomar Conference on Signals, Systems and Computers , Nov 2015, Pacific Grove, CA United States. pp.737-741, ⟨10.1109/ACSSC.2015.7421231⟩
Conference papers hal-01308403v1