Jean-Michel Muller
149
Documents
Presentation
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
Publications
|
$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⟩
Conference papers
hal-03129747v1
|
|
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⟩
Conference papers
hal-02470782v2
|
|
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
Conference papers
hal-03047208v1
|
|
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⟩
Conference papers
hal-02470766v2
|
|
Semi-automatic implementation of the complementary error functionARITH 2019 - 26th IEEE Symposium on Computer Arithmetic, Jun 2019, Kyoto, Japan. pp.1-8
Conference papers
hal-02002315v2
|
|
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⟩
Conference papers
hal-01959581v4
|
|
Accurate Complex Multiplication in Floating-Point ArithmeticARITH 2019 - 26th IEEE Symposium on Computer Arithmetic, Jun 2019, Kyoto, Japan. pp.1-7
Conference papers
hal-02001080v2
|
|
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⟩
Conference papers
hal-01774364v1
|
|
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⟩
Conference papers
hal-01774587v2
|
|
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
Conference papers
ensl-01527202v1
|
|
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⟩
Conference papers
ensl-01780265v1
|
|
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
Conference papers
hal-01491255v2
|
|
Formal correctness of comparison algorithms between binary64 and decimal64 floating-point numbersNumerical Software Verification, Jul 2017, Heidelberg, Germany
Conference papers
hal-01512294v1
|
|
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
Conference papers
hal-01298206v2
|
|
A new multiplication algorithm for extended precision using floating-point expansionsARITH23, Jul 2016, Santa Clara, United States
Conference papers
hal-01298195v1
|
|
Computing floating-point logarithms with fixed-point operations23rd IEEE Symposium on Computer Arithmetic, IEEE, Jul 2016, Santa Clara, United States
Conference papers
hal-01227877v1
|
|
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
Conference papers
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⟩
Conference papers
hal-01513505v1
|
|
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⟩
Conference papers
ensl-00737881v4
|
|
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
Conference papers
ensl-00734339v2
|
|
Avoiding double roundings in scaled Newton-Raphson divisionAsilomar Conference on Signals, Systems, and Computers, Nov 2013, Pacific Grove, CA, United States. 4 p
Conference papers
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⟩
Conference papers
ensl-00759912v1
|
|
Rigorous Polynomial Approximation using Taylor Models in CoqFourth NASA Formal Methods Symposium, NASA, Apr 2012, Norfolk, Virginia, United States. pp.15
Conference papers
ensl-00653460v2
|
Exact computations with an arithmetic known to be approximate (invited talk)MaGiX@LiX 2011, Sep 2011, Palaiseau, France
Conference papers
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⟩
Conference papers
ensl-00545591v2
|
|
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⟩
Conference papers
ensl-00640063v1
|
|
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
Conference papers
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⟩
Conference papers
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⟩
Conference papers
ensl-00463353v2
|
|
Low Precision Table Based Complex Reciprocal Approximation43rd Asilomar Conference on signals, systems and computers, Nov 2009, Pacific Grove, California, United States
Conference papers
ensl-00436329v2
|
|
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
Conference papers
ensl-00379147v2
|
|
On the Computation of Correctly-Rounded Sums19th IEEE Symposium on Computer Arithmetic - Arith'19, Jun 2009, Portland, Oregon, United States
Conference papers
inria-00367584v2
|
An Efficient Method for Evaluating Polynomial and Rational Function ApproximationsASAP 08, Jul 2008, Leuven, Belgium. pp.233 -- 238
Conference papers
hal-00761652v1
|
|
|
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⟩
Conference papers
ensl-00269219v1
|
|
Complex Multiply-Add and Other Related OperatorsSPIE Conf. Advanced Signal Processing Algorithms, Architectures and Implementation XVII, 6697, SPIE, Aug 2007, San Diego, United States
Conference papers
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
Conference papers
ensl-00397749v1
|
|
Some Functions Computable with a Fused-mac17th IEEE Symposium on Computer Arithmetic, Jun 2005, Cape Cod, Massachusetts, USA, pp.52-58
Conference papers
inria-00000895v1
|
|
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⟩
Conference papers
ensl-00000010v1
|
|
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
Conference papers
ensl-00087002v1
|
|
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⟩
Conference papers
ensl-00086852v1
|
|
Complex division with prescaling of operandsApplication-specific Systems, Architectures and Processors, 2003, Jun 2003, Delft, Netherlands
Conference papers
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
Conference papers
inria-00100547v1
|
|
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⟩
Conference papers
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⟩
Conference papers
hal-00014975v1
|
|
SCALA: une cellule systolique programmable pour l'algèbre linéaireDeuxième Colloque C3, 1987, Unknown, pp.183-204
Conference papers
hal-00857114v1
|
|
The FELIN arithmetic coprocessor chipProceedings-of-the-8th-Symposium-on-Computer-Arithmetic-Cat.-No.87CH2419-0, 1987, Como, Italy. pp.107-12
Conference papers
hal-00014979v1
|
|
On parallel and systolic Givens factorization of dense matricesParallel Algorithms and architectures, 1986, Unknown, pp.245-258
Conference papers
hal-00857131v1
|
|
Computation costs versus communication costs in parallel Gaussian eliminationParallel Algorithms and architectures, 1986, Unknown, pp.19-29
Conference papers
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⟩
Books
hal-01766584v1
|
|
Elementary functions, algorithms and implementation, 3rd EditionBirkhaüser Boston, 2016, 978-1-4899-7981-0. ⟨10.1007/978-1-4899-7983-4⟩
Books
ensl-01398294v1
|
|
Proceedings of IEEE 22nd Symposium on Computer ArithmeticMuller, Jean-Michel; Tisserand, Arnaud; Villalba Moreno, Julio. IEEE, 2015, ⟨10.1109/ARITH.2015.1⟩
Books
hal-01233867v1
|
|
Edition d'un numéro spécial "Numerical Software: Design, Analysis and Verification"Elsevier, 90 part A, pp.1, 2014
Books
ensl-01070771v1
|
|
Handbook of Floating-Point ArithmeticBirkhauser Boston, pp.572, 2010
Books
ensl-00379167v1
|
|
Elementary Functions, Algorithms and Implementation, 2nd EditionBirkhäuser, pp.266, 2006
Books
ensl-00000008v1
|
|
|
Arithmétique des ordinateursMasson, pp.214, 1989, 2-225-81689-1
Books
ensl-00086707v1
|
|
Arithmétique et Précision des Calculs sur OrdinateurDe la mesure en toutes choses, CNRS Editions, 2021
Book sections
hal-03461132v1
|
Evaluating Elementary FunctionsNicholas Higham. Princeton Companion to Applied Mathematics, Princeton University Press, pp.2, 2014
Book sections
ensl-00989001v1
|
|
Digital ArithmeticBenjamin Wah. Wiley Encyclopedia of Computer Science and Engineering, Wiley, pp.935-948, 2009
Book sections
ensl-00542215v1
|
|
Une méthodologie du calcul des fonctions élémentairesModélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 1985. Français. ⟨NNT : ⟩
Theses
tel-00315301v1
|