Accéder directement au contenu
JM

Jean-Michel Muller

Directeur de Recherches au CNRS, Lab. LIP
155
Documents
Identifiants chercheurs
Contact

Présentation

Directeur de Recherche au CNRS Laboratoire LIP, Equipe AriC (commune au CNRS, à l'ENS de Lyon, à l'Inria et à l'Université Claude bernard Lyon 1) Adresse postale: ENS Lyon, 46 allée d'Italie, 69364 Lyon Cédex 07
Directeur de Recherche au CNRS Laboratoire LIP, Equipe AriC (commune au CNRS, à l'ENS de Lyon, à l'Inria et à l'Université Claude bernard Lyon 1) Adresse postale: ENS Lyon, 46 allée d'Italie, 69364 Lyon Cédex 07

Domaines de recherche


Publications

Le dilemme du fabricant de tables

Sylvie Boldo , Nicolas Brisebarre , Jean-Michel Muller
La Recherche, 2023, 572
Article dans une revue hal-03932037v1
Image document

Error in ulps of the multiplication or division by a correctly-rounded function or constant in binary floating-point arithmetic

Nicolas Brisebarre , Jean-Michel Muller , Joris Picot
IEEE Transactions on Emerging Topics in Computing, inPress, ⟨10.1109/TETC.2023.3294986⟩
Article dans une revue hal-04044716v2
Image document

Floating-point arithmetic

Sylvie Boldo , Claude-Pierre Jeannerod , Guillaume Melquiond , Jean-Michel Muller
Acta Numerica, 2023, 32, pp.203-290. ⟨10.1017/S0962492922000101⟩
Article dans une revue hal-04095151v1
Image document

Accurate calculation of Euclidean Norms using Double-word arithmetic

Vincent Lefèvre , Nicolas Louvet , Jean-Michel Muller , Joris Picot , Laurence Rideau
ACM Transactions on Mathematical Software, 2023, 49 (1), pp.1-34. ⟨10.1145/3568672⟩
Article dans une revue hal-03482567v2
Image document

Formalization of double-word arithmetic, and comments on "Tight and rigorous error bounds for basic building blocks of double-word arithmetic"

Jean-Michel Muller , Laurence Rideau
ACM Transactions on Mathematical Software, 2022, 48 (1), pp.1-24. ⟨10.1145/3484514⟩
Article dans une revue hal-02972245v2
Image document

Computer Arithmetic: Continuing a Long and Steady Emergence

Paolo Montuschi , Jean-Michel Muller , Florent de Dinechin
Computer, 2022, 55 (10), pp.4-6. ⟨10.1109/MC.2022.3193206⟩
Article dans une revue hal-03806577v1
Image document

Emulating round-to-nearest ties-to-zero "augmented" floating-point operations using round-to-nearest ties-to-even arithmetic

Sylvie Boldo , Christoph Q. Lauter , Jean-Michel Muller
IEEE Transactions on Computers, 2021, 70 (7), pp.1046 - 1058. ⟨10.1109/TC.2020.3002702⟩
Article dans une revue hal-02137968v4
Image document

Error analysis of some operations involved in the Cooley-Tukey Fast Fourier Transform

Nicolas Brisebarre , Mioara Joldes , Jean-Michel Muller , Ana-Maria Naneş , Joris Picot
ACM Transactions on Mathematical Software, 2020, 46 (2), pp.1-34. ⟨10.1145/3368619⟩
Article dans une revue hal-01949458v2
Image document

Elementary Functions and Approximate Computing

Jean-Michel Muller
Proceedings of the IEEE, 2020, 108 (12), pp.1558-2256. ⟨10.1109/JPROC.2020.2991885⟩
Article dans une revue hal-02517784v2
Image document

Algorithms for triple-word arithmetic

Nicolas Fabiano , Jean-Michel Muller , Joris Picot
IEEE Transactions on Computers, 2019, 68 (11), pp.1573-1583. ⟨10.1109/TC.2019.2918451⟩
Article dans une revue hal-01869009v2
Image document

Error bounds on complex floating-point multiplication with an FMA

Claude-Pierre Jeannerod , Peter Kornerup , Nicolas Louvet , Jean-Michel Muller
Mathematics of Computation, 2017, 86 (304), pp. 881-898. ⟨10.1090/mcom/3123⟩
Article dans une revue hal-00867040v5
Image document

On the robustness of the 2Sum and Fast2Sum algorithms

Sylvie Boldo , Stef Graillat , Jean-Michel Muller
ACM Transactions on Mathematical Software, 2017, 44 (1)
Article dans une revue ensl-01310023v2
Image document

Tight and rigorous error bounds for basic building blocks of double-word arithmetic

Mioara Maria Joldes , Jean-Michel Muller , Valentina Popescu
ACM Transactions on Mathematical Software, 2017, 44 (2), pp.1 - 27. ⟨10.1145/3121432⟩
Article dans une revue hal-01351529v3

Modern Computer Arithmetic

Paolo Montuschi , Jean-Michel Muller
Computer, 2016, 49 (9), pp.12
Article dans une revue hal-01394408v1
Image document

Comparison between binary and decimal floating-point numbers

Nicolas Brisebarre , Christoph Lauter , Marc Mezzarobba , Jean-Michel Muller
IEEE Transactions on Computers, 2016, 65 (7), pp.2032-2044. ⟨10.1109/TC.2015.2479602⟩
Article dans une revue hal-01021928v2
Image document

Sharp error bounds for complex floating-point inversion

Claude-Pierre Jeannerod , Nicolas Louvet , Jean-Michel Muller , Antoine Plet
Numerical Algorithms, 2016, 73 (3), pp.735-760. ⟨10.1007/s11075-016-0115-x⟩
Article dans une revue ensl-01195625v2
Image document

Arithmetic algorithms for extended precision using floating-point expansions

Mioara Joldes , Olivier Marty , Jean-Michel Muller , Valentina Popescu
IEEE Transactions on Computers, 2016, 65 (4), pp.1197 - 1210. ⟨10.1109/TC.2015.2441714⟩
Article dans une revue hal-01111551v2
Image document

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

Stef Graillat , Vincent Lefèvre , Jean-Michel Muller
Numerical Algorithms, 2015, 70 (3), pp.653-667. ⟨10.1007/s11075-015-9967-8⟩
Article dans une revue ensl-00945033v2
Image document

On the error of Computing ab + cd using Cornea, Harrison and Tang's method

Jean-Michel Muller
ACM Transactions on Mathematical Software, 2015, 41 (2), pp.8
Article dans une revue ensl-00862910v2

Des ordinateurs capables de calculer plus juste

Jean-Michel Muller , Sylvie Boldo
La Recherche, 2014, pp.46-53
Article dans une revue ensl-01069744v1
Image document

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

Dong Wang , Jean-Michel Muller , Nicolas Brisebarre , Milos Ercegovac
IEEE Transactions on Circuits and Systems Part 2 Analog and Digital Signal Processing, 2014, 61 (9), pp.711-715. ⟨10.1109/TCSII.2014.2331094⟩
Article dans une revue ensl-01001673v1
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
Article dans une revue ensl-00693317v2
Image document

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

Claude-Pierre Jeannerod , Nicolas Louvet , Jean-Michel Muller
Mathematics of Computation, 2013, 82 (284), pp.2245-2264. ⟨10.1090/S0025-5718-2013-02679-8⟩
Article dans une revue ensl-00649347v4
Image document

Some issues related to double roundings

Érik Martin-Dorel , Guillaume Melquiond , Jean-Michel Muller
BIT Numerical Mathematics, 2013, 53 (4), pp.897-924. ⟨10.1007/s10543-013-0436-2⟩
Article dans une revue ensl-00644408v3
Image document

Les calculs sur ordinateurs de plus en plus fiables et sûrs

Bel Dumé , Jean-Michel Muller
Collection "20 ans d'avancées et de perspectives en sciences du numérique", 2012, 2 p
Article dans une revue hal-00813205v1
Image document

On the computation of correctly-rounded sums

Peter Kornerup , Vincent Lefèvre , Nicolas Louvet , Jean-Michel Muller
IEEE Transactions on Computers, 2012, 61 (3), p. 289-298. ⟨10.1109/TC.2011.27⟩
Article dans une revue ensl-00331519v2
Image document

Midpoints and exact points of some algebraic functions in floating-point arithmetic

Claude-Pierre Jeannerod , Nicolas Louvet , Jean-Michel Muller , Adrien Panhaleux
IEEE Transactions on Computers, 2011, 60 (2), pp.228-241. ⟨10.1109/TC.2010.144⟩
Article dans une revue ensl-00409366v3
Image document

Exact and Approximated error of the FMA

Sylvie Boldo , Jean-Michel Muller
IEEE Transactions on Computers, 2011, 60 (2), pp.157-164. ⟨10.1109/TC.2010.139⟩
Article dans une revue inria-00429617v1
Image document

Performing Arithmetic Operations on Round-to-Nearest Representations

Peter Kornerup , Jean-Michel Muller , Adrien Panhaleux
IEEE Transactions on Computers, 2011, 60 (2), pp.282-291. ⟨10.1109/TC.2010.134⟩
Article dans une revue ensl-00548988v2

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⟩
Article dans une revue inria-00388501v1
Image document

An Efficient Method for Evaluating Complex Polynomials

Milos Ercegovac , Jean-Michel Muller
Journal of Signal Processing Systems, 2010, 58 (1), pp.17-27. ⟨10.1007/s11265-008-0265-8⟩
Article dans une revue ensl-00446889v1
Image document

Erreurs en arithmétique des ordinateurs

Vincent Lefèvre , Jean-Michel Muller
Images des Mathématiques, 2009
Article dans une revue hal-00598554v1
Image document

Guest Editors' Introduction: Special Section on Computer Arithmetic

Peter Kornerup , Paolo Montuschi , Jean-Michel Muller , Eric Schwarz
IEEE Transactions on Computers, 2009, 58 (2), pp.145-147
Article dans une revue ensl-00383561v1
Image document

Automatic Generation of Modular Multipliers for FPGA Applications

Jean-Michel Muller , Jean-Luc Beuchat
IEEE Transactions on Computers, 2008, 57 (12), pp.1600-1613. ⟨10.1109/TC.2008.102⟩
Article dans une revue ensl-00122716v3
Image document

Horner's Rule-Based Multiplication over Fp and Fp^n: A Survey

Jean-Michel Muller , Jean-Luc Beuchat , Takanori Miyoshi , Eiji Okamoto
International Journal of Electronics, 2008, 95 (7), pp.669-685
Article dans une revue ensl-00148210v1
Image document

Correct rounding of algebraic functions

Jean-Michel Muller , Nicolas Brisebarre
RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2007, 41 (1), pp.71-83. ⟨10.1051/ita:2007002⟩
Article dans une revue ensl-00143230v1
Image document

Fast and correctly rounded logarithms in double precision

Jean-Michel Muller , Florent de Dinechin , Christoph Lauter
RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2007, 41 (1), pp.85-102. ⟨10.1051/ita:2007003⟩
Article dans une revue ensl-00000007v2
Image document

Hardware operators for function evaluation using sparse-coefficient polynomials

Jean-Michel Muller , Arnaud Tisserand , Serge Torres , Nicolas Brisebarre
Electronics Letters, 2006, 42 (25), pp.1441-1442. ⟨10.1049/el:20062373⟩
Article dans une revue lirmm-00125483v2
Image document

Leading Guard Digits in Finite-Precision Redundant Representations

Jean-Michel Muller , Peter Kornerup
IEEE Transactions on Computers, 2006, 55 (5), pp.541-548. ⟨10.1109/TC.2006.79⟩
Article dans une revue ensl-00000001v1
Image document

Choosing Starting Values for certain Newton-Raphson Iterations

Jean-Michel Muller , Peter Kornerup
Theoretical Computer Science, 2006, 351 (1), pp.101-110. ⟨10.1016/j.tcs.2005.09.056⟩
Article dans une revue ensl-00000009v1
Image document

Computing machine-efficient polynomial approximations

Jean-Michel Muller , Nicolas Brisebarre , Arnaud Tisserand
ACM Transactions on Mathematical Software, 2006, 32 (2), pp.236-256. ⟨10.1145/1141885.1141890⟩
Article dans une revue ensl-00086826v1
Image document

A new range-reduction algorithm

Jean-Michel Muller , Nicolas Brisebarre , Peter Kornerup , David Defour , Nathalie Revol
IEEE Transactions on Computers, 2005, 54 (3), pp.331- 339. ⟨10.1109/TC.2005.36⟩
Article dans une revue ensl-00086904v1
Image document

High-Speed Function Approximation using a Minimax Quadratic Interpolator

Jean-Michel Muller , Stuart Oberman , Jose-Alejandro Pineiro , Javier Bruguera
IEEE Transactions on Computers, 2005, 54 (3), pp.304-318. ⟨10.1109/TC.2005.52⟩
Article dans une revue ensl-00000002v1
Image document

Nombre de solutions dans une binade de l'équation A^2+B^2=C^2+C

Jean-Michel Muller , Jean-Louis Nicolas , Xavier-François Roblot
L'Enseignement Mathématique , 2004, 50 (1-2), pp.147-182
Article dans une revue hal-00863116v1

Les leçons d’un algorithme délinquant

Jean-Michel Muller
Interstices, 2004
Article dans une revue hal-01350243v1

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

David Defour , Guillaume Hanrot , Vincent Lefèvre , Jean-Michel Muller , Nathalie Revol
Numerical Algorithms, 2004, 37 (1-4), pp.367-375
Article dans une revue inria-00099967v1
Image document

Accelerating Correctly Rounded Floating-PointDivision when the Divisor is Known in Advance

Jean-Michel Muller , Nicolas Brisebarre , Saurabh Raina
IEEE Transactions on Computers, 2004, 53 (8), pp.1069- 1072. ⟨10.1109/TC.2004.37⟩
Article dans une revue ensl-00087465v1

On-the-Fly Range Reduction

Vincent Lefèvre , Jean-Michel Muller
Journal of Signal Processing Systems, 2003, Special Issue on Computer Arithmetic and Applications, 33 (1-2), pp.31-35. ⟨10.1023/A:1021137717282⟩
Article dans une revue inria-00099524v1
Image document

AIgorithmes de division pour microprocesseurs : illustration à l'aide du « Bug » du Pentium

Jean-Michel Muller
Technique et Science Informatiques, 1995, 14 (8), pp.1031-1049
Article dans une revue hal-04143937v1
Image document

BKM: a new hardware algorithm for complex elementary functions

Jean-Michel Muller , Jean-Claude Bajard , Sylvanus Kla
IEEE Transactions on Computers, 1994, 43 (8), pp.955-963. ⟨10.1109/12.295857⟩
Article dans une revue ensl-00086894v1

A VLSI circuit for on-line polynomial computing: application to exponential, trigonometric and hyperbolic functions

A. Skaf , Jean-Claude Bajard , A. Guyot , Jean-Michel Muller
IFIP-Transactions-A-Computer-Science-and-Technology, 1994, A-42, pp.93-100
Article dans une revue hal-00014954v1

A way to build efficient carry-skip adders

A. Guyot , B. Hochet , Jean-Michel Muller
IEEE Transactions on Computers, 1987, Oct. ; C-36(10), pp.1144-52
Article dans une revue hal-00014976v1

Parallel QR decomposition of a rectangular matrix

Michel Cosnard , Jean-Michel Muller , Yves Robert
Numerische Mathematik, 1986, 48, pp.239-249
Article dans une revue hal-00857127v1
Image document

Arithmétique des Ordinateurs

Jean-Michel Muller
Colloque Raisonner en arithmétique, est-ce incongru ?, Jun 2023, Talence (33), France
Communication dans un congrès hal-04207082v1
Image document

Testing The Sharpness of Known Error Bounds on The Fast Fourier Transform

Nicolas Brisebarre , Jean-Michel Muller , Joris Picot
30th IEEE International Symposium on Computer Arithmetic ARITH 2023, Sep 2023, Portland, Oregon, USA, France
Communication dans un congrès hal-04092770v2
Image document

High-level algorithms for correctly-rounded reciprocal square roots

Carlos F. Borges , Claude-Pierre Jeannerod , Jean-Michel Muller
29th IEEE Symposium on Computer Arithmetic (ARITH 2022), Sep 2022, Lyon (virtual meeting due to the COVID pandemic), France
Communication dans un congrès hal-03728088v1
Image document

$a \cdot (x \cdot x)$ or $(a \cdot x) \cdot x$?

Jean-Michel Muller
ARITH 2021 - 28th IEEE Symposium on Computer Arithmetic, Jun 2021, Torino (virtual meeting due to the COVID Pandemic), Italy. ⟨10.1109/ARITH51176.2021.00015⟩
Communication dans un congrès hal-03129747v1
Image document

Alternative Split Functions and Dekker's Product

Stef Graillat , Vincent Lefèvre , Jean-Michel Muller
ARITH-2020 - IEEE 27th Symposium on Computer Arithmetic, Jun 2020, Portland, United States. pp.1-7, ⟨10.1109/ARITH48897.2020.00015⟩
Communication dans un congrès hal-02470782v2
Image document

Algorithms for manipulating quaternions in floating-point arithmetic

Mioara Joldeş , Jean-Michel Muller
ARITH-2020 - IEEE 27th Symposium on Computer Arithmetic, Jun 2020, Portland, United States. pp.1-8, ⟨10.1109/ARITH48897.2020.00016⟩
Communication dans un congrès hal-02470766v2
Image document

An Architecture for Improving Variable Radix Real and Complex Division Using Recurrence Division

James E Stine , Miloš D Ercegovac , Jean-Michel Muller
ACSSC 2020 - 54th Asilomar Conference on Signals, Systems, and Computers, Nov 2020, Pacific Grove, CA (virtual), United States. pp.1-5
Communication dans un congrès hal-03047208v1
Image document

Semi-automatic implementation of the complementary error function

Anastasia Volkova , Jean-Michel Muller
ARITH 2019 - 26th IEEE Symposium on Computer Arithmetic, Jun 2019, Kyoto, Japan. pp.1-8
Communication dans un congrès hal-02002315v2
Image document

Posits: the good, the bad and the ugly

Florent de Dinechin , Luc Forget , Jean-Michel Muller , Yohann Uguen
CoNGA 2019 - Conference on Next-Generation Arithmetic, Mar 2019, Singapore, Singapore. pp.1-10, ⟨10.1145/3316279.3316285⟩
Communication dans un congrès hal-01959581v4
Image document

Accurate Complex Multiplication in Floating-Point Arithmetic

Vincent Lefèvre , Jean-Michel Muller
ARITH 2019 - 26th IEEE Symposium on Computer Arithmetic, Jun 2019, Kyoto, Japan. pp.1-7
Communication dans un congrès hal-02001080v2
Image document

On various ways to split a floating-point number

Claude-Pierre Jeannerod , Jean-Michel Muller , Paul Zimmermann
ARITH 2018 - 25th IEEE Symposium on Computer Arithmetic, Jun 2018, Amherst (MA), United States. pp.53-60, ⟨10.1109/ARITH.2018.8464793⟩
Communication dans un congrès hal-01774587v2
Image document

A High Throughput Polynomial and Rational Function Approximations Evaluator

Nicolas Brisebarre , George Constantinides , Miloš Ercegovac , Silviu-Ioan Filip , Matei Istoan
ARITH 2018 - 25th IEEE Symposium on Computer Arithmetic, Jun 2018, Amherst, MA, United States. pp.99-106, ⟨10.1109/ARITH.2018.8464778⟩
Communication dans un congrès hal-01774364v1
Image document

Implementation and performance evaluation of an extended precision floating-point arithmetic library for high-accuracy semidefinite programming

Mioara Joldes , Jean-Michel Muller , Valentina Popescu
IEEE Symposium on Computer Arithmetic (Arith24), Jul 2017, London, United Kingdom
Communication dans un congrès hal-01491255v2
Image document

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

Claude-Pierre Jeannerod , Jean-Michel Muller
ACSSC 2017 - 51st Asilomar Conference on Signals, Systems, and Computers, Oct 2017, Pacific Grove, United States. pp.737-740, ⟨10.1109/ACSSC.2017.8335442⟩
Communication dans un congrès ensl-01780265v1
Image document

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

Claude-Pierre Jeannerod , Jean-Michel Muller , Antoine Plet
ARITH-24 2017 - 24th IEEE Symposium on Computer Arithmetic, Jul 2017, London, United Kingdom. pp.8
Communication dans un congrès ensl-01527202v1
Image document

Formal correctness of comparison algorithms between binary64 and decimal64 floating-point numbers

Arthur Blot , Jean-Michel Muller , Laurent Théry
Numerical Software Verification, Jul 2017, Heidelberg, Germany
Communication dans un congrès hal-01512294v1
Image document

Computing floating-point logarithms with fixed-point operations

Julien Le Maire , Nicolas Brunie , Florent de Dinechin , Jean-Michel Muller
23rd IEEE Symposium on Computer Arithmetic, IEEE, Jul 2016, Santa Clara, United States
Communication dans un congrès hal-01227877v1
Image document

A new multiplication algorithm for extended precision using floating-point expansions

Jean-Michel Muller , Valentina Popescu , Ping Tak Peter Tang
ARITH23, Jul 2016, Santa Clara, United States
Communication dans un congrès hal-01298195v1
Image document

Parallel floating-point expansions for extended-precision GPU computations

Caroline Collange , Mioara Joldes , Jean-Michel Muller , Valentina Popescu
The 27th Annual IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP), Jul 2016, London, United Kingdom
Communication dans un congrès hal-01298206v2
Image document

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

Mioara Joldes , Jean-Michel Muller , Valentina Popescu
25th IEEE International Conference on Application-specific Systems, Architectures and Processors, ASAP, Jun 2014, Zurich, Switzerland. pp.8
Communication dans un congrès hal-00957379v1
Image document

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

Olga Kupriianova , Christoph Lauter , Jean-Michel Muller
2013 Asilomar Conference on Signals, Systems and Computers , Nov 2013, Pacific Grove, CA, United States. pp.1134 - 1138, ⟨10.1109/ACSSC.2013.6810471⟩
Communication dans un congrès hal-01513505v1
Image document

On the componentwise accuracy of complex floating-point division with an FMA

Claude-Pierre Jeannerod , Nicolas Louvet , Jean-Michel Muller
21st IEEE Symposium on Computer Arithmetic, Apr 2013, Austin, TX, United States. pp.83--90
Communication dans un congrès ensl-00734339v2
Image document

Comparison between binary64 and decimal64 floating-point numbers

Nicolas Brisebarre , Marc Mezzarobba , Jean-Michel Muller , Christoph Lauter
21st IEEE Symposium on Computer Arithmetic, Apr 2013, Austin, TX, United States. pp.145-152, ⟨10.1109/ARITH.2013.23⟩
Communication dans un congrès ensl-00737881v4
Image document

Avoiding double roundings in scaled Newton-Raphson division

Jean-Michel Muller
Asilomar Conference on Signals, Systems, and Computers, Nov 2013, Pacific Grove, CA, United States. 4 p
Communication dans un congrès ensl-00875366v1
Image document

(M,p,k)-friendly points: a table-based method for trigonometric function evaluation

Nicolas Brisebarre , Milos Ercegovac , Jean-Michel Muller
2012 IEEE 23rd International Conference on Application-Specific Systems, Architectures and Processors, Jul 2012, Delft, Netherlands. p. 46-52, ISBN: 978-1-4673-2243-0, ⟨10.1109/ASAP.2012.17⟩
Communication dans un congrès ensl-00759912v1
Image document

Rigorous Polynomial Approximation using Taylor Models in Coq

Nicolas Brisebarre , Mioara Maria Joldes , Érik Martin-Dorel , Micaela Mayero , Jean-Michel Muller
Fourth NASA Formal Methods Symposium, NASA, Apr 2012, Norfolk, Virginia, United States. pp.15
Communication dans un congrès ensl-00653460v2
Image document

An FPGA architecture for solving the Table Maker's Dilemma

Florent de Dinechin , Jean-Michel Muller , Bogdan Pasca , Alexandru Plesco
Application-Specific Systems, Architectures and Processors (ASAP), 2011 IEEE International Conference on, Sep 2011, Santa Monica, United States. pp.187-194, ⟨10.1109/ASAP.2011.6043267⟩
Communication dans un congrès ensl-00640063v1

Exact computations with an arithmetic known to be approximate (invited talk)

Jean-Michel Muller
MaGiX@LiX 2011, Sep 2011, Palaiseau, France
Communication dans un congrès ensl-00789015v1
Image document

Augmented precision square roots, 2-D norms, and discussion on correctly rounding {x^2+y^2}

Nicolas Brisebarre , Mioara Maria Joldes , Peter Kornerup , Érik Martin-Dorel , Jean-Michel Muller
20th IEEE Symposium on Computer Arithmetic (ARITH-20), Jul 2011, Tübingen, Germany. pp.23-30, ⟨10.1109/ARITH.2011.13⟩
Communication dans un congrès ensl-00545591v2
Image document

Newton-Raphson Algorithms for Floating-Point Division Using an FMA

Nicolas Louvet , Jean-Michel Muller , Adrien Panhaleux
21st IEEE International Conference on Application-specific Systems Architectures and Processors (ASAP), 2010, Jul 2010, Rennes, France. pp.200-207
Communication dans un congrès ensl-00549027v1

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

Christian Bertin , Claude-Pierre Jeannerod , Jingyan Jourdan-Lu , Hervé Knochel , Christophe Monat
4th International Workshop on Parallel and Symbolic Computation (PASCO'10), Jul 2010, Grenoble, France. pp.1-9, ⟨10.1145/1837210.1837212⟩
Communication dans un congrès ensl-00549467v1
Image document

Implementing decimal floating-point arithmetic through binary: some suggestions

Nicolas Brisebarre , Milos Ercegovac , Nicolas Louvet , Érik Martin-Dorel , Jean-Michel Muller
21st IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP 2010), Jul 2010, Rennes, France. pp.317-320, ⟨10.1109/ASAP.2010.5540969⟩
Communication dans un congrès ensl-00463353v2
Image document

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

Pouya Dormiani , Milos Ercegovac , Jean-Michel Muller
20th IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP'09), Jul 2009, Boston, United States
Communication dans un congrès ensl-00379147v2
Image document

Low Precision Table Based Complex Reciprocal Approximation

Jean-Michel Muller , Pouya Dormiani , Milos Ercegovac
43rd Asilomar Conference on signals, systems and computers, Nov 2009, Pacific Grove, California, United States
Communication dans un congrès ensl-00436329v2
Image document

On the Computation of Correctly-Rounded Sums

Peter Kornerup , Vincent Lefèvre , Nicolas Louvet , Jean-Michel Muller
19th IEEE Symposium on Computer Arithmetic - Arith'19, Jun 2009, Portland, Oregon, United States
Communication dans un congrès inria-00367584v2
Image document

Integer and Floating-Point Constant Multipliers for FPGAs

Nicolas Brisebarre , Florent de Dinechin , Jean-Michel Muller
International Conference on Application-Specific Systems, Architectures and Processors, 2008, IMEC, Jul 2008, Leuven, Belgium. pp.239-244, ⟨10.1109/ASAP.2008.4580184⟩
Communication dans un congrès ensl-00269219v1

An Efficient Method for Evaluating Polynomial and Rational Function Approximations

Nicolas Brisebarre , Sylvain Chevillard , Milos Ercegovac , Jean-Michel Muller , Serge Torres
ASAP 08, Jul 2008, Leuven, Belgium. pp.233 -- 238
Communication dans un congrès hal-00761652v1
Image document

Complex Multiply-Add and Other Related Operators

Milos Ercegovac , Jean-Michel Muller
SPIE Conf. Advanced Signal Processing Algorithms, Architectures and Implementation XVII, 6697, SPIE, Aug 2007, San Diego, United States
Communication dans un congrès ensl-00167372v1
Image document

Generating function approximations at compile time

Jean-Michel Muller
40th Asilomar Conference on signals, systems and computers, USA, Oct 2006, Pacific Grove, California, France. pp.328-331
Communication dans un congrès ensl-00397749v1
Image document

Simple Seed Architectures for Reciprocal and Square-Root Reciprocal

Jean-Michel Muller , Arnaud Tisserand , Milos Ercegovac
39th Asilomar Conference on Signals, Systems and Computers, Oct 2005, Pacific Grove, California, United States. pp.1167-1171
Communication dans un congrès ensl-00087002v1
Image document

Some Functions Computable with a Fused-mac

Sylvie Boldo , Jean-Michel Muller
17th IEEE Symposium on Computer Arithmetic, Jun 2005, Cape Cod, Massachusetts, USA, pp.52-58
Communication dans un congrès inria-00000895v1
Image document

Correctly rounded multiplication by arbitrary precision constants

Jean-Michel Muller , Nicolas Brisebarre
ARITH'17, 17th IEEE Symposium on Computer Arithmetic, EEE Computer Society Technical Committee on VLSI, Jun 2005, Cape Cod, United States. ⟨10.1109/ARITH.2005.13⟩
Communication dans un congrès ensl-00000010v1
Image document

Complex Square Root with Operand Prescaling

Jean-Michel Muller , Milos Ercegovac
Application-Specific Systems, Architectures and Processors, 2004., Joseph Cavallaro and Lothar Thiele (general chairs), Sep 2004, Galveston, Texas, United States. pp.52-62, ⟨10.1109/ASAP.2004.1342458⟩
Communication dans un congrès ensl-00086852v1
Image document

Complex division with prescaling of operands

Jean-Michel Muller , Milos Ercegovac
Application-specific Systems, Architectures and Processors, 2003, Jun 2003, Delft, Netherlands
Communication dans un congrès ensl-00086896v1

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

Vincent Lefèvre , Jean-Michel Muller
15th IEEE Symposium on Computer Arithmetic - ARITH 2001, 2001, Vail, Colorado, pp.111-118
Communication dans un congrès inria-00100547v1
Image document

Some algebraic properties of floating-point arithmetic

Jean-Michel Muller
4th Real Numbers and Computers Conference, Apr 2000, Dagstuhl, Germany
Communication dans un congrès hal-04454523v1

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

Jean-Claude Bajard , A. Guyot , Jean-Michel Muller , A. Skaf
Proceedings.-International-Conference-on-Application-Specific-Array-Processors-Cat.-No.93TH0572-8. 1993:, 1993, Venice, Italy. pp.526-35, ⟨10.1109/ASAP.1993.397172⟩
Communication dans un congrès hal-00014928v1

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

A. Guyot , Yvan Herreros , Jean-Michel Muller
Proceedings-of-9th-Symposium-on-Computer-Arithmetic-Cat.-No.89CH2757-3., 1989, Santa Monica, CA, United States. pp.106-11, ⟨10.1109/ARITH.1989.72815⟩
Communication dans un congrès hal-00014975v1

SCALA: une cellule systolique programmable pour l'algèbre linéaire

Alain Guyot , Bertrand Hochet , Christophe Mauras , Jean-Michel Muller , Yves Robert
Deuxième Colloque C3, 1987, Unknown, pp.183-204
Communication dans un congrès hal-00857114v1

The FELIN arithmetic coprocessor chip

Michel Cosnard , A. Guyot , B. Hochet , Jean-Michel Muller , H. Ouaouicha
Proceedings-of-the-8th-Symposium-on-Computer-Arithmetic-Cat.-No.87CH2419-0, 1987, Como, Italy. pp.107-12
Communication dans un congrès hal-00014979v1

Computation costs versus communication costs in parallel Gaussian elimination

Michel Cosnard , Jean-Michel Muller , Yves Robert , Denis Trystram
Parallel Algorithms and architectures, 1986, Unknown, pp.19-29
Communication dans un congrès hal-00857132v1

On parallel and systolic Givens factorization of dense matrices

Michel Cosnard , El Mostafa Daoudi , Jean-Michel Muller , Yves Robert
Parallel Algorithms and architectures, 1986, Unknown, pp.245-258
Communication dans un congrès hal-00857131v1
Image document

Arithmétique et Précision des Calculs sur Ordinateur

Jean-Michel Muller
De la mesure en toutes choses, CNRS Editions, 2021
Chapitre d'ouvrage hal-03461132v1

Evaluating Elementary Functions

Florent de Dinechin , Jean-Michel Muller
Nicholas Higham. Princeton Companion to Applied Mathematics, Princeton University Press, pp.2, 2014
Chapitre d'ouvrage ensl-00989001v1

Digital Arithmetic

Florent de Dinechin , Milos Ercegovac , Jean-Michel Muller , Nathalie Revol
Benjamin Wah. Wiley Encyclopedia of Computer Science and Engineering, Wiley, pp.935-948, 2009
Chapitre d'ouvrage ensl-00542215v1
Image document

Correctly-rounded evaluation of a function: why, how, and at what cost?

Nicolas Brisebarre , Guillaume Hanrot , Jean-Michel Muller , Paul Zimmermann
2024
Pré-publication, Document de travail hal-04474530v1
Image document

Useful applications of correctly-rounded operators of the form ab + cd + e

Tom Hubrecht , Claude-Pierre Jeannerod , Jean-Michel Muller
2024
Pré-publication, Document de travail hal-04461089v1
Image document

A Library for Symbolic Floating-Point Arithmetic

Claude-Pierre Jeannerod , Nicolas Louvet , Jean-Michel Muller , Antoine Plet
2016
Pré-publication, Document de travail hal-01232159v2
Image document

Scaling Newton-Raphson division iterations to avoid double rounding

Jean-Michel Muller
2010
Pré-publication, Document de travail ensl-00496368v1
Image document

Représentation des nombres et calcul sur ordinateur

Jean-Michel Muller
2009
Pré-publication, Document de travail ensl-00391070v1
Image document

Performing Arithmetic Operations on Round-to-Nearest Representations

Adrien Panhaleux , Peter Kornerup , Jean-Michel Muller
2009
Pré-publication, Document de travail ensl-00441933v1
Image document

Computing Correctly Rounded Integer Powers in Floating-Point Arithmetic

Jean-Michel Muller , Peter Kornerup , Christoph Lauter , Vincent Lefèvre , Nicolas Louvet
2008
Pré-publication, Document de travail ensl-00278430v1
Image document

Some notes on the possible under/overflow of the most common elementary functions

Jean-Michel Muller , Vincent Lefèvre
2007
Pré-publication, Document de travail ensl-00149414v1
Image document

Solving Systems of Linear Equations in Complex Domain : Complex E-Method

Milos Ercegovac , Jean-Michel Muller
2007
Pré-publication, Document de travail ensl-00125369v2
Image document

Computing Integer Powers in Floating-Point Arithmetic

Peter Kornerup , Vincent Lefèvre , Jean-Michel Muller
2007
Pré-publication, Document de travail ensl-00150406v1
Image document

Some arguments concerning correct rounding of the elementary functions

Jean-Michel Muller , Paul Zimmermann
2006
Pré-publication, Document de travail ensl-00086516v1
Image document

On the Computation of Correctly-Rounded Sums

Peter Kornerup , Vincent Lefèvre , Nicolas Louvet , Jean-Michel Muller
[Research Report] RR-7262, INRIA. 2010, pp.24
Rapport inria-00475279v1
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
[Research Report] LIP,. 2006
Rapport ensl-01529804v1
Image document

Simple Seed Architectures for Reciprocal and Square Root Reciprocal

Milos Ercegovac , Jean-Michel Muller , Arnaud Tisserand
RR-5720, INRIA. 2005, pp.25
Rapport inria-00070298v1
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
Rapport inria-00070331v1
Image document

On the definition of ulp(x)

Jean-Michel Muller
[Research Report] RR-5504, LIP RR-2005-09, INRIA, LIP. 2005, pp.16
Rapport inria-00070503v1
Image document

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

Jean-Luc Beuchat , Jean-Michel Muller
[Research Report] RR-5511, LIP RR-2005-05, INRIA, LIP. 2005, pp.13
Rapport inria-00070495v1
Image document

RN-codes : algorithmes d'addition, de multiplication et d'élévation au carré

Jean-Michel Muller , Jean-Luc Beuchat
[Rapport de recherche] RR-5438, LIP RR-2004-60, INRIA, LIP. 2004, pp.17
Rapport inria-00070569v1
Image document

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

David Defour , Guillaume Hanrot , Vincent Lefèvre , Jean-Michel Muller , Nathalie Revol
[Research Report] RR-5406, INRIA. 2004
Rapport inria-00071249v1
Image document

Complex Square Root with Operand Prescaling

Milos Ercegovac , Jean-Michel Muller
[Research Report] RR-5319, LIP RR-2004-42, INRIA, LIP. 2004, pp.18
Rapport inria-00070681v1
Image document

Correctly rounded multiplication by arbitrary precision constants

Nicolas Brisebarre , Jean-Michel Muller
[Research Report] RR-5354, LIP RR-2004-44, INRIA, LIP. 2004, pp.14
Rapport inria-00070649v1
Image document

A floating-point library for integer processors

C. Bertin , Nicolas Brisebarre , Benoît de Dinechin , Claude-Pierre Jeannerod , C. Monat
[Research Report] RR-5268, INRIA. 2004, pp.17
Rapport inria-00070730v1
Image document

Division by Constant for the ST100 DSP Microprocessor

Jean-Michel Muller , Arnaud Tisserand , Benoît de Dinechin , Christophe Monat
[Research Report] RR-5340, LIP RR-2004-45, INRIA, LIP. 2004, pp.14
Rapport inria-00070661v1
Image document

Choosing Starting Values for Newton-Raphson Computation of Reciprocals, Square-Roots and Square-Root Reciprocals

Peter Kornerup , Jean-Michel Muller
[Research Report] RR-4687, LIP RR-2002-48, INRIA,LIP. 2003
Rapport inria-00071899v1
Image document

Complex Division with Prescaling of Operands

Milos Ercegovac , Jean-Michel Muller
[Research Report] RR-4731, LIP RR 2003-10, INRIA, LIP. 2003
Rapport inria-00071856v1
Image document

Finding the «truncated» polynomial that is closest to a function

Nicolas Brisebarre , Jean-Michel Muller
[Research Report] RR-4787, LIP RR-2003-21, INRIA, LIP. 2003
Rapport inria-00071799v1
Image document

Number of solutions to (A^2+B^2=C^2+C) in a binade

Jean-Michel Muller , Jean-Louis Nicolas , Xavier-François Roblot
[Research Report] RR-4945, LIP RR-2003-45, INRIA, LIPP. 2003
Rapport inria-00071634v1
Image document

Opérateurs itératifs de multiplication-addition modulaire pour FPGA

Jean-Luc Beuchat , Jean-Michel Muller
[Rapport de recherche] RR-4937, LIP RR-2003-40, INRIA, LIP. 2003
Rapport inria-00071642v1
Image document

A new scheme for table-based evaluation of functions

David Defour , Florent de Dinechin , Jean-Michel Muller
[Research Report] RR-4637, LIP RR-2002-45, INRIA, LIP. 2002
Rapport inria-00071948v1
Image document

«Partially rounded» Small-Order Approximations for Accurate, Hardware-Oriented, Table-Based Methods

Jean-Michel Muller
[Research Report] RR-4593, LIP RR-2002-39, INRIA, LIP. 2002
Rapport inria-00071992v1
Image document

Accelerating Floating-Point Division When the Divisor is Known in Advance

Jean-Michel Muller
[Research Report] RR-4532, LIP RR-2002-30, INRIA, LIP. 2002
Rapport inria-00072056v1
Image document

Correctly Rounded Exponential Function in Double Precision Arithmetic

David Defour , Florent de Dinechin , Jean-Michel Muller
[Research Report] RR-4231, INRIA. 2001
Rapport inria-00072387v1
Image document

A New Range Reduction Algorithm

David Defour , Peter Kornerup , Jean-Michel Muller , Nathalie Revol
[Research Report] RR-4267, LIP RR-2001-33, INRIA, LIP. 2001
Rapport inria-00072320v1
Image document

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

Vincent Lefèvre , Jean-Michel Muller
[Research Report] RR-4044, LIP RR-2000-35, INRIA,LIP. 2000
Rapport inria-00072594v1
Image document

Bound on Run of Zeros and Ones for Images of Floating-Point Numbers by Algebraic Functions

Tomas Lang , Jean-Michel Muller
[Research Report] RR-4045, LIP RR-2000-33, INRIA, LIP. 2000
Rapport inria-00072593v1
Image document

On-The-Fly Range Reduction

Vincent Lefèvre , Jean-Michel Muller
[Research Report] RR-4043, LIP RR-2000-34, INRIA, LIP. 2000
Rapport inria-00072595v1
Image document

Improving Goldschmidt Division, Square Root and Square Root Reciprocal

Milos Ercegovac , Laurent Imbert , David Matula , Jean-Michel Muller , Guoheng Wei
[Research Report] RR-3753, LIP RR-1999-41, INRIA, LIP. 1999
Rapport inria-00072909v1
Image document

Vers des primitives propres en arithmétique des ordinateurs

Jean-Michel Muller
RR-3755, INRIA. 1999
Rapport inria-00072907v1
Image document

Radix-10 BKM Algorithm for Computing Transcendentals on Pocket Computers

Laurent Imbert , Jean-Michel Muller , Fabien Rico
[Research Report] RR-3754, LIP RR-1999-43, INRIA, LIP. 1999
Rapport inria-00072908v1
Image document

Une méthodologie du calcul des fonctions élémentaires

Jean-Michel Muller
Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 1985. Français. ⟨NNT : ⟩
Thèse tel-00315301v1