
JM
Jean-Michel Muller
Directeur de Recherches au CNRS, Lab. LIP
158
Documents
Identifiants chercheurs
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
Communication dans un congrès
hal-04461089
v2
|
|
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
Communication dans un congrès
hal-04092770
v2
|
|
Arithmétique des OrdinateursColloque Raisonner en arithmétique, est-ce incongru ?, Jun 2023, Talence (33), France
Communication dans un congrès
hal-04207082
v1
|
|
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
Communication dans un congrès
hal-03728088
v1
|
|
$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⟩
Communication dans un congrès
hal-03129747
v1
|
|
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⟩
Communication dans un congrès
hal-02470782
v2
|
|
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
Communication dans un congrès
hal-03047208
v1
|
|
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⟩
Communication dans un congrès
hal-02470766
v2
|
|
Accurate Complex Multiplication in Floating-Point ArithmeticARITH 2019 - 26th IEEE Symposium on Computer Arithmetic, Jun 2019, Kyoto, Japan. pp.1-7
Communication dans un congrès
hal-02001080
v2
|
|
Semi-automatic implementation of the complementary error functionARITH 2019 - 26th IEEE Symposium on Computer Arithmetic, Jun 2019, Kyoto, Japan. pp.1-8
Communication dans un congrès
hal-02002315
v2
|
|
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⟩
Communication dans un congrès
hal-01959581
v4
|
|
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⟩
Communication dans un congrès
hal-01774364
v1
|
|
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⟩
Communication dans un congrès
hal-01774587
v2
|
|
Formal correctness of comparison algorithms between binary64 and decimal64 floating-point numbersNumerical Software Verification, Jul 2017, Heidelberg, Germany
Communication dans un congrès
hal-01512294
v1
|
|
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
Communication dans un congrès
hal-01491255
v2
|
|
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
Communication dans un congrès
ensl-01527202
v1
|
|
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⟩
Communication dans un congrès
ensl-01780265
v1
|
|
A new multiplication algorithm for extended precision using floating-point expansionsARITH23, Jul 2016, Santa Clara, United States
Communication dans un congrès
hal-01298195
v1
|
|
Computing floating-point logarithms with fixed-point operations23rd IEEE Symposium on Computer Arithmetic, IEEE, Jul 2016, Santa Clara, United States
Communication dans un congrès
hal-01227877
v1
|
|
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
Communication dans un congrès
hal-01298206
v2
|
|
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
Communication dans un congrès
hal-00957379
v1
|
|
Avoiding double roundings in scaled Newton-Raphson divisionAsilomar Conference on Signals, Systems, and Computers, Nov 2013, Pacific Grove, CA, United States. 4 p
Communication dans un congrès
ensl-00875366
v1
|
|
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⟩
Communication dans un congrès
hal-01513505
v1
|
|
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⟩
Communication dans un congrès
ensl-00737881
v4
|
|
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
Communication dans un congrès
ensl-00734339
v2
|
|
(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⟩
Communication dans un congrès
ensl-00759912
v1
|
|
Rigorous Polynomial Approximation using Taylor Models in CoqFourth NASA Formal Methods Symposium, NASA, Apr 2012, Norfolk, Virginia, United States. pp.15
Communication dans un congrès
ensl-00653460
v2
|
Exact computations with an arithmetic known to be approximate (invited talk)MaGiX@LiX 2011, Sep 2011, Palaiseau, France
Communication dans un congrès
ensl-00789015
v1
|
|
|
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⟩
Communication dans un congrès
ensl-00545591
v2
|
|
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⟩
Communication dans un congrès
ensl-00640063
v1
|
|
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⟩
Communication dans un congrès
ensl-00463353
v2
|
|
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
Communication dans un congrès
ensl-00549027
v1
|
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⟩
Communication dans un congrès
ensl-00549467
v1
|
|
|
Low Precision Table Based Complex Reciprocal Approximation43rd Asilomar Conference on signals, systems and computers, Nov 2009, Pacific Grove, California, United States
Communication dans un congrès
ensl-00436329
v2
|
|
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
Communication dans un congrès
ensl-00379147
v2
|
|
On the Computation of Correctly-Rounded Sums19th IEEE Symposium on Computer Arithmetic - Arith'19, Jun 2009, Portland, Oregon, United States
Communication dans un congrès
inria-00367584
v2
|
|
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⟩
Communication dans un congrès
ensl-00269219
v1
|
|
An Efficient Method for Evaluating Polynomial and Rational Function ApproximationsASAP 08, Jul 2008, Leuven, Belgium. pp.233-238, ⟨10.1109/ASAP.2008.4580185⟩
Communication dans un congrès
hal-00761652
v1
|
|
Complex Multiply-Add and Other Related OperatorsSPIE Conf. Advanced Signal Processing Algorithms, Architectures and Implementation XVII, 6697, SPIE, Aug 2007, San Diego, United States
Communication dans un congrès
ensl-00167372
v1
|
|
Generating function approximations at compile time40th Asilomar Conference on signals, systems and computers, USA, Oct 2006, Pacific Grove, California, France. pp.328-331
Communication dans un congrès
ensl-00397749
v1
|
|
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
Communication dans un congrès
ensl-00087002
v1
|
|
Some Functions Computable with a Fused-mac17th IEEE Symposium on Computer Arithmetic, Jun 2005, Cape Cod, Massachusetts, USA, pp.52-58
Communication dans un congrès
inria-00000895
v1
|
|
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⟩
Communication dans un congrès
ensl-00000010
v1
|
|
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⟩
Communication dans un congrès
ensl-00086852
v1
|
|
Complex division with prescaling of operandsApplication-specific Systems, Architectures and Processors, 2003, Jun 2003, Delft, Netherlands
Communication dans un congrès
ensl-00086896
v1
|
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
Communication dans un congrès
inria-00100547
v1
|
|
|
Some algebraic properties of floating-point arithmetic4th Real Numbers and Computers Conference, Apr 2000, Dagstuhl, Germany
Communication dans un congrès
hal-04454523
v1
|
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⟩
Communication dans un congrès
hal-00014928
v1
|
|
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⟩
Communication dans un congrès
hal-00014975
v1
|
|
SCALA: une cellule systolique programmable pour l'algèbre linéaireDeuxième Colloque C3, 1987, Unknown, pp.183-204
Communication dans un congrès
hal-00857114
v1
|
|
The FELIN arithmetic coprocessor chipProceedings-of-the-8th-Symposium-on-Computer-Arithmetic-Cat.-No.87CH2419-0, 1987, Como, Italy. pp.107-12
Communication dans un congrès
hal-00014979
v1
|
|
Computation costs versus communication costs in parallel Gaussian eliminationParallel Algorithms and architectures, 1986, Unknown, pp.19-29
Communication dans un congrès
hal-00857132
v1
|
|
On parallel and systolic Givens factorization of dense matricesParallel Algorithms and architectures, 1986, Unknown, pp.245-258
Communication dans un congrès
hal-00857131
v1
|
|
Handbook of Floating-point Arithmetic (2nd edition)Birkhäuser Basel, pp.1-627, 2018, 978-3319765259. ⟨10.1007/978-3-319-76526-6⟩
Ouvrages
hal-01766584
v1
|
|
Elementary functions, algorithms and implementation, 3rd EditionBirkhaüser Boston, 2016, 978-1-4899-7981-0. ⟨10.1007/978-1-4899-7983-4⟩
Ouvrages
ensl-01398294
v1
|
Proceedings of IEEE 22nd Symposium on Computer ArithmeticMuller, Jean-Michel; Tisserand, Arnaud; Villalba Moreno, Julio. IEEE, 2015, ⟨10.1109/ARITH.2015.1⟩
Ouvrages
hal-01233867
v1
|
|
Edition d'un numéro spécial "Numerical Software: Design, Analysis and VerificationElsevier, 90 part A, pp.1, 2014
Ouvrages
ensl-01070771
v1
|
|
Handbook of Floating-Point ArithmeticBirkhauser Boston, pp.572, 2010
Ouvrages
ensl-00379167
v1
|
|
Elementary Functions, Algorithms and Implementation, 2nd EditionBirkhäuser, pp.266, 2006
Ouvrages
ensl-00000008
v1
|
|
|
Arithmétique des ordinateursMasson, pp.214, 1989, 2-225-81689-1
Ouvrages
ensl-00086707
v1
|
|
Arithmétique et Précision des Calculs sur OrdinateurDe la mesure en toutes choses, CNRS Editions, 2021
Chapitre d'ouvrage
hal-03461132
v1
|
Evaluating Elementary FunctionsNicholas Higham. Princeton Companion to Applied Mathematics, Princeton University Press, pp.2, 2014
Chapitre d'ouvrage
ensl-00989001
v1
|
|
Digital ArithmeticBenjamin Wah. Wiley Encyclopedia of Computer Science and Engineering, Wiley, pp.935-948, 2009
Chapitre d'ouvrage
ensl-00542215
v1
|
|
On the Computation of Correctly-Rounded Sums[Research Report] RR-7262, INRIA. 2010, pp.24
Rapport
(rapport de recherche)
inria-00475279
v1
|
|
CR-LIBM A library of correctly rounded elementary functions in double-precision[Research Report] LIP,. 2006
Rapport
(rapport de recherche)
ensl-01529804
v1
|
|
Fast and correctly rounded logarithms in double-precision[Research Report] RR-5682, LIP RR-2005-37, INRIA, LIP. 2005, pp.15
Rapport
(rapport de recherche)
inria-00070331
v1
|
|
On the definition of ulp(x)[Research Report] RR-5504, LIP RR-2005-09, INRIA, LIP. 2005, pp.16
Rapport
(rapport de recherche)
inria-00070503
v1
|
|
Simple Seed Architectures for Reciprocal and Square Root ReciprocalRR-5720, INRIA. 2005, pp.25
Rapport
inria-00070298
v1
|
|
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
Rapport
(rapport de recherche)
inria-00070495
v1
|
|
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
Rapport
(rapport de recherche)
inria-00070569
v1
|
|
Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic[Research Report] RR-5406, INRIA. 2004
Rapport
(rapport de recherche)
inria-00071249
v1
|
|
Correctly rounded multiplication by arbitrary precision constants[Research Report] RR-5354, LIP RR-2004-44, INRIA, LIP. 2004, pp.14
Rapport
(rapport de recherche)
inria-00070649
v1
|
|
A floating-point library for integer processors[Research Report] RR-5268, INRIA. 2004, pp.17
Rapport
(rapport de recherche)
inria-00070730
v1
|
|
Complex Square Root with Operand Prescaling[Research Report] RR-5319, LIP RR-2004-42, INRIA, LIP. 2004, pp.18
Rapport
(rapport de recherche)
inria-00070681
v1
|
|
Division by Constant for the ST100 DSP Microprocessor[Research Report] RR-5340, LIP RR-2004-45, INRIA, LIP. 2004, pp.14
Rapport
(rapport de recherche)
inria-00070661
v1
|
|
Complex Division with Prescaling of Operands[Research Report] RR-4731, LIP RR 2003-10, INRIA, LIP. 2003
Rapport
(rapport de recherche)
inria-00071856
v1
|
|
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
Rapport
(rapport de recherche)
inria-00071899
v1
|
|
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
Rapport
(rapport de recherche)
inria-00071634
v1
|
|
Opérateurs itératifs de multiplication-addition modulaire pour FPGA[Rapport de recherche] RR-4937, LIP RR-2003-40, INRIA, LIP. 2003
Rapport
(rapport de recherche)
inria-00071642
v1
|
|
Finding the «truncated» polynomial that is closest to a function[Research Report] RR-4787, LIP RR-2003-21, INRIA, LIP. 2003
Rapport
(rapport de recherche)
inria-00071799
v1
|
|
Accelerating Floating-Point Division When the Divisor is Known in Advance[Research Report] RR-4532, LIP RR-2002-30, INRIA, LIP. 2002
Rapport
(rapport de recherche)
inria-00072056
v1
|
|
A new scheme for table-based evaluation of functions[Research Report] RR-4637, LIP RR-2002-45, INRIA, LIP. 2002
Rapport
(rapport de recherche)
inria-00071948
v1
|
|
«Partially rounded» Small-Order Approximations for Accurate, Hardware-Oriented, Table-Based Methods[Research Report] RR-4593, LIP RR-2002-39, INRIA, LIP. 2002
Rapport
(rapport de recherche)
inria-00071992
v1
|
|
A New Range Reduction Algorithm[Research Report] RR-4267, LIP RR-2001-33, INRIA, LIP. 2001
Rapport
(rapport de recherche)
inria-00072320
v1
|
|
Correctly Rounded Exponential Function in Double Precision Arithmetic[Research Report] RR-4231, INRIA. 2001
Rapport
(rapport de recherche)
inria-00072387
v1
|
|
On-The-Fly Range Reduction[Research Report] RR-4043, LIP RR-2000-34, INRIA, LIP. 2000
Rapport
(rapport de recherche)
inria-00072595
v1
|
|
Worst Cases for Correct Rounding of the Elementary Functions in Double Precision[Research Report] RR-4044, LIP RR-2000-35, INRIA,LIP. 2000
Rapport
(rapport de recherche)
inria-00072594
v1
|
|
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
Rapport
(rapport de recherche)
inria-00072593
v1
|
|
Improving Goldschmidt Division, Square Root and Square Root Reciprocal[Research Report] RR-3753, LIP RR-1999-41, INRIA, LIP. 1999
Rapport
(rapport de recherche)
inria-00072909
v1
|
|
Radix-10 BKM Algorithm for Computing Transcendentals on Pocket Computers[Research Report] RR-3754, LIP RR-1999-43, INRIA, LIP. 1999
Rapport
(rapport de recherche)
inria-00072908
v1
|
|
Vers des primitives propres en arithmétique des ordinateursRR-3755, INRIA. 1999
Rapport
inria-00072907
v1
|
|
Une méthodologie du calcul des fonctions élémentairesModélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 1985. Français. ⟨NNT : ⟩
Thèse
tel-00315301
v1
|
Chargement...
Chargement...