JM
Jean-Michel Muller
Directeur de Recherches au CNRS, Lab. LIP
155
Documents
Identifiants chercheurs
- jean-michel-muller
- 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
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
|
Arithmétique des OrdinateursColloque Raisonner en arithmétique, est-ce incongru ?, Jun 2023, Talence (33), France
Communication dans un congrès
hal-04207082v1
|
|
Testing The Sharpness of Known Error Bounds on The Fast Fourier Transform30th IEEE International Symposium on Computer Arithmetic ARITH 2023, Sep 2023, Portland, Oregon, USA, France
Communication dans un congrès
hal-04092770v2
|
|
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-03728088v1
|
|
$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-03129747v1
|
|
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-02470766v2
|
|
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-03047208v1
|
|
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-02470782v2
|
|
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-01959581v4
|
|
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-02001080v2
|
|
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-02002315v2
|
|
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-01774587v2
|
|
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-01774364v1
|
|
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-01780265v1
|
|
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-01527202v1
|
|
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-01491255v2
|
|
Formal correctness of comparison algorithms between binary64 and decimal64 floating-point numbersNumerical Software Verification, Jul 2017, Heidelberg, Germany
Communication dans un congrès
hal-01512294v1
|
|
A new multiplication algorithm for extended precision using floating-point expansionsARITH23, Jul 2016, Santa Clara, United States
Communication dans un congrès
hal-01298195v1
|
|
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-01227877v1
|
|
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-01298206v2
|
|
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-00957379v1
|
|
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-01513505v1
|
|
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-00734339v2
|
|
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-00737881v4
|
|
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-00875366v1
|
|
(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-00759912v1
|
|
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-00653460v2
|
|
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-00640063v1
|
Exact computations with an arithmetic known to be approximate (invited talk)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}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
|
|
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-00549027v1
|
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-00549467v1
|
|
|
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-00463353v2
|
|
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-00367584v2
|
|
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-00379147v2
|
|
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-00436329v2
|
|
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-00269219v1
|
An Efficient Method for Evaluating Polynomial and Rational Function ApproximationsASAP 08, Jul 2008, Leuven, Belgium. pp.233 -- 238
Communication dans un congrès
hal-00761652v1
|
|
|
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-00167372v1
|
|
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-00397749v1
|
|
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-00000895v1
|
|
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-00087002v1
|
|
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-00000010v1
|
|
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-00086852v1
|
|
Complex division with prescaling of operandsApplication-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 Precision15th 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 arithmetic4th 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 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-00014928v1
|
|
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-00014975v1
|
|
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-00857114v1
|
|
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-00014979v1
|
|
On parallel and systolic Givens factorization of dense matricesParallel Algorithms and architectures, 1986, Unknown, pp.245-258
Communication dans un congrès
hal-00857131v1
|
|
Computation costs versus communication costs in parallel Gaussian eliminationParallel Algorithms and architectures, 1986, Unknown, pp.19-29
Communication dans un congrès
hal-00857132v1
|
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-01766584v1
|
|
Elementary functions, algorithms and implementation, 3rd EditionBirkhaü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 ArithmeticMuller, Jean-Michel; Tisserand, Arnaud; Villalba Moreno, Julio. IEEE, 2015, ⟨10.1109/ARITH.2015.1⟩
Ouvrages
hal-01233867v1
|
|
Edition d'un numéro spécial "Numerical Software: Design, Analysis and Verification"Elsevier, 90 part A, pp.1, 2014
Ouvrages
ensl-01070771v1
|
|
Handbook of Floating-Point ArithmeticBirkhauser Boston, pp.572, 2010
Ouvrages
ensl-00379167v1
|
|
Elementary Functions, Algorithms and Implementation, 2nd EditionBirkhäuser, pp.266, 2006
Ouvrages
ensl-00000008v1
|
|
|
Arithmétique des ordinateursMasson, pp.214, 1989, 2-225-81689-1
Ouvrages
ensl-00086707v1
|
|
Arithmétique et Précision des Calculs sur OrdinateurDe la mesure en toutes choses, CNRS Editions, 2021
Chapitre d'ouvrage
hal-03461132v1
|
Evaluating Elementary FunctionsNicholas Higham. Princeton Companion to Applied Mathematics, Princeton University Press, pp.2, 2014
Chapitre d'ouvrage
ensl-00989001v1
|
|
Digital ArithmeticBenjamin Wah. Wiley Encyclopedia of Computer Science and Engineering, Wiley, pp.935-948, 2009
Chapitre d'ouvrage
ensl-00542215v1
|
|
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-00315301v1
|