Jean-Michel Muller

146 papers B 2C 34Misc 4Journal 75Unranked 26
YearRankTypeTitle / Venue / Authors
2026 J jnl
Correctly-Rounded Evaluation of a Function: Why, How, and at What Cost?
ACM Comput. Surv.
Nicolas Brisebarre, Guillaume Hanrot, Jean-Michel Muller, Paul Zimmermann
2025 J jnl
Emulation of the FMA and the correctly-rounded sum of three numbers in rounding-to-nearest floating-point arithmetic.
Numerische Mathematik
Stef Graillat, Jean-Michel Muller
2024 J jnl
Effective Quadratic Error Bounds for Floating-Point Algorithms Computing the Hypotenuse Function.
CoRR
Jean-Michel Muller, Bruno Salvy
2024 J jnl
Error in Ulps of the Multiplication or Division by a Correctly-Rounded Function or Constant in Binary Floating-Point Arithmetic.
IEEE Trans. Emerg. Top. Comput.
Nicolas Brisebarre, Jean-Michel Muller, Joris Picot
2024 C conf
Useful applications of correctly-rounded operators of the form ab + cd + e.
ARITH
Tom Hubrecht, Claude-Pierre Jeannerod, Jean-Michel Muller
2023 J jnl
Accurate Calculation of Euclidean Norms Using Double-word Arithmetic.
ACM Trans. Math. Softw.
Vincent Lefèvre, Nicolas Louvet, Jean-Michel Muller, Joris Picot, Laurence Rideau
2023 C conf
Error in ulps of the multiplication or division by a correctly-rounded function or constant in binary floating-point arithmetic.
ARITH
Nicolas Brisebarre, Jean-Michel Muller, Joris Picot
2023 J jnl
Floating-point arithmetic.
Acta Numer.
Sylvie Boldo, Claude-Pierre Jeannerod, Guillaume Melquiond, Jean-Michel Muller
2023 C conf
Testing the Sharpness of Known Error Bounds on the Fast Fourier Transform.
ARITH
Nicolas Brisebarre, Jean-Michel Muller, Joris Picot
2022 J jnl
Computer Arithmetic: Continuing a Long and Steady Emergence.
Computer
Paolo Montuschi, Jean-Michel Muller, Florent de Dinechin
2022 J jnl
Formalization of Double-Word Arithmetic, and Comments on "Tight and Rigorous Error Bounds for Basic Building Blocks of Double-Word Arithmetic".
ACM Trans. Math. Softw.
Jean-Michel Muller, Laurence Rideau
2022 C conf
High-level algorithms for correctly-rounded reciprocal square roots.
ARITH
Carlos F. Borges, Claude-Pierre Jeannerod, Jean-Michel Muller
2021 C conf
$a \cdot(x\cdot\ x)$ or $(a\cdot x)\cdot x?$.
ARITH
Jean-Michel Muller
2021 J jnl
Emulating Round-to-Nearest Ties-to-Zero "Augmented" Floating-Point Operations Using Round-to-Nearest Ties-to-Even Arithmetic.
IEEE Trans. Computers
Sylvie Boldo, Christoph Quirin Lauter, Jean-Michel Muller
2020 C conf
Algorithms for Manipulating Quaternions in Floating-Point Arithmetic.
ARITH
Mioara Joldes, Jean-Michel Muller
2020 C conf
Alternative Split Functions and Dekker's Product.
ARITH
Stef Graillat, Vincent Lefèvre, Jean-Michel Muller
2020 Misc conf
An Architecture for Improving Variable Radix Real and Complex Division Using Recurrence Division.
ACSSC
James E. Stine, Milos D. Ercegovac, Jean-Michel Muller
2020 J jnl
Elementary Functions and Approximate Computing.
Proc. IEEE
Jean-Michel Muller
2020 J jnl
Error Analysis of Some Operations Involved in the Cooley-Tukey Fast Fourier Transform.
ACM Trans. Math. Softw.
Nicolas Brisebarre, Mioara Joldes, Jean-Michel Muller, Ana-Maria Nanes, Joris Picot
2019 C conf
Accurate Complex Multiplication in Floating-Point Arithmetic.
ARITH
Vincent Lefèvre, Jean-Michel Muller
2019 J jnl
Algorithms for Triple-Word Arithmetic.
IEEE Trans. Computers
Nicolas Fabiano, Jean-Michel Muller, Joris Picot
2019 C conf
Semi-Automatic Implementation of the Complementary Error Function.
ARITH
Anastasia Volkova, Jean-Michel Muller
2018 C conf
A High Throughput Polynomial and Rational Function Approximations Evaluator.
ARITH
Nicolas Brisebarre, George A. Constantinides, Milos Ercezovac, Silviu-Ioan Filip, Matei Istoan, Jean-Michel Muller
2018 — book
Handbook of Floating-Point Arithmetic (2nd Ed.).
Jean-Michel Muller, Nicolas Brunie, Florent de Dinechin, Claude-Pierre Jeannerod, Mioara Joldes, Vincent Lefèvre, Guillaume Melquiond, Nathalie Revol, Serge Torres
2018 C conf
On Various Ways to Split a Floating-Point Number.
ARITH
Claude-Pierre Jeannerod, Jean-Michel Muller, Paul Zimmermann
2017 J jnl
Error bounds on complex floating-point multiplication with an FMA.
Math. Comput.
Claude-Pierre Jeannerod, Peter Kornerup, Nicolas Louvet, Jean-Michel Muller
2017 — conf
Formal Correctness of Comparison Algorithms Between Binary64 and Decimal64 Floating-Point Numbers.
NSV@CAV
Arthur Blot, Jean-Michel Muller, Laurent Théry
2017 B conf
Formal Verification of a Floating-Point Expansion Renormalization Algorithm.
ITP
Sylvie Boldo, Mioara Joldes, Jean-Michel Muller, Valentina Popescu
2017 C conf
Implementation and Performance Evaluation of an Extended Precision Floating-Point Arithmetic Library for High-Accuracy Semidefinite Programming.
ARITH
Mioara Joldes, Jean-Michel Muller, Valentina Popescu
2017 J jnl
Introduction to the Special Issue on Computer Arithmetic.
IEEE Trans. Computers
Javier Hormigo, Jean-Michel Muller, Stuart F. Oberman, Nathalie Revol, Arnaud Tisserand, Julio Villalba-Moreno
2017 J jnl
On the Robustness of the 2Sum and Fast2Sum Algorithms.
ACM Trans. Math. Softw.
Sylvie Boldo, Stef Graillat, Jean-Michel Muller
2017 Misc conf
On the relative error of computing complex square roots in floating-point arithmetic.
ACSSC
Claude-Pierre Jeannerod, Jean-Michel Muller
2017 C conf
The Classical Relative Error Bounds for Computing Sqrt(a^2 + b^2) and c / sqrt(a^2 + b^2) in Binary Floating-Point Arithmetic are Asymptotically Optimal.
ARITH
Claude-Pierre Jeannerod, Jean-Michel Muller, Antoine Plet
2017 J jnl
Tight and Rigorous Error Bounds for Basic Building Blocks of Double-Word Arithmetic.
ACM Trans. Math. Softw.
Mioara Joldes, Jean-Michel Muller, Valentina Popescu
2016 C conf
A New Multiplication Algorithm for Extended Precision Using Floating-Point Expansions.
ARITH
Jean-Michel Muller, Valentina Popescu, Ping Tak Peter Tang
2016 J jnl
Arithmetic Algorithms for Extended Precision Using Floating-Point Expansions.
IEEE Trans. Computers
Mioara Joldes, Olivier Marty, Jean-Michel Muller, Valentina Popescu
2016 — conf
CAMPARY: Cuda Multiple Precision Arithmetic Library and Applications.
ICMS
Mioara Joldes, Jean-Michel Muller, Valentina Popescu, Warwick Tucker
2016 J jnl
Comparison between Binary and Decimal Floating-Point Numbers.
IEEE Trans. Computers
Nicolas Brisebarre, Christoph Quirin Lauter, Marc Mezzarobba, Jean-Michel Muller
2016 C conf
Computing floating-point logarithms with fixed-point operations.
ARITH
Julien Le Maire, Nicolas Brunie, Florent de Dinechin, Jean-Michel Muller
2016 J jnl
Modern Computer Arithmetic.
Computer
Paolo Montuschi, Jean-Michel Muller
2016 — conf
Parallel floating-point expansions for extended-precision GPU computations.
ASAP
Caroline Collange, Mioara Joldes, Jean-Michel Muller, Valentina Popescu
2016 J jnl
Sharp error bounds for complex floating-point inversion.
Numer. Algorithms
Claude-Pierre Jeannerod, Nicolas Louvet, Jean-Michel Muller, Antoine Plet
2015 J jnl
On the Error of Computing
ACM Trans. Math. Softw.
Jean-Michel Muller
2015 J jnl
On the maximum relative error when computing integer powers by iterated multiplications in floating-point arithmetic.
Numer. Algorithms
Stef Graillat, Vincent Lefèvre, Jean-Michel Muller
2014 J jnl
(M, p, k)-Friendly Points: A Table-Based Method to Evaluate Trigonometric Function.
IEEE Trans. Circuits Syst. II Express Briefs
Dong Wang, Jean-Michel Muller, Nicolas Brisebarre, Milos D. Ercegovac
2014 — conf
On the computation of the reciprocal of floating point expansions using an adapted Newton-Raphson iteration.
ASAP
Mioara Joldes, Jean-Michel Muller, Valentina Popescu
2014 J jnl
On the maximum relative error when computing x^n in floating-point arithmetic.
CoRR
Stef Graillat, Vincent Lefèvre, Jean-Michel Muller
2014 J jnl
Preface to the special issue on Numerical Software: Design, Analysis and Verification.
Sci. Comput. Program.
Amparo Gil, Jean-Michel Muller, Javier Segura
2013 Misc conf
Avoiding double roundings in scaled Newton-Raphson division.
ACSSC
Jean-Michel Muller
2013 C conf
Comparison between Binary64 and Decimal64 Floating-Point Numbers.
IEEE Symposium on Computer Arithmetic
Nicolas Brisebarre, Marc Mezzarobba, Jean-Michel Muller, Christoph Quirin Lauter
2013 J jnl
Further analysis of Kahan's algorithm for the accurate computation of 2×2 determinants.
Math. Comput.
Claude-Pierre Jeannerod, Nicolas Louvet, Jean-Michel Muller
2013 J jnl
On Ziv's rounding test.
ACM Trans. Math. Softw.
Florent de Dinechin, Christoph Quirin Lauter, Jean-Michel Muller, Serge Torres
2013 C conf
On the Componentwise Accuracy of Complex Floating-Point Division with an FMA.
IEEE Symposium on Computer Arithmetic
Claude-Pierre Jeannerod, Nicolas Louvet, Jean-Michel Muller
2013 J jnl
Radix Conversion for IEEE754-2008 Mixed Radix Floating-Point Arithmetic.
CoRR
Olga Kupriianova, Christoph Quirin Lauter, Jean-Michel Muller
2013 Misc conf
Radix conversion for IEEE754-2008 mixed radix floating-point arithmetic.
ACSSC
Olga Kupriianova, Christoph Quirin Lauter, Jean-Michel Muller
2012 — conf
(M, p, k)-Friendly Points: A Table-Based Method for Trigonometric Function Evaluation.
ASAP
Nicolas Brisebarre, Milos D. Ercegovac, Jean-Michel Muller
2012 J jnl
Floating-Point Arithmetic on Round-to-Nearest Representations
CoRR
Peter Kornerup, Jean-Michel Muller, Adrien Panhaleux
2012 J jnl
On the Computation of Correctly Rounded Sums.
IEEE Trans. Computers
Peter Kornerup, Vincent Lefèvre, Nicolas Louvet, Jean-Michel Muller
2012 — conf
Rigorous Polynomial Approximation Using Taylor Models in Coq.
NASA Formal Methods
Nicolas Brisebarre, Mioara Joldes, Érik Martin-Dorel, Micaela Mayero, Jean-Michel Muller, Ioana Pasca, Laurence Rideau, Laurent Théry
2011 — conf
An FPGA architecture for solving the Table Maker's Dilemma.
ASAP
Florent de Dinechin, Jean-Michel Muller, Bogdan Pasca, Alexandru Plesco
2011 C conf
Augmented Precision Square Roots and 2-D Norms, and Discussion on Correctly Rounding sqrt(x^2+y^2).
IEEE Symposium on Computer Arithmetic
Nicolas Brisebarre, Mioara Joldes, Peter Kornerup, Érik Martin-Dorel, Jean-Michel Muller
2011 J jnl
Exact and Approximated Error of the FMA.
IEEE Trans. Computers
Sylvie Boldo, Jean-Michel Muller
2011 J jnl
Midpoints and Exact Points of Some Algebraic Functions in Floating-Point Arithmetic.
IEEE Trans. Computers
Claude-Pierre Jeannerod, Nicolas Louvet, Jean-Michel Muller, Adrien Panhaleux
2011 J jnl
Performing Arithmetic Operations on Round-to-Nearest Representations.
IEEE Trans. Computers
Peter Kornerup, Jean-Michel Muller, Adrien Panhaleux
2010 J jnl
An Efficient Method for Evaluating Complex Polynomials.
J. Signal Process. Syst.
Milos D. Ercegovac, Jean-Michel Muller
2010 J jnl
Computing correctly rounded integer powers in floating-point arithmetic.
ACM Trans. Math. Softw.
Peter Kornerup, Christoph Quirin Lauter, Vincent Lefèvre, Nicolas Louvet, Jean-Michel Muller
2010 — book
Handbook of Floating-Point Arithmetic.
Jean-Michel Muller, Nicolas Brisebarre, Florent de Dinechin, Claude-Pierre Jeannerod, Vincent Lefèvre, Guillaume Melquiond, Nathalie Revol, Damien Stehlé, Serge Torres
2010 — conf
Implementing decimal floating-point arithmetic through binary: Some suggestions.
ASAP
Nicolas Brisebarre, Nicolas Louvet, Érik Martin-Dorel, Jean-Michel Muller, Adrien Panhaleux, Milos D. Ercegovac
2010 — conf
Newton-Raphson algorithms for floating-point division using an FMA.
ASAP
Nicolas Louvet, Jean-Michel Muller, Adrien Panhaleux
2010 — conf
Techniques and tools for implementing IEEE 754 floating-point arithmetic on VLIW integer processors.
PASCO
Claude-Pierre Jeannerod, Christophe Mouilleron, Jean-Michel Muller, Guillaume Revy, Christian Bertin, Jingyan Jourdan-Lu, Herve Knochel, Christophe Monat
2009 — conf
Design and Implementation of a Radix-4 Complex Division Unit with Prescaling.
ASAP
Pouya Dormiani, Milos D. Ercegovac, Jean-Michel Muller
2009 J jnl
Guest Editors' Introduction: Special Section on Computer Arithmetic.
IEEE Trans. Computers
Peter Kornerup, Paolo Montuschi, Jean-Michel Muller, Eric Schwarz
2009 C conf
On the Computation of Correctly-Rounded Sums.
IEEE Symposium on Computer Arithmetic
Peter Kornerup, Vincent Lefèvre, Nicolas Louvet, Jean-Michel Muller
2008 — conf
An efficient method for evaluating polynomial and rational function approximations.
ASAP
Nicolas Brisebarre, Sylvain Chevillard, Milos D. Ercegovac, Jean-Michel Muller, Serge Torres
2008 J jnl
Automatic Generation of Modular Multipliers for FPGA Applications.
IEEE Trans. Computers
Jean-Luc Beuchat, Jean-Michel Muller
2008 J jnl
Correctly Rounded Multiplication by Arbitrary Precision Constants.
IEEE Trans. Computers
Nicolas Brisebarre, Jean-Michel Muller
2008 — ch.
Digital Arithmetic.
Wiley Encyclopedia of Computer Science and Engineering
Florent de Dinechin, Milos D. Ercegovac, Jean-Michel Muller, Nathalie Revol
2008 — conf
Integer and floating-point constant multipliers for FPGAs.
ASAP
Nicolas Brisebarre, Florent de Dinechin, Jean-Michel Muller
2007 — conf
A Hardware-Oriented Method for Evaluating Complex Polynomials.
ASAP
Milos D. Ercegovac, Jean-Michel Muller
2007 J jnl
Complex Square Root with Operand Prescaling.
J. VLSI Signal Process.
Milos D. Ercegovac, Jean-Michel Muller
2007 J jnl
Computing Integer Powers in Floating-Point Arithmetic
CoRR
Peter Kornerup, Vincent Lefèvre, Jean-Michel Muller
2007 J jnl
Correct rounding of algebraic functions.
RAIRO Theor. Informatics Appl.
Nicolas Brisebarre, Jean-Michel Muller
2007 J jnl
Fast and correctly rounded logarithms in double-precision.
RAIRO Theor. Informatics Appl.
Florent de Dinechin, Christoph Quirin Lauter, Jean-Michel Muller
2006 J jnl
Choosing starting values for certain Newton-Raphson iterations.
Theor. Comput. Sci.
Peter Kornerup, Jean-Michel Muller
2006 J jnl
Computing machine-efficient polynomial approximations.
ACM Trans. Math. Softw.
Nicolas Brisebarre, Jean-Michel Muller, Arnaud Tisserand
2006 — book
Elementary functions - algorithms and implementation (2. ed.).
Jean-Michel Muller
2006 J jnl
Leading Guard Digits in Finite Precision Redundant Representations.
IEEE Trans. Computers
Peter Kornerup, Jean-Michel Muller
2005 J jnl
A New Range-Reduction Algorithm.
IEEE Trans. Computers
Nicolas Brisebarre, David Defour, Peter Kornerup, Jean-Michel Muller, Nathalie Revol
2005 C conf
Correctly Rounded Multiplication by Arbitrary Precision Constants.
IEEE Symposium on Computer Arithmetic
Nicolas Brisebarre, Jean-Michel Muller
2005 C conf
Division by Constant for the ST100 DSP Microprocessor.
IEEE Symposium on Computer Arithmetic
Jean-Michel Muller, Arnaud Tisserand, Benoît Dupont de Dinechin, Christophe Monat
2005 J jnl
High-Speed Function Approximation Using a Minimax Quadratic Interpolator.
IEEE Trans. Computers
José-Alejandro Piñeiro, Stuart F. Oberman, Jean-Michel Muller, Javier D. Bruguera
2005 — conf
Multiplication Algorithms for Radix-2 RN-Codings and Two's Complement Multiplication Algorithms for Radix-2 RN-Codings and Two's Complement.
ASAP
Jean-Luc Beuchat, Jean-Michel Muller
2005 C conf
Some Functions Computable with a Fused-Mac.
IEEE Symposium on Computer Arithmetic
Sylvie Boldo, Jean-Michel Muller
2005 — conf
Variable Radix Real and Complex Digit-Recurrence Division.
ASAP
Milos D. Ercegovac, Jean-Michel Muller
2004 J jnl
Accelerating Correctly Rounded Floating-Point Division when the Divisor Is Known in Advance.
IEEE Trans. Computers
Nicolas Brisebarre, Jean-Michel Muller, Saurabh Kumar Raina
2004 — conf
Complex Square Root with Operand Prescaling.
ASAP
Milos D. Ercegovac, Jean-Michel Muller
2004 J jnl
Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic.
Numer. Algorithms
David Defour, Guillaume Hanrot, Vincent Lefèvre, Jean-Michel Muller, Nathalie Revol, Paul Zimmermann
2003 C conf
"Partially Rounded" Small-Order Approximations for Accurate, Hardware-Oriented, Table-Based Methods.
IEEE Symposium on Computer Arithmetic
Jean-Michel Muller
2003 — conf
Complex Division with Prescaling of Operands.
ASAP
Jean-Michel Muller
2003 J jnl
Finding the "truncated" polynomial that is closest to a function
CoRR
Nicolas Brisebarre, Jean-Michel Muller
2003 J jnl
On-the-Fly Range Reduction.
J. VLSI Signal Process.
Vincent Lefèvre, Jean-Michel Muller
2003 J jnl
Preface.
Theor. Comput. Sci.
Peter Kornerup, Jean-Claude Bajard, Christiane Frougny, Jean-Michel Muller
2002 J jnl
Real Numbers - Foreword.
Theor. Comput. Sci.
Jean Marie Chesneaux, Christiane Frougny, Jean-Michel Muller
2001 C conf
Bounds on Runs of Zeros and Ones for Algebraic Functions.
IEEE Symposium on Computer Arithmetic
Tomás Lang, Jean-Michel Muller
2001 C conf
FPGA Implementation of a Faithful Polynomial Approximation for Powering Function Computation.
DSD
José-Alejandro Piñeiro, Javier D. Bruguera, Jean-Michel Muller
2001 C conf
Faithful Powering Computation Using Table Look-Up and a Fused Accumulation Tree.
IEEE Symposium on Computer Arithmetic
José-Alejandro Piñeiro, Javier D. Bruguera, Jean-Michel Muller
2001 C conf
Worst Cases for Correct Rounding of the Elementary Functions in Double Precision.
IEEE Symposium on Computer Arithmetic
Vincent Lefèvre, Jean-Michel Muller
2000 J jnl
A Radix-10 BKM Algorithm for Computing Transcendentals on Pocket Computers.
J. VLSI Signal Process.
Laurent Imbert, Jean-Michel Muller, F. Rico
2000 J jnl
Improving Goldschmidt Division, Square Root, and Square Root Reciprocal.
IEEE Trans. Computers
Milos D. Ercegovac, Laurent Imbert, David W. Matula, Jean-Michel Muller, Guoheng Wei
2000 J jnl
Reciprocation, Square Root, Inverse Square Root, and Some Elementary Functions Using Small Multipliers.
IEEE Trans. Computers
Milos D. Ercegovac, Tomás Lang, Jean-Michel Muller, Arnaud Tisserand
2000 J jnl
Synthesis for Mixed Arithmetic.
Des. Autom. Embed. Syst.
Anne Mignotte, Jean-Michel Muller, Olivier Peyran
1999 J jnl
A Few Results on Table-Based Methods.
Reliab. Comput.
Jean-Michel Muller
1999 J jnl
Foreword: Real Numbers and Computers.
Theor. Comput. Sci.
Jean-Claude Bajard, Christiane Frougny, Jean-Michel Muller
1998 — conf
A Few Results on Table-Based Methods.
SCAN
Jean-Michel Muller
1998 J jnl
A New Euclidean Division Algorithm for Residue Number Systems.
J. VLSI Signal Process.
Jean-Claude Bajard, Laurent-Stéphane Didier, Jean-Michel Muller
1998 J jnl
Foreword to the special issue.
J. Univers. Comput. Sci.
Jean-Michel Muller
1998 J jnl
Foreword to the special issue.
J. Univers. Comput. Sci.
Jean-Michel Muller
1998 J jnl
Semi-Logarithmic Number Systems.
IEEE Trans. Computers
Jean-Michel Muller, Alexandre Scherbyna, Arnaud Tisserand
1998 J jnl
Toward Correctly Rounded Transcendentals.
IEEE Trans. Computers
Vincent Lefèvre, Jean-Michel Muller, Arnaud Tisserand
1997 C conf
Towards Correctly Rounded Transcendentals.
IEEE Symposium on Computer Arithmetic
Vincent Lefèvre, Arnaud Tisserand, Jean-Michel Muller
1996 — conf
A New Euclidean Division Algorithm For Residue Number Systems.
ASAP
Jean-Claude Bajard, Laurent-Stéphane Didier, Jean-Michel Muller
1996 J jnl
Forword to the Special Issue on Real Numbers and Computers.
Theor. Comput. Sci.
Jean-Claude Bajard, Christiane Frougny, Jean-Michel Muller, Gilles Villard
1996 — conf
On-Line Algorithms for Computing Exponentials and Logarithms.
Euro-Par, Vol. II
Asger Munk Nielsen, Jean-Michel Muller
1995 J jnl
Introduction to the Special Issue: "Real Numbers and Computers".
J. Univers. Comput. Sci.
Jean-Claude Bajard, Dominique Michelucci, Jean-Michel Moreau, Jean-Michel Muller
1995 J jnl
Modular Range Reduction: A New Algorithm for Fast and Accurate Computation on the Elementary Functions.
J. Univers. Comput. Sci.
Marc Daumas, Christophe Mazenc, Xavier Merrheim, Jean-Michel Muller
1995 C conf
Semi-Logarithmic Number Systems.
IEEE Symposium on Computer Arithmetic
Jean-Michel Muller, Arnaud Tisserand, Alexandre Scherbyna
1994 J jnl
BKM: A New Hardware Algorithm for Complex Elementary Functions.
IEEE Trans. Computers
Jean-Claude Bajard, Sylvanus Kla, Jean-Michel Muller
1994 B conf
Implementing On Line Arithmetic on PAM.
FPL
Marc Daumas, Jean-Michel Muller, Jean Vuillemin
1994 J jnl
Some Characterizations of Functions Computable in On-Line Arithmetic.
IEEE Trans. Computers
Jean-Michel Muller
1994 J jnl
Some Operators for On-Line Radix-2 Computations.
J. Parallel Distributed Comput.
Jean-Claude Bajard, Jean Duprat, Sylvanus Kla, Jean-Michel Muller
1993 — conf
A VLSI circuit for on-line polynominal computing: Application to exponential, trigonometric and hyperbolic functions.
VLSI
Ali Skaf, Jean-Claude Bajard, Alain Guyot, Jean-Michel Muller
1993 C conf
BKM: A new hardware algorithm for complex elementary functions.
IEEE Symposium on Computer Arithmetic
Jean-Claude Bajard, Sylvanus Kla, Jean-Michel Muller
1993 J jnl
Computing Functions cos^{-1} and sin^{-1} Using Cordic.
IEEE Trans. Computers
Christophe Mazenc, Xavier Merrheim, Jean-Michel Muller
1993 — conf
Design of a VLSI circuit for on-line evaluation of several elementary functions using their Taylor expansions.
ASAP
Jean-Claude Bajard, Alain Guyot, Jean-Michel Muller, Ali Skaf
1993 C conf
Fast evaluation of polynomials and inverses of polynomials.
IEEE Symposium on Computer Arithmetic
Xavier Merrheim, Jean-Michel Muller, Hong-Jin Yeh
1993 J jnl
The CORDIC Algorithm: New Results for Fast VLSI Implementation.
IEEE Trans. Computers
Jean Duprat, Jean-Michel Muller
1991 — conf
Delays of on-line floating point operators in borrow-save representation.
Algorithms and Parallel VLSI Architectures
Jean Duprat, Mario Fiallos Aguilar, Jean-Michel Muller, Hong-Jin Yeh
1991 — conf
Implementation of a VLSI polynomial evaluator for real-time applications.
ASAP
Guy Corbaz, Jean Duprat, Bertrand Hochet, Jean-Michel Muller
1991 — conf
On-line computing: a survey and some new results.
Algorithms and Parallel VLSI Architectures
Jean-Michel Muller
1989 C conf
JANUS, an on-line multiplier/divider for manipulating large numbers.
IEEE Symposium on Computer Arithmetic
Alain Guyot, Yvan Herreros, Jean-Michel Muller
1989 C conf
Some results about on-line computation of functions.
IEEE Symposium on Computer Arithmetic
Jean Duprat, Yvan Herreros, Jean-Michel Muller
1988 J jnl
Hardwired Polynomial Evaluation.
J. Parallel Distributed Comput.
Jean Duprat, Jean-Michel Muller
1987 J jnl
A Way to Build Efficient Carry-Skip Adders.
IEEE Trans. Computers
Alain Guyot, Bertrand Hochet, Jean-Michel Muller
1987 C conf
The FELIN arithmetic coprocessor chip.
IEEE Symposium on Computer Arithmetic
Michel Cosnard, Alain Guyot, Bertrand Hochet, Jean-Michel Muller, Hassan Ouaouicha, P. Paul, Eytan Zysman
1985 J jnl
Discrete Basis and Computation of Elementary Functions.
IEEE Trans. Computers
Jean-Michel Muller
1985 — —
Une méthodologie du calcul des fonctions élémentaires. (A methodology for computing elementary functions).
Jean-Michel Muller