Jean-Michel Muller Directeur de Recherches au CNRS, Lab. LIP

Identifiants chercheurs

IdHAL :

jean-michel-muller

ORCID :

0000-0003-3588-0047

IdRef :

029762871

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

Publications

Article dans une revue (54)

Correctly rounded evaluation of a function: why, how, and at what cost? Nicolas Brisebarre,Guillaume Hanrot,Jean-Michel Muller,Paul Zimmermann ACM Computing Surveys, 2026, 58 (1), ⟨10.1145/3747840⟩ Article dans une revue hal-04474530v4
Emulation of the FMA and the correctly-rounded sum of three numbers in rounding-to-nearest floating-point arithmetic Stef Graillat,Jean-Michel Muller Numerische Mathematik, 2025, ⟨10.1007/s00211-025-01487-2⟩ Article dans une revue hal-04575249v2
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, 2024, 12 (2), pp.656-666. ⟨10.1109/TETC.2023.3294986⟩ Article dans une revue hal-04044716v2
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
Le dilemme du fabricant de tables Sylvie Boldo,Nicolas Brisebarre,Jean-Michel Muller La Recherche, 2023, 572 Article dans une revue hal-03932037v1
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
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
Formalization of double-word arithmetic, and comments on &quot;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
Emulating round-to-nearest ties-to-zero &quot;augmented&quot; 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
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
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
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
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
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
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
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
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
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
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
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
(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
Des ordinateurs capables de calculer plus juste Jean-Michel Muller,Sylvie Boldo La Recherche, 2014, pp.46-53 Article dans une revue ensl-01069744v1
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
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 istex ensl-00644408v3
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic David Defour,Guillaume Hanrot,Vincent Lefèvre,Jean-Michel Muller,Nathalie Revolet al. Numerical Algorithms, 2004, 37 (1-4), pp.367-375 Article dans une revue inria-00099967v1
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
Les leçons d’un algorithme délinquant Jean-Michel Muller Interstices, 2004 Article dans une revue hal-01350243v1
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
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 istex inria-00099524v1
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
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
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 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

Communication dans un congrès (53)

Useful applications of correctly-rounded operators of the form ab + cd + e Tom Hubrecht,Claude-Pierre Jeannerod,Jean-Michel Muller 2024 IEEE 31st Symposium on Computer Arithmetic (ARITH 2024), Jun 2024, Málaga, Spain Communication dans un congrès hal-04461089v2
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, United States Communication dans un congrès hal-04092770v2
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
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
$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
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
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
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
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
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
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
A High Throughput Polynomial and Rational Function Approximations Evaluator Nicolas Brisebarre,George Constantinides,Miloš Ercegovac,Silviu-Ioan Filip,Matei Istoanet al. 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
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
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
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
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
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
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
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
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
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
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
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
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
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
(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
Rigorous Polynomial Approximation using Taylor Models in Coq Nicolas Brisebarre,Mioara Maria Joldes,Érik Martin-Dorel,Micaela Mayero,Jean-Michel Mulleret al. Fourth NASA Formal Methods Symposium, NASA, Apr 2012, Norfolk, Virginia, United States. pp.15 Communication dans un congrès ensl-00653460v2
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
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
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
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
Implementing decimal floating-point arithmetic through binary: some suggestions Nicolas Brisebarre,Milos Ercegovac,Nicolas Louvet,Érik Martin-Dorel,Jean-Michel Mulleret al. 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
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 Monatet al. 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
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
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
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
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, ⟨10.1109/ASAP.2008.4580185⟩ Communication dans un congrès hal-00761652v1
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
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
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
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
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
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
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
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. Ouaouichaet al. 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

Ouvrages (7)

Handbook of Floating-point Arithmetic (2nd edition) Jean-Michel Muller,Nicolas Brunie,Florent de Dinechin,Claude-Pierre Jeannerod,Mioara Joldeset al. Birkhäuser Basel, pp.1-627, 2018, 978-3319765259. ⟨10.1007/978-3-319-76526-6⟩ Ouvrages hal-01766584v1
Elementary functions, algorithms and implementation, 3rd Edition Jean-Michel Muller Birkhaüser Boston, 2016, 978-1-4899-7981-0. ⟨10.1007/978-1-4899-7983-4⟩ Ouvrages ensl-01398294v1
Proceedings of IEEE 22nd Symposium on Computer Arithmetic Jean-Michel Muller,Arnaud Tisserand,Julio Villalba Moreno Muller, Jean-Michel; Tisserand, Arnaud; Villalba Moreno, Julio. IEEE, 2015, ⟨10.1109/ARITH.2015.1⟩ Ouvrages hal-01233867v1
Edition d'un numéro spécial &quot;Numerical Software: Design, Analysis and Verification Amparo Gil,Jean-Michel Muller,Javier Segura Elsevier, 90 part A, pp.1, 2014 Ouvrages ensl-01070771v1
Handbook of Floating-Point Arithmetic Jean-Michel Muller,Nicolas Brisebarre,Florent de Dinechin,Claude-Pierre Jeannerod,Vincent Lefèvreet al. Birkhauser Boston, pp.572, 2010 Ouvrages ensl-00379167v1
Elementary Functions, Algorithms and Implementation, 2nd Edition Jean-Michel Muller Birkhäuser, pp.266, 2006 Ouvrages ensl-00000008v1
Arithmétique des ordinateurs Jean-Michel Muller Masson, pp.214, 1989, 2-225-81689-1 Ouvrages ensl-00086707v1

Chapitre d'ouvrage (3)

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

Pré-publication, Document de travail (13)

Correctly rounded vector implementation of the exponential function in binary64 arithmetic Nicolas Brisebarre,Tom Hubrecht,Christoph Lauter,Jean-Michel Muller,Kristalys Ruiz-Rohena 2026 Pré-publication, Document de travail hal-05529999v1
Extended-Precision FMA under Parameterized Double-Word Overlap: Tight Error Bounds and Examples Claude-Pierre Jeannerod,Mioara Joldeş,Nicolas Louvet,Jean-Michel Muller 2026 Pré-publication, Document de travail hal-05517451v1
Effective Quadratic Error Bounds for Floating-Point Algorithms Computing the Hypotenuse Function Jean-Michel Muller,Bruno Salvy 2024 Pré-publication, Document de travail hal-04735408v1
Emulation of 3Sum, 4Sum, the FMA and the FD2 instructions in rounded-to-nearest floating-point arithmetic Stef Graillat,Jean-Michel Muller 2024 Pré-publication, Document de travail hal-04624238v1
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
Scaling Newton-Raphson division iterations to avoid double rounding Jean-Michel Muller 2010 Pré-publication, Document de travail ensl-00496368v1
Performing Arithmetic Operations on Round-to-Nearest Representations Adrien Panhaleux,Peter Kornerup,Jean-Michel Muller 2009 Pré-publication, Document de travail ensl-00441933v1
Représentation des nombres et calcul sur ordinateur Jean-Michel Muller 2009 Pré-publication, Document de travail ensl-00391070v1
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
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
Solving Systems of Linear Equations in Complex Domain : Complex E-Method Milos Ercegovac,Jean-Michel Muller 2007 Pré-publication, Document de travail ensl-00125369v2
Computing Integer Powers in Floating-Point Arithmetic Peter Kornerup,Vincent Lefèvre,Jean-Michel Muller 2007 Pré-publication, Document de travail ensl-00150406v1
Some arguments concerning correct rounding of the elementary functions Jean-Michel Muller,Paul Zimmermann 2006 Pré-publication, Document de travail ensl-00086516v1

Rapport (28)

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 (rapport de recherche) inria-00475279v1
CR-LIBM A library of correctly rounded elementary functions in double-precision Catherine Daramy-Loirat,David Defour,Florent de Dinechin,Matthieu Gallet,Nicolas Gastet al. [Research Report] LIP,. 2006 Rapport (rapport de recherche) ensl-01529804v1
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 (rapport de recherche) inria-00070495v1
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
On the definition of ulp(x) Jean-Michel Muller [Research Report] RR-5504, LIP RR-2005-09, INRIA, LIP. 2005, pp.16 Rapport (rapport de recherche) inria-00070503v1
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 (rapport de recherche) inria-00070331v1
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 (rapport de recherche) inria-00070661v1
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 (rapport de recherche) inria-00070569v1
Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic David Defour,Guillaume Hanrot,Vincent Lefèvre,Jean-Michel Muller,Nathalie Revolet al. [Research Report] RR-5406, INRIA. 2004 Rapport (rapport de recherche) inria-00071249v1
A floating-point library for integer processors C. Bertin,Nicolas Brisebarre,Benoît de Dinechin,Claude-Pierre Jeannerod,C. Monatet al. [Research Report] RR-5268, INRIA. 2004, pp.17 Rapport (rapport de recherche) inria-00070730v1
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 (rapport de recherche) inria-00070649v1
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 (rapport de recherche) inria-00070681v1
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 (rapport de recherche) inria-00071899v1
Complex Division with Prescaling of Operands Milos Ercegovac,Jean-Michel Muller [Research Report] RR-4731, LIP RR 2003-10, INRIA, LIP. 2003 Rapport (rapport de recherche) inria-00071856v1
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 (rapport de recherche) inria-00071634v1
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 (rapport de recherche) inria-00071642v1
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 (rapport de recherche) inria-00071799v1
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 (rapport de recherche) inria-00072056v1
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 (rapport de recherche) inria-00071948v1
«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 (rapport de recherche) inria-00071992v1
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 (rapport de recherche) inria-00072320v1
Correctly Rounded Exponential Function in Double Precision Arithmetic David Defour,Florent de Dinechin,Jean-Michel Muller [Research Report] RR-4231, INRIA. 2001 Rapport (rapport de recherche) inria-00072387v1
On-The-Fly Range Reduction Vincent Lefèvre,Jean-Michel Muller [Research Report] RR-4043, LIP RR-2000-34, INRIA, LIP. 2000 Rapport (rapport de recherche) inria-00072595v1
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 (rapport de recherche) inria-00072594v1
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 (rapport de recherche) inria-00072593v1
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 (rapport de recherche) inria-00072909v1
Vers des primitives propres en arithmétique des ordinateurs Jean-Michel Muller RR-3755, INRIA. 1999 Rapport inria-00072907v1
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 (rapport de recherche) inria-00072908v1

Thèse (1)

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