Jean-Michel Muller

Antoine Plet

Proceedings of the 24th IEEE Symposium on Computer Arithmetic, 2017

On the relative error of computing complex square roots in floating-point arithmetic.

[BibT_eX]

[DOI]

Proceedings of the 51st Asilomar Conference on Signals, Systems, and Computers, 2017

2016

Arithmetic Algorithms for Extended Precision Using Floating-Point Expansions.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2016

Comparison between Binary and Decimal Floating-Point Numbers.

[BibT_eX]

[DOI]

Marc Mezzarobba

IEEE Trans. Computers, 2016

Sharp error bounds for complex floating-point inversion.

[BibT_eX]

[DOI]

Antoine Plet

Numer. Algorithms, 2016

Modern Computer Arithmetic.

[BibT_eX]

[DOI]

Paolo Montuschi

Computer, 2016

CAMPARY: Cuda Multiple Precision Arithmetic Library and Applications.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Software - ICMS 2016, 2016

Parallel floating-point expansions for extended-precision GPU computations.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE International Conference on Application-specific Systems, 2016

A New Multiplication Algorithm for Extended Precision Using Floating-Point Expansions.

[BibT_eX]

[DOI]

Valentina Popescu

Ping Tak Peter Tang

Proceedings of the 23nd IEEE Symposium on Computer Arithmetic, 2016

Computing floating-point logarithms with fixed-point operations.

[BibT_eX]

[DOI]

Proceedings of the 23nd IEEE Symposium on Computer Arithmetic, 2016

2015

On the Error of Computing <i>ab</i>+<i>cd</i> using Cornea, Harrison and Tang's Method.

[BibT_eX]

[DOI]

ACM Trans. Math. Softw., 2015

On the maximum relative error when computing integer powers by iterated multiplications in floating-point arithmetic.

[BibT_eX]

[DOI]

Stef Graillat

Numer. Algorithms, 2015

2014

(M, p, k)-Friendly Points: A Table-Based Method to Evaluate Trigonometric Function.

[BibT_eX]

[DOI]

IEEE Trans. Circuits Syst. II Express Briefs, 2014

Preface to the special issue on Numerical Software: Design, Analysis and Verification.

[BibT_eX]

[DOI]

Amparo Gil

Javier Segura

Sci. Comput. Program., 2014

On the maximum relative error when computing x^n in floating-point arithmetic.

[BibT_eX]

[DOI]

Stef Graillat

CoRR, 2014

On the computation of the reciprocal of floating point expansions using an adapted Newton-Raphson iteration.

[BibT_eX]

[DOI]

Mioara Joldes

Valentina Popescu

Proceedings of the IEEE 25th International Conference on Application-Specific Systems, 2014

2013

On Ziv's rounding test.

[BibT_eX]

[DOI]

Serge Torres

ACM Trans. Math. Softw., 2013

Further analysis of Kahan's algorithm for the accurate computation of 2×2 determinants.

[BibT_eX]

[DOI]

Math. Comput., 2013

On the Componentwise Accuracy of Complex Floating-Point Division with an FMA.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE Symposium on Computer Arithmetic, 2013

Comparison between Binary64 and Decimal64 Floating-Point Numbers.

[BibT_eX]

[DOI]

Marc Mezzarobba

Proceedings of the 21st IEEE Symposium on Computer Arithmetic, 2013

Avoiding double roundings in scaled Newton-Raphson division.

[BibT_eX]

[DOI]

Proceedings of the 2013 Asilomar Conference on Signals, 2013

Radix conversion for IEEE754-2008 mixed radix floating-point arithmetic.

[BibT_eX]

[DOI]

Olga Kupriianova

Proceedings of the 2013 Asilomar Conference on Signals, 2013

2012

On the Computation of Correctly Rounded Sums.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2012

Floating-Point Arithmetic on Round-to-Nearest Representations

[BibT_eX]

[DOI]

CoRR, 2012

Rigorous Polynomial Approximation Using Taylor Models in Coq.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods, 2012

(M, p, k)-Friendly Points: A Table-Based Method for Trigonometric Function Evaluation.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Conference on Application-Specific Systems, 2012

2011

Performing Arithmetic Operations on Round-to-Nearest Representations.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2011

Midpoints and Exact Points of Some Algebraic Functions in Floating-Point Arithmetic.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2011

Exact and Approximated Error of the FMA.

[BibT_eX]

[DOI]

Sylvie Boldo

IEEE Trans. Computers, 2011

An FPGA architecture for solving the Table Maker's Dilemma.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE International Conference on Application-specific Systems, 2011

Augmented Precision Square Roots and 2-D Norms, and Discussion on Correctly Rounding sqrt(x^2+y^2).

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE Symposium on Computer Arithmetic, 2011

2010

An Efficient Method for Evaluating Complex Polynomials.

[BibT_eX]

[DOI]

J. Signal Process. Syst., 2010

Computing correctly rounded integer powers in floating-point arithmetic.

[BibT_eX]

[DOI]

ACM Trans. Math. Softw., 2010

Techniques and tools for implementing IEEE 754 floating-point arithmetic on VLIW integer processors.

[BibT_eX]

[DOI]

Christophe Mouilleron

Proceedings of the 4th International Workshop on Parallel Symbolic Computation, 2010

Newton-Raphson algorithms for floating-point division using an FMA.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE International Conference on Application-specific Systems Architectures and Processors, 2010

Implementing decimal floating-point arithmetic through binary: Some suggestions.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE International Conference on Application-specific Systems Architectures and Processors, 2010

Handbook of Floating-Point Arithmetic.

[BibT_eX]

[DOI]

Birkhäuser, ISBN: 978-0-8176-4704-9, 2010

2009

Guest Editors' Introduction: Special Section on Computer Arithmetic.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2009

Design and Implementation of a Radix-4 Complex Division Unit with Prescaling.

[BibT_eX]

[DOI]

Pouya Dormiani

Proceedings of the 20th IEEE International Conference on Application-Specific Systems, 2009

2008

Digital Arithmetic.

[BibT_eX]

[DOI]

Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

Correctly Rounded Multiplication by Arbitrary Precision Constants.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2008

Automatic Generation of Modular Multipliers for FPGA Applications.

[BibT_eX]

[DOI]

Jean-Luc Beuchat

IEEE Trans. Computers, 2008

Integer and floating-point constant multipliers for FPGAs.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE International Conference on Application-Specific Systems, 2008

An efficient method for evaluating polynomial and rational function approximations.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE International Conference on Application-Specific Systems, 2008

2007

Complex Square Root with Operand Prescaling.

[BibT_eX]

[DOI]

J. VLSI Signal Process., 2007

Fast and correctly rounded logarithms in double-precision.

[BibT_eX]

[DOI]

RAIRO Theor. Informatics Appl., 2007

Correct rounding of algebraic functions.

[BibT_eX]

[DOI]

RAIRO Theor. Informatics Appl., 2007

Computing Integer Powers in Floating-Point Arithmetic

[BibT_eX]

[DOI]

CoRR, 2007

A Hardware-Oriented Method for Evaluating Complex Polynomials.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Application-Specific Systems, 2007

2006

Computing machine-efficient polynomial approximations.

[BibT_eX]

[DOI]

ACM Trans. Math. Softw., 2006

Choosing starting values for certain Newton-Raphson iterations.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2006

Leading Guard Digits in Finite Precision Redundant Representations.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2006

Elementary functions - algorithms and implementation (2. ed.).

[BibT_eX]

Birkhäuser, ISBN: 978-0-8176-4372-0, 2006

2005

High-Speed Function Approximation Using a Minimax Quadratic Interpolator.

[BibT_eX]

[DOI]

José-Alejandro Piñeiro

Stuart F. Oberman

Javier D. Bruguera

IEEE Trans. Computers, 2005

A New Range-Reduction Algorithm.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2005

Variable Radix Real and Complex Digit-Recurrence Division.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Conference on Application-Specific Systems, 2005

Multiplication Algorithms for Radix-2 RN-Codings and Two's Complement Multiplication Algorithms for Radix-2 RN-Codings and Two's Complement.

[BibT_eX]

[DOI]

Jean-Luc Beuchat

Proceedings of the 16th IEEE International Conference on Application-Specific Systems, 2005

Division by Constant for the ST100 DSP Microprocessor.

[BibT_eX]

[DOI]

Benoît Dupont de Dinechin

Christophe Monat

Proceedings of the 17th IEEE Symposium on Computer Arithmetic (ARITH-17 2005), 2005

Some Functions Computable with a Fused-Mac.

[BibT_eX]

[DOI]

Sylvie Boldo

Proceedings of the 17th IEEE Symposium on Computer Arithmetic (ARITH-17 2005), 2005

2004

Accelerating Correctly Rounded Floating-Point Division when the Divisor Is Known in Advance.

[BibT_eX]

[DOI]

Saurabh Kumar Raina

IEEE Trans. Computers, 2004

Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic.

[BibT_eX]

[DOI]

Numer. Algorithms, 2004

2003

On-the-Fly Range Reduction.

[BibT_eX]

[DOI]

J. VLSI Signal Process., 2003

Preface.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2003

Finding the "truncated" polynomial that is closest to a function

[BibT_eX]

[DOI]

CoRR, 2003

Complex Division with Prescaling of Operands.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Conference on Application-Specific Systems, 2003

"Partially Rounded" Small-Order Approximations for Accurate, Hardware-Oriented, Table-Based Methods.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE Symposium on Computer Arithmetic (Arith-16 2003), 2003

2002

Real Numbers - Foreword.

[BibT_eX]

[DOI]

Jean Marie Chesneaux

Christiane Frougny

Theor. Comput. Sci., 2002

2001

FPGA Implementation of a Faithful Polynomial Approximation for Powering Function Computation.

[BibT_eX]

[DOI]

José-Alejandro Piñeiro

Javier D. Bruguera

Proceedings of the Euromicro Symposium on Digital Systems Design 2001 (Euro-DSD 2001), 2001

Faithful Powering Computation Using Table Look-Up and a Fused Accumulation Tree.

[BibT_eX]

[DOI]

José-Alejandro Piñeiro

Javier D. Bruguera

Proceedings of the 15th IEEE Symposium on Computer Arithmetic (Arith-15 2001), 2001

Worst Cases for Correct Rounding of the Elementary Functions in Double Precision.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE Symposium on Computer Arithmetic (Arith-15 2001), 2001

Bounds on Runs of Zeros and Ones for Algebraic Functions.

[BibT_eX]

[DOI]

Tomás Lang

Proceedings of the 15th IEEE Symposium on Computer Arithmetic (Arith-15 2001), 2001

2000

A Radix-10 BKM Algorithm for Computing Transcendentals on Pocket Computers.

[BibT_eX]

[DOI]

Laurent Imbert

F. Rico

J. VLSI Signal Process., 2000

Reciprocation, Square Root, Inverse Square Root, and Some Elementary Functions Using Small Multipliers.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2000

Improving Goldschmidt Division, Square Root, and Square Root Reciprocal.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2000

Synthesis for Mixed Arithmetic.

[BibT_eX]

[DOI]

Anne Mignotte

Olivier Peyran

Des. Autom. Embed. Syst., 2000

1999

Foreword: Real Numbers and Computers.

[BibT_eX]

[DOI]

Jean-Claude Bajard

Christiane Frougny

Theor. Comput. Sci., 1999

A Few Results on Table-Based Methods.

[BibT_eX]

[DOI]

Reliab. Comput., 1999

1998

A New Euclidean Division Algorithm for Residue Number Systems.

[BibT_eX]

[DOI]

Jean-Claude Bajard

Laurent-Stéphane Didier

J. VLSI Signal Process., 1998

Semi-Logarithmic Number Systems.

[BibT_eX]

[DOI]

Alexandre Scherbyna

IEEE Trans. Computers, 1998

Toward Correctly Rounded Transcendentals.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1998

Foreword to the special issue.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 1998

1997

Towards Correctly Rounded Transcendentals.

[BibT_eX]

[DOI]

Proceedings of the 13th Symposium on Computer Arithmetic (ARITH-13 '97), 1997

1996

Forword to the Special Issue on Real Numbers and Computers.

[BibT_eX]

Theor. Comput. Sci., 1996

On-Line Algorithms for Computing Exponentials and Logarithms.

[BibT_eX]

[DOI]

Asger Munk Nielsen

Proceedings of the Euro-Par '96 Parallel Processing, 1996

1995

Modular Range Reduction: A New Algorithm for Fast and Accurate Computation on the Elementary Functions.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 1995

Introduction to the Special Issue: "Real Numbers and Computers".

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 1995

1994

Some Characterizations of Functions Computable in On-Line Arithmetic.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1994

BKM: A New Hardware Algorithm for Complex Elementary Functions.

[BibT_eX]

[DOI]

Jean-Claude Bajard

Sylvanus Kla

IEEE Trans. Computers, 1994

Some Operators for On-Line Radix-2 Computations.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 1994

Implementing On Line Arithmetic on PAM.

[BibT_eX]

[DOI]

Marc Daumas

Jean Vuillemin

Proceedings of the Field-Programmable Logic, 1994

1993

Computing Functions cos^{-1} and sin^{-1} Using Cordic.

[BibT_eX]

[DOI]

Christophe Mazenc

Xavier Merrheim

IEEE Trans. Computers, 1993

The CORDIC Algorithm: New Results for Fast VLSI Implementation.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1993

A VLSI circuit for on-line polynominal computing: Application to exponential, trigonometric and hyperbolic functions.

[BibT_eX]

Proceedings of the VLSI 93, 1993

Design of a VLSI circuit for on-line evaluation of several elementary functions using their Taylor expansions.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Application-Specific Array Processors, 1993

Fast evaluation of polynomials and inverses of polynomials.

[BibT_eX]

[DOI]

Xavier Merrheim

Hong-Jin Yeh

Proceedings of the 11th Symposium on Computer Arithmetic, 29 June, 1993

1991

On-line computing: a survey and some new results.

[BibT_eX]

Proceedings of the Algorithms and Parallel VLSI Architectures II, 1991

Delays of on-line floating point operators in borrow-save representation.

[BibT_eX]

Mario Fiallos Aguilar

Hong-Jin Yeh

Proceedings of the Algorithms and Parallel VLSI Architectures II, 1991

Implementation of a VLSI polynomial evaluator for real-time applications.

[BibT_eX]

[DOI]

Proceedings of the Application Specific Array Processors, 1991

1989

JANUS, an on-line multiplier/divider for manipulating large numbers.

[BibT_eX]

[DOI]

Alain Guyot

Yvan Herreros

Proceedings of the 9th Symposium on Computer Arithmetic, 1989

Some results about on-line computation of functions.

[BibT_eX]

[DOI]

Yvan Herreros

Proceedings of the 9th Symposium on Computer Arithmetic, 1989

1988

Hardwired Polynomial Evaluation.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 1988

1987

A Way to Build Efficient Carry-Skip Adders.

[BibT_eX]

[DOI]

Alain Guyot

Bertrand Hochet

IEEE Trans. Computers, 1987

The FELIN arithmetic coprocessor chip.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE Symposium on Computer Arithmetic, 1987

1985

Une méthodologie du calcul des fonctions élémentaires. (A methodology for computing elementary functions).

[BibT_eX]

[DOI]

PhD thesis, 1985

Discrete Basis and Computation of Elementary Functions.

[BibT_eX]

[DOI]