Jean-Michel Muller
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
Publications
|
|
Useful applications of correctly-rounded operators of the form ab + cd + e2024 IEEE 31st Symposium on Computer Arithmetic (ARITH 2024), Jun 2024, Málaga, Spain |
|
|
Testing The Sharpness of Known Error Bounds on The Fast Fourier Transform30th IEEE International Symposium on Computer Arithmetic ARITH 2023, Sep 2023, Portland, Oregon, United States |
|
|
Arithmétique des OrdinateursColloque Raisonner en arithmétique, est-ce incongru ?, Jun 2023, Talence (33), France |
|
|
High-level algorithms for correctly-rounded reciprocal square roots29th IEEE Symposium on Computer Arithmetic (ARITH 2022), Sep 2022, Lyon (virtual meeting due to the COVID pandemic), France |
|
|
$a \cdot (x \cdot x)$ or $(a \cdot x) \cdot x$?ARITH 2021 - 28th IEEE Symposium on Computer Arithmetic, Jun 2021, Torino (virtual meeting due to the COVID Pandemic), Italy. ⟨10.1109/ARITH51176.2021.00015⟩ |
|
|
An Architecture for Improving Variable Radix Real and Complex Division Using Recurrence DivisionACSSC 2020 - 54th Asilomar Conference on Signals, Systems, and Computers, Nov 2020, Pacific Grove, CA (virtual), United States. pp.1-5 |
|
|
Alternative Split Functions and Dekker's ProductARITH-2020 - IEEE 27th Symposium on Computer Arithmetic, Jun 2020, Portland, United States. pp.1-7, ⟨10.1109/ARITH48897.2020.00015⟩ |
|
|
Algorithms for manipulating quaternions in floating-point arithmeticARITH-2020 - IEEE 27th Symposium on Computer Arithmetic, Jun 2020, Portland, United States. pp.1-8, ⟨10.1109/ARITH48897.2020.00016⟩ |
|
|
Accurate Complex Multiplication in Floating-Point ArithmeticARITH 2019 - 26th IEEE Symposium on Computer Arithmetic, Jun 2019, Kyoto, Japan. pp.1-7 |
|
|
Semi-automatic implementation of the complementary error functionARITH 2019 - 26th IEEE Symposium on Computer Arithmetic, Jun 2019, Kyoto, Japan. pp.1-8 |
|
|
Posits: the good, the bad and the uglyCoNGA 2019 - Conference on Next-Generation Arithmetic, Mar 2019, Singapore, Singapore. pp.1-10, ⟨10.1145/3316279.3316285⟩ |
|
|
A High Throughput Polynomial and Rational Function Approximations EvaluatorARITH 2018 - 25th IEEE Symposium on Computer Arithmetic, Jun 2018, Amherst, MA, United States. pp.99-106, ⟨10.1109/ARITH.2018.8464778⟩ |
|
|
On various ways to split a floating-point numberARITH 2018 - 25th IEEE Symposium on Computer Arithmetic, Jun 2018, Amherst (MA), United States. pp.53-60, ⟨10.1109/ARITH.2018.8464793⟩ |
|
|
Formal correctness of comparison algorithms between binary64 and decimal64 floating-point numbersNumerical Software Verification, Jul 2017, Heidelberg, Germany |
|
|
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 OptimalARITH-24 2017 - 24th IEEE Symposium on Computer Arithmetic, Jul 2017, London, United Kingdom. pp.8 |
|
|
On the relative error of computing complex square roots in floating-point arithmeticACSSC 2017 - 51st Asilomar Conference on Signals, Systems, and Computers, Oct 2017, Pacific Grove, United States. pp.737-740, ⟨10.1109/ACSSC.2017.8335442⟩ |
|
|
Implementation and performance evaluation of an extended precision floating-point arithmetic library for high-accuracy semidefinite programmingIEEE Symposium on Computer Arithmetic (Arith24), Jul 2017, London, United Kingdom |
|
|
A new multiplication algorithm for extended precision using floating-point expansionsARITH23, Jul 2016, Santa Clara, United States |
|
|
Computing floating-point logarithms with fixed-point operations23rd IEEE Symposium on Computer Arithmetic, IEEE, Jul 2016, Santa Clara, United States |
|
|
Parallel floating-point expansions for extended-precision GPU computationsThe 27th Annual IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP), Jul 2016, London, United Kingdom |
|
|
On the computation of the reciprocal of floating point expansions using an adapted Newton-Raphson iteration25th IEEE International Conference on Application-specific Systems, Architectures and Processors, ASAP, Jun 2014, Zurich, Switzerland. pp.8 |
|
|
Avoiding double roundings in scaled Newton-Raphson divisionAsilomar Conference on Signals, Systems, and Computers, Nov 2013, Pacific Grove, CA, United States. 4 p |
|
|
Radix conversion for IEEE754-2008 mixed radix floating-point arithmetic2013 Asilomar Conference on Signals, Systems and Computers , Nov 2013, Pacific Grove, CA, United States. pp.1134 - 1138, ⟨10.1109/ACSSC.2013.6810471⟩ |
|
|
Comparison between binary64 and decimal64 floating-point numbers21st IEEE Symposium on Computer Arithmetic, Apr 2013, Austin, TX, United States. pp.145-152, ⟨10.1109/ARITH.2013.23⟩ |
|
|
On the componentwise accuracy of complex floating-point division with an FMA21st IEEE Symposium on Computer Arithmetic, Apr 2013, Austin, TX, United States. pp.83--90 |
|
|
(M,p,k)-friendly points: a table-based method for trigonometric function evaluation2012 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⟩ |
|
|
Rigorous Polynomial Approximation using Taylor Models in CoqFourth NASA Formal Methods Symposium, NASA, Apr 2012, Norfolk, Virginia, United States. pp.15 |
Exact computations with an arithmetic known to be approximate (invited talk)MaGiX@LiX 2011, Sep 2011, Palaiseau, France |
|
|
|
Augmented precision square roots, 2-D norms, and discussion on correctly rounding {x^2+y^2}20th IEEE Symposium on Computer Arithmetic (ARITH-20), Jul 2011, Tübingen, Germany. pp.23-30, ⟨10.1109/ARITH.2011.13⟩ |
|
|
An FPGA architecture for solving the Table Maker's DilemmaApplication-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⟩ |
|
|
Implementing decimal floating-point arithmetic through binary: some suggestions21st IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP 2010), Jul 2010, Rennes, France. pp.317-320, ⟨10.1109/ASAP.2010.5540969⟩ |
|
|
Newton-Raphson Algorithms for Floating-Point Division Using an FMA21st IEEE International Conference on Application-specific Systems Architectures and Processors (ASAP), 2010, Jul 2010, Rennes, France. pp.200-207 |
Techniques and tools for implementing IEEE 754 floating-point arithmetic on VLIW integer processors4th International Workshop on Parallel and Symbolic Computation (PASCO'10), Jul 2010, Grenoble, France. pp.1-9, ⟨10.1145/1837210.1837212⟩ |
|
|
|
Design and Implementation of a Radix-4 Complex Division Unit with Prescaling20th IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP'09), Jul 2009, Boston, United States |
|
|
Low Precision Table Based Complex Reciprocal Approximation43rd Asilomar Conference on signals, systems and computers, Nov 2009, Pacific Grove, California, United States |
|
|
On the Computation of Correctly-Rounded Sums19th IEEE Symposium on Computer Arithmetic - Arith'19, Jun 2009, Portland, Oregon, United States |
|
|
Integer and Floating-Point Constant Multipliers for FPGAsInternational Conference on Application-Specific Systems, Architectures and Processors, 2008, IMEC, Jul 2008, Leuven, Belgium. pp.239-244, ⟨10.1109/ASAP.2008.4580184⟩ |
|
|
An Efficient Method for Evaluating Polynomial and Rational Function ApproximationsASAP 08, Jul 2008, Leuven, Belgium. pp.233-238, ⟨10.1109/ASAP.2008.4580185⟩ |
|
|
Complex Multiply-Add and Other Related OperatorsSPIE Conf. Advanced Signal Processing Algorithms, Architectures and Implementation XVII, 6697, SPIE, Aug 2007, San Diego, United States |
|
|
Generating function approximations at compile time40th Asilomar Conference on signals, systems and computers, USA, Oct 2006, Pacific Grove, California, France. pp.328-331 |
|
|
Some Functions Computable with a Fused-mac17th IEEE Symposium on Computer Arithmetic, Jun 2005, Cape Cod, Massachusetts, USA, pp.52-58 |
|
|
Simple Seed Architectures for Reciprocal and Square-Root Reciprocal39th Asilomar Conference on Signals, Systems and Computers, Oct 2005, Pacific Grove, California, United States. pp.1167-1171 |
|
|
Correctly rounded multiplication by arbitrary precision constantsARITH'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⟩ |
|
|
Complex Square Root with Operand PrescalingApplication-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⟩ |
|
|
Complex division with prescaling of operandsApplication-specific Systems, Architectures and Processors, 2003, Jun 2003, Delft, Netherlands |
Worst Cases for Correct Rounding of the Elementary Functions in Double Precision15th IEEE Symposium on Computer Arithmetic - ARITH 2001, 2001, Vail, Colorado, pp.111-118 |
|
|
|
Some algebraic properties of floating-point arithmetic4th Real Numbers and Computers Conference, Apr 2000, Dagstuhl, Germany |
Design of a VLSI circuit for on-line evaluation of several elementary functions using their Taylor expansionsProceedings.-International-Conference-on-Application-Specific-Array-Processors-Cat.-No.93TH0572-8. 1993:, 1993, Venice, Italy. pp.526-35, ⟨10.1109/ASAP.1993.397172⟩ |
|
JANUS, an on-line multiplier/divider for manipulating large numbersProceedings-of-9th-Symposium-on-Computer-Arithmetic-Cat.-No.89CH2757-3., 1989, Santa Monica, CA, United States. pp.106-11, ⟨10.1109/ARITH.1989.72815⟩ |
|
SCALA: une cellule systolique programmable pour l'algèbre linéaireDeuxième Colloque C3, 1987, Unknown, pp.183-204 |
|
The FELIN arithmetic coprocessor chipProceedings-of-the-8th-Symposium-on-Computer-Arithmetic-Cat.-No.87CH2419-0, 1987, Como, Italy. pp.107-12 |
|
On parallel and systolic Givens factorization of dense matricesParallel Algorithms and architectures, 1986, Unknown, pp.245-258 |
|
Computation costs versus communication costs in parallel Gaussian eliminationParallel Algorithms and architectures, 1986, Unknown, pp.19-29 |
|
|
Handbook of Floating-point Arithmetic (2nd edition)Birkhäuser Basel, pp.1-627, 2018, 978-3319765259. ⟨10.1007/978-3-319-76526-6⟩ |
|
|
Elementary functions, algorithms and implementation, 3rd EditionBirkhaüser Boston, 2016, 978-1-4899-7981-0. ⟨10.1007/978-1-4899-7983-4⟩ |
Proceedings of IEEE 22nd Symposium on Computer ArithmeticMuller, Jean-Michel; Tisserand, Arnaud; Villalba Moreno, Julio. IEEE, 2015, ⟨10.1109/ARITH.2015.1⟩ |
|
Edition d'un numéro spécial "Numerical Software: Design, Analysis and VerificationElsevier, 90 part A, pp.1, 2014 |
|
Handbook of Floating-Point ArithmeticBirkhauser Boston, pp.572, 2010 |
|
Elementary Functions, Algorithms and Implementation, 2nd EditionBirkhäuser, pp.266, 2006 |
|
|
|
Arithmétique des ordinateursMasson, pp.214, 1989, 2-225-81689-1 |
|
|
Arithmétique et Précision des Calculs sur OrdinateurDe la mesure en toutes choses, CNRS Editions, 2021 |
Evaluating Elementary FunctionsNicholas Higham. Princeton Companion to Applied Mathematics, Princeton University Press, pp.2, 2014 |
|
Digital ArithmeticBenjamin Wah. Wiley Encyclopedia of Computer Science and Engineering, Wiley, pp.935-948, 2009 |
|
|
On the Computation of Correctly-Rounded Sums[Research Report] RR-7262, INRIA. 2010, pp.24 |
|
|
CR-LIBM A library of correctly rounded elementary functions in double-precision[Research Report] LIP,. 2006 |
|
|
Multiplication Algorithms for Radix-$2$ RN-Codings and Two's Complement Numbers[Research Report] RR-5511, LIP RR-2005-05, INRIA, LIP. 2005, pp.13 |
|
|
On the definition of ulp(x)[Research Report] RR-5504, LIP RR-2005-09, INRIA, LIP. 2005, pp.16 |
|
|
Fast and correctly rounded logarithms in double-precision[Research Report] RR-5682, LIP RR-2005-37, INRIA, LIP. 2005, pp.15 |
|
|
Simple Seed Architectures for Reciprocal and Square Root ReciprocalRR-5720, INRIA. 2005, pp.25 |
|
|
Division by Constant for the ST100 DSP Microprocessor[Research Report] RR-5340, LIP RR-2004-45, INRIA, LIP. 2004, pp.14 |
|
|
RN-codes : algorithmes d'addition, de multiplication et d'élévation au carré[Rapport de recherche] RR-5438, LIP RR-2004-60, INRIA, LIP. 2004, pp.17 |
|
|
Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic[Research Report] RR-5406, INRIA. 2004 |
|
|
Correctly rounded multiplication by arbitrary precision constants[Research Report] RR-5354, LIP RR-2004-44, INRIA, LIP. 2004, pp.14 |
|
|
A floating-point library for integer processors[Research Report] RR-5268, INRIA. 2004, pp.17 |
|
|
Complex Square Root with Operand Prescaling[Research Report] RR-5319, LIP RR-2004-42, INRIA, LIP. 2004, pp.18 |
|
|
Number of solutions to (A^2+B^2=C^2+C) in a binade[Research Report] RR-4945, LIP RR-2003-45, INRIA, LIPP. 2003 |
|
|
Opérateurs itératifs de multiplication-addition modulaire pour FPGA[Rapport de recherche] RR-4937, LIP RR-2003-40, INRIA, LIP. 2003 |
|
|
Choosing Starting Values for Newton-Raphson Computation of Reciprocals, Square-Roots and Square-Root Reciprocals[Research Report] RR-4687, LIP RR-2002-48, INRIA,LIP. 2003 |
|
|
Complex Division with Prescaling of Operands[Research Report] RR-4731, LIP RR 2003-10, INRIA, LIP. 2003 |
|
|
Finding the «truncated» polynomial that is closest to a function[Research Report] RR-4787, LIP RR-2003-21, INRIA, LIP. 2003 |
|
|
Accelerating Floating-Point Division When the Divisor is Known in Advance[Research Report] RR-4532, LIP RR-2002-30, INRIA, LIP. 2002 |
|
|
A new scheme for table-based evaluation of functions[Research Report] RR-4637, LIP RR-2002-45, INRIA, LIP. 2002 |
|
|
«Partially rounded» Small-Order Approximations for Accurate, Hardware-Oriented, Table-Based Methods[Research Report] RR-4593, LIP RR-2002-39, INRIA, LIP. 2002 |
|
|
A New Range Reduction Algorithm[Research Report] RR-4267, LIP RR-2001-33, INRIA, LIP. 2001 |
|
|
Correctly Rounded Exponential Function in Double Precision Arithmetic[Research Report] RR-4231, INRIA. 2001 |
|
|
On-The-Fly Range Reduction[Research Report] RR-4043, LIP RR-2000-34, INRIA, LIP. 2000 |
|
|
Bound on Run of Zeros and Ones for Images of Floating-Point Numbers by Algebraic Functions[Research Report] RR-4045, LIP RR-2000-33, INRIA, LIP. 2000 |
|
|
Worst Cases for Correct Rounding of the Elementary Functions in Double Precision[Research Report] RR-4044, LIP RR-2000-35, INRIA,LIP. 2000 |
|
|
Improving Goldschmidt Division, Square Root and Square Root Reciprocal[Research Report] RR-3753, LIP RR-1999-41, INRIA, LIP. 1999 |
|
|
Radix-10 BKM Algorithm for Computing Transcendentals on Pocket Computers[Research Report] RR-3754, LIP RR-1999-43, INRIA, LIP. 1999 |
|
|
Vers des primitives propres en arithmétique des ordinateursRR-3755, INRIA. 1999 |
|
|
Une méthodologie du calcul des fonctions élémentairesModélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 1985. Français. ⟨NNT : ⟩ |