Nombre de documents

122


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


Article dans une revue39 documents

  • Claude-Pierre Jeannerod, Peter Kornerup, Nicolas Louvet, Jean-Michel Muller. Error bounds on complex floating-point multiplication with an FMA. Mathematics of Computation, American Mathematical Society, 2017, 86 (304), pp. 881-898. <10.1090/mcom/3123>. <hal-00867040v5>
  • Paolo Montuschi, Jean-Michel Muller. Modern Computer Arithmetic. Computer, IEEE Computer Society, 2016, 49 (9), pp.12. <hal-01394408>
  • Claude-Pierre Jeannerod, Nicolas Louvet, Jean-Michel Muller, Antoine Plet. Sharp error bounds for complex floating-point inversion. Numerical Algorithms, Springer Verlag, 2016, 73 (3), pp.735-760. <10.1007/s11075-016-0115-x>. <ensl-01195625v2>
  • Mioara Joldes, Olivier Marty, Jean-Michel Muller, Valentina Popescu. Arithmetic algorithms for extended precision using floating-point expansions. IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2016, 65 (4), pp.1197 - 1210. <10.1109/TC.2015.2441714>. <hal-01111551v2>
  • Nicolas Brisebarre, Christoph Lauter, Marc Mezzarobba, Jean-Michel Muller. Comparison between binary and decimal floating-point numbers. IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2016, 65 (7), pp.2032-2044. <10.1109/TC.2015.2479602>. <hal-01021928v2>
  • Stef Graillat, Vincent Lefèvre, Jean-Michel Muller. On the maximum relative error when computing integer powers by iterated multiplications in floating-point arithmetic. Numerical Algorithms, Springer Verlag, 2015, 70 (3), pp.653-667. <10.1007/s11075-015-9967-8>. <ensl-00945033v2>
  • Jean-Michel Muller. On the error of Computing ab + cd using Cornea, Harrison and Tang's method. ACM Transactions on Mathematical Software, Association for Computing Machinery, 2015, 41 (2), pp.8. <ensl-00862910v2>
  • Jean-Michel Muller, Sylvie Boldo. Des ordinateurs capables de calculer plus juste. La Recherche : L'actualité des sciences, société d'éditions scientifiques, 2014, pp.46-53. <ensl-01069744>
  • Dong Wang, Jean-Michel Muller, Nicolas Brisebarre, Milos Ercegovac. (M, p, k)-Friendly Points: A Table-based Method to Evaluate Trigonometric Function. IEEE Transactions on Circuits and Systems Part 2 Analog and Digital Signal Processing, Institute of Electrical and Electronics Engineers (IEEE), 2014, 61 (9), pp.711-715. <10.1109/TCSII.2014.2331094>. <ensl-01001673>
  • Claude-Pierre Jeannerod, Nicolas Louvet, Jean-Michel Muller. Further analysis of Kahan's algorithm for the accurate computation of 2 x 2 determinants. Mathematics of Computation, American Mathematical Society, 2013, 82 (284), pp.2245-2264. <10.1090/S0025-5718-2013-02679-8>. <ensl-00649347v4>
  • Érik Martin-Dorel, Guillaume Melquiond, Jean-Michel Muller. Some issues related to double roundings. BIT Numerical Mathematics, Springer Verlag, 2013, 53 (4), pp.897-924. <10.1007/s10543-013-0436-2>. <ensl-00644408v3>
  • Bel Dumé, Jean-Michel Muller. Les calculs sur ordinateurs de plus en plus fiables et sûrs. Collection "20 ans d'avancées et de perspectives en sciences du numérique", INRIA, 2012, 2 p. <hal-00813205>
  • Peter Kornerup, Vincent Lefèvre, Nicolas Louvet, Jean-Michel Muller. On the computation of correctly-rounded sums. IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2012, 61 (3), p. 289-298. <10.1109/TC.2011.27>. <ensl-00331519v2>
  • Claude-Pierre Jeannerod, Nicolas Louvet, Jean-Michel Muller, Adrien Panhaleux. Midpoints and exact points of some algebraic functions in floating-point arithmetic. IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2011, 60 (2), pp.228-241. <10.1109/TC.2010.144>. <ensl-00409366v3>
  • Peter Kornerup, Jean-Michel Muller, Adrien Panhaleux. Performing Arithmetic Operations on Round-to-Nearest Representations. IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2011, 60 (2), pp.282-291. <10.1109/TC.2010.134>. <ensl-00548988v2>
  • Sylvie Boldo, Jean-Michel Muller. Exact and Approximated error of the FMA. IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2011, 60 (2), pp.157-164. <10.1109/TC.2010.139>. <inria-00429617>
  • Peter Kornerup, Christoph Lauter, Vincent Lefèvre, Nicolas Louvet, Jean-Michel Muller. Computing Correctly Rounded Integer Powers in Floating-Point Arithmetic. ACM Transactions on Mathematical Software, Association for Computing Machinery, 2010, 37 (1), pp.4:1-4:23. <10.1145/1644001.1644005>. <inria-00388501>
  • Milos Ercegovac, Jean-Michel Muller. An Efficient Method for Evaluating Complex Polynomials. Journal of Signal Processing Systems, Springer, 2010, 58 (1), pp.17-27. <10.1007/s11265-008-0265-8>. <ensl-00446889>
  • Vincent Lefèvre, Jean-Michel Muller. Erreurs en arithmétique des ordinateurs. Images des Mathématiques, CNRS, 2009. <hal-00598554>
  • Peter Kornerup, Paolo Montuschi, Jean-Michel Muller, Eric Schwarz. Guest Editors' Introduction: Special Section on Computer Arithmetic. IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2009, 58 (2), pp.145-147. <ensl-00383561>
  • Jean-Michel Muller, Jean-Luc Beuchat, Takanori Miyoshi, Eiji Okamoto. Horner's Rule-Based Multiplication over Fp and Fp^n: A Survey. International Journal of Electronics, Taylor & Francis, 2008, 95 (7), pp.669-685. <ensl-00148210>
  • Jean-Michel Muller, Jean-Luc Beuchat. Automatic Generation of Modular Multipliers for FPGA Applications. IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2008, 57 (12), pp.1600-1613. <10.1109/TC.2008.102>. <ensl-00122716v3>
  • Jean-Michel Muller, Florent De Dinechin, Christoph Lauter. Fast and correctly rounded logarithms in double precision. RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), EDP Sciences, 2007, 41 (1), pp.85-102. <10.1051/ita:2007003>. <ensl-00000007v2>
  • Jean-Michel Muller, Nicolas Brisebarre. Correct rounding of algebraic functions. RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), EDP Sciences, 2007, 41 (1), pp.71-83. <10.1051/ita:2007002>. <ensl-00143230>
  • Jean-Michel Muller, Arnaud Tisserand, Serge Torres, Nicolas Brisebarre. Hardware operators for function evaluation using sparse-coefficient polynomials. Electronics Letters, IET, 2006, 42 (25), pp.1441-1442. <lirmm-00125483v2>
  • Jean-Michel Muller, Nicolas Brisebarre, Arnaud Tisserand. Computing machine-efficient polynomial approximations. ACM Transactions on Mathematical Software, Association for Computing Machinery, 2006, 32 (2), pp.236-256. <10.1145/1141885.1141890>. <ensl-00086826>
  • Jean-Michel Muller, Peter Kornerup. Choosing Starting Values for certain Newton-Raphson Iterations. Theoretical Computer Science, Elsevier, 2006, 351 (1), pp.101-110. <10.1016/j.tcs.2005.09.056>. <ensl-00000009>
  • Jean-Michel Muller, Peter Kornerup. Leading Guard Digits in Finite-Precision Redundant Representations. IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2006, 55 (5), pp.541-548. <10.1109/TC.2006.79>. <ensl-00000001>
  • Jean-Michel Muller, Stuart Oberman, Jose-Alejandro Pineiro, Javier Bruguera. High-Speed Function Approximation using a Minimax Quadratic Interpolator. IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2005, 54 (3), pp.304-318. <10.1109/TC.2005.52>. <ensl-00000002>
  • Jean-Michel Muller, Nicolas Brisebarre, Peter Kornerup, David Defour, Nathalie Revol. A new range-reduction algorithm. IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2005, 54 (3), pp.331- 339. <10.1109/TC.2005.36>. <ensl-00086904>
  • Jean-Michel Muller. Les leçons d’un algorithme délinquant. Interstices, INRIA, 2004. <hal-01350243>
  • Jean-Michel Muller, Jean-Louis Nicolas, Xavier-François Roblot. Nombre de solutions dans une binade de l'équation A^2+B^2=C^2+C. L'Enseignement Mathématiques, 2004, 50 (1-2), pp.147-182. <hal-00863116>
  • David Defour, Guillaume Hanrot, Vincent Lefèvre, Jean-Michel Muller, Nathalie Revol, et al.. Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic. Numerical Algorithms, Springer Verlag, 2004, 37 (1-4), pp.367-375. <inria-00099967>
  • Jean-Michel Muller, Nicolas Brisebarre, Saurabh Raina. Accelerating Correctly Rounded Floating-PointDivision when the Divisor is Known in Advance. IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2004, 53 (8), pp.1069- 1072. <10.1109/TC.2004.37>. <ensl-00087465>
  • Vincent Lefèvre, Jean-Michel Muller. On-the-Fly Range Reduction. Journal of VLSI Signal Processing / J VLSI Sign Process Syst Sign Image Video Technol, Kluwer Academic Publishers, 2003, Special Issue on Computer Arithmetic and Applications, 33 (1-2), pp.31-35. <10.1023/A:1021137717282>. <inria-00099524>
  • A. Skaf, Jean-Claude Bajard, A. Guyot, Jean-Michel Muller. A VLSI circuit for on-line polynomial computing: application to exponential, trigonometric and hyperbolic functions. IFIP-Transactions-A-Computer-Science-and-Technology, 1994, A-42, pp.93-100. <hal-00014954>
  • Jean-Michel Muller, Jean-Claude Bajard, Sylvanus Kla. BKM: a new hardware algorithm for complex elementary functions. IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 1994, 43 (8), pp.955-963. <10.1109/12.295857>. <ensl-00086894>
  • A. Guyot, B. Hochet, Jean-Michel Muller. A way to build efficient carry-skip adders. IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 1987, Oct. ; C-36(10), pp.1144-52. <hal-00014976>
  • Michel Cosnard, Jean-Michel Muller, Yves Robert. Parallel QR decomposition of a rectangular matrix. Numerische Mathematik, Springer Verlag, 1986, 48, pp.239-249. <hal-00857127>

Communication dans un congrès36 documents

  • Claude-Pierre Jeannerod, Jean-Michel Muller, Antoine Plet. The Classical Relative Error Bounds for Computing √a2 + b2 and c/ √a2 + b2 in Binary Floating-Point Arithmetic are Asymptotically Optimal. ARITH-24 2017 - 24th IEEE Symposium on Computer Arithmetic, Jul 2017, London, United Kingdom. pp.8, 2017, Proceedings of the 24th IEEE Symposium on Computer Arithmetic. <ensl-01527202>
  • Mioara Joldes, Jean-Michel Muller, Valentina Popescu. Implementation and performance evaluation of an extended precision floating-point arithmetic library for high-accuracy semidefinite programming. Arith24, Jul 2017, London, United Kingdom. <hal-01491255v2>
  • Sylvain Collange, Mioara Joldes, Jean-Michel Muller, Valentina Popescu. Parallel floating-point expansions for extended-precision GPU computations. The 27th Annual IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP), Jul 2016, London, United Kingdom. <hal-01298206v2>
  • Julien Le Maire, Nicolas Brunie, Florent De Dinechin, Jean-Michel Muller. Computing floating-point logarithms with fixed-point operations. 23rd IEEE Symposium on Computer Arithmetic, Jul 2016, Santa Clara, United States. 2016. <hal-01227877>
  • Jean-Michel Muller, Valentina Popescu, Ping Tak Peter Tang. A new multiplication algorithm for extended precision using floating-point expansions. ARITH23, Jul 2016, Santa Clara, United States. <hal-01298195>
  • Mioara Joldes, Jean-Michel Muller, Valentina Popescu. On the computation of the reciprocal of floating point expansions using an adapted Newton-Raphson iteration. 25th IEEE International Conference on Application-specific Systems, Architectures and Processors, ASAP, Jun 2014, Zurich, Switzerland. pp.8, 2014. <hal-00957379>
  • Claude-Pierre Jeannerod, Nicolas Louvet, Jean-Michel Muller. On the componentwise accuracy of complex floating-point division with an FMA. 21st IEEE Symposium on Computer Arithmetic, Apr 2013, Austin, TX, United States. IEEE Computer Society, pp.83--90, 2013. <ensl-00734339v2>
  • Jean-Michel Muller. Avoiding double roundings in scaled Newton-Raphson division. Asilomar Conference on Signals, Systems, and Computers, Nov 2013, Pacific Grove, CA, United States. 4 p., 2013. <ensl-00875366>
  • Nicolas Brisebarre, Marc Mezzarobba, Jean-Michel Muller, Christoph Lauter. Comparison between binary64 and decimal64 floating-point numbers. Alberto Nannarelli and Peter-Michael Seidel and Ping Tak Peter Tang. 21st IEEE Symposium on Computer Arithmetic, Apr 2013, Austin, TX, United States. IEEE Computer Society, pp.145-152, 2013, <10.1109/ARITH.2013.23>. <ensl-00737881v4>
  • Nicolas Brisebarre, Milos Ercegovac, Jean-Michel Muller. (M,p,k)-friendly points: a table-based method for trigonometric function evaluation. 2012 IEEE 23rd International Conference on Application-Specific Systems, Architectures and Processors, Jul 2012, Delft, Netherlands. IEEE Computer Society, p. 46-52, ISBN: 978-1-4673-2243-0, 2012, <10.1109/ASAP.2012.17>. <ensl-00759912>
  • Nicolas Brisebarre, Mioara Maria Joldes, Érik Martin-Dorel, Micaela Mayero, Jean-Michel Muller, et al.. Rigorous Polynomial Approximation using Taylor Models in Coq. Alwyn Goodloe and Suzette Person. Fourth NASA Formal Methods Symposium, Apr 2012, Norfolk, Virginia, United States. Springer, pp.15, 2012, Lecture Notes in Computer Science. <ensl-00653460v2>
  • Jean-Michel Muller. Exact computations with an arithmetic known to be approximate (invited talk). MaGiX@LiX 2011, Sep 2011, Palaiseau, France. <ensl-00789015>
  • Florent De Dinechin, Jean-Michel Muller, Bogdan Pasca, Alexandru Plesco. An FPGA architecture for solving the Table Maker's Dilemma. Application-Specific Systems, Architectures and Processors (ASAP), 2011 IEEE International Conference on, Sep 2011, Santa Monica, United States. IEEE Computer Society, pp.187-194, 2011, <10.1109/ASAP.2011.6043267>. <ensl-00640063>
  • Nicolas Brisebarre, Mioara Maria Joldes, Peter Kornerup, Érik Martin-Dorel, Jean-Michel Muller. 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. IEEE Computer Society, pp.23-30, 2011, <10.1109/ARITH.2011.13>. <ensl-00545591v2>
  • Christian Bertin, Claude-Pierre Jeannerod, Jingyan Jourdan-Lu, Hervé Knochel, Christophe Monat, et al.. Techniques and tools for implementing IEEE 754 floating-point arithmetic on VLIW integer processors. 4th International Workshop on Parallel and Symbolic Computation (PASCO'10), Jul 2010, Grenoble, France. ACM, pp.1-9, 2010, <10.1145/1837210.1837212>. <ensl-00549467>
  • Nicolas Louvet, Jean-Michel Muller, Adrien Panhaleux. Newton-Raphson Algorithms for Floating-Point Division Using an FMA. 21st IEEE International Conference on Application-specific Systems Architectures and Processors (ASAP), 2010, Jul 2010, Rennes, France. IEEE, pp.200-207, 2010. <ensl-00549027>
  • Nicolas Brisebarre, Milos Ercegovac, Nicolas Louvet, Erik Martin-Dorel, Jean-Michel Muller, et al.. Implementing decimal floating-point arithmetic through binary: some suggestions. 21st IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP'2010), Jul 2010, Rennes, France. IEEE, pp.317-320, 2010. <ensl-00463353v2>
  • Peter Kornerup, Vincent Lefèvre, Nicolas Louvet, Jean-Michel Muller. On the Computation of Correctly-Rounded Sums. 19th IEEE Symposium on Computer Arithmetic - Arith'19, Jun 2009, Portland, Oregon, United States. 2009. <inria-00367584v2>
  • Jean-Michel Muller, Pouya Dormiani, Milos Ercegovac. Low Precision Table Based Complex Reciprocal Approximation. 43rd Asilomar Conference on signals, systems and computers, Nov 2009, Pacific Grove, California, United States. IEEE, 2009. <ensl-00436329v2>
  • Pouya Dormiani, Milos Ercegovac, Jean-Michel Muller. Design and Implementation of a Radix-4 Complex Division Unit with Prescaling. 20th IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP'09), Jul 2009, Boston, United States. IEEE Computer Society, 2009. <ensl-00379147v2>
  • Nicolas Brisebarre, Sylvain Chevillard, Milos Ercegovac, Jean-Michel Muller, Serge Torres. An Efficient Method for Evaluating Polynomial and Rational Function Approximations. ASAP 08, Jul 2008, Leuven, Belgium. IEEE, pp.233 -- 238, 2008, 19th International Conference on Application-Specific Systems, Architectures and Processors (Asap 08). <hal-00761652>
  • Nicolas Brisebarre, Florent De Dinechin, Jean-Michel Muller. Integer and Floating-Point Constant Multipliers for FPGAs. International Conference on Application-Specific Systems, Architectures and Processors, 2008, Jul 2008, Leuven, Belgium. IEEE, pp.239-244, 2008, <10.1109/ASAP.2008.4580184>. <ensl-00269219>
  • Milos Ercegovac, Jean-Michel Muller. Complex Multiply-Add and Other Related Operators. Franklin T. Luk. SPIE Conf. Advanced Signal Processing Algorithms, Architectures and Implementation XVII, 6697, Aug 2007, San Diego, United States. SPIE, 2007. <ensl-00167372>
  • Jean-Michel Muller. Generating function approximations at compile time. 40th Asilomar Conference on signals, systems and computers, Oct 2006, Pacific Grove, California, France. IEEE, pp.328-331, 2006. <ensl-00397749>
  • Sylvie Boldo, Jean-Michel Muller. Some Functions Computable with a Fused-mac. Paolo Montuschi, Eric Schwarz. 17th IEEE Symposium on Computer Arithmetic, Jun 2005, Cape Cod, Massachusetts, USA, pp.52-58, 2005. <inria-00000895>
  • Jean-Michel Muller, Arnaud Tisserand, Milos Ercegovac. Simple Seed Architectures for Reciprocal and Square-Root Reciprocal. 39th Asilomar Conference on Signals, Systems and Computers, Oct 2005, Pacific Grove, California, United States. IEEE, pp.1167-1171, 2005, ISSN: 1058-6393. <ensl-00087002>
  • Jean-Michel Muller, Nicolas Brisebarre. Correctly rounded multiplication by arbitrary precision constants. Paolo Montuschi; Eric Schwarz. ARITH'17, 17th IEEE Symposium on Computer Arithmetic, Jun 2005, Cape Cod, United States. IEEE Computer Society, 2005, <10.1109/ARITH.2005.13>. <ensl-00000010>
  • Jean-Michel Muller, Milos Ercegovac. Complex Square Root with Operand Prescaling. Sanjay Rajopadhye; Tobias Noll. Application-Specific Systems, Architectures and Processors, 2004., Sep 2004, Galveston, Texas, United States. IEEE Computer Society, pp.52-62, 2004, <10.1109/ASAP.2004.1342458>. <ensl-00086852>
  • Jean-Michel Muller, Milos Ercegovac. Complex division with prescaling of operands. Application-specific Systems, Architectures and Processors, 2003, Jun 2003, Delft, Netherlands. IEEE Computer Society, 2003. <ensl-00086896>
  • Vincent Lefèvre, Jean-Michel Muller. Worst Cases for Correct Rounding of the Elementary Functions in Double Precision. Neil Burgess and Luigi Ciminiera. 15th IEEE Symposium on Computer Arithmetic - ARITH 2001, 2001, Vail, Colorado, pp.111-118, 2001. <inria-00100547>
  • Jean-Claude Bajard, A. Guyot, Jean-Michel Muller, A. Skaf. Design of a VLSI circuit for on-line evaluation of several elementary functions using their Taylor expansions. Proceedings.-International-Conference-on-Application-Specific-Array-Processors-Cat.-No.93TH0572-8. 1993:, 1993, Venice, Italy. IEEE Comput. Soc. Press, Los Alamitos, CA, USA, pp.526-35, 1993, <10.1109/ASAP.1993.397172>. <hal-00014928>
  • A. Guyot, Yvan Herreros, Jean-Michel Muller. JANUS, an on-line multiplier/divider for manipulating large numbers. Proceedings-of-9th-Symposium-on-Computer-Arithmetic-Cat.-No.89CH2757-3., 1989, Santa Monica, CA, United States. IEEE Comput. Soc. Press, Washington, DC, USA, pp.106-11, 1989, <10.1109/ARITH.1989.72815>. <hal-00014975>
  • Michel Cosnard, A. Guyot, B. Hochet, Jean-Michel Muller, H. Ouaouicha, et al.. The FELIN arithmetic coprocessor chip. Proceedings-of-the-8th-Symposium-on-Computer-Arithmetic-Cat.-No.87CH2419-0, 1987, Como, Italy. IEEE Comput. Soc. Press, Washington, DC, USA, pp.107-12, 1987. <hal-00014979>
  • Alain Guyot, Bertrand Hochet, Christophe Mauras, Jean-Michel Muller, Yves Robert. SCALA: une cellule systolique programmable pour l'algèbre linéaire. A. Arnold. Deuxième Colloque C3, 1987, Unknown, Editions du CNRS, pp.183-204, 1987. <hal-00857114>
  • Michel Cosnard, El Mostafa Daoudi, Jean-Michel Muller, Yves Robert. On parallel and systolic Givens factorization of dense matrices. M. Cosnard et al. Parallel Algorithms and architectures, 1986, Unknown, North Holland, pp.245-258, 1986. <hal-00857131>
  • Michel Cosnard, Jean-Michel Muller, Yves Robert, Denis Trystram. Computation costs versus communication costs in parallel Gaussian elimination. M. Cosnard et al. Parallel Algorithms and architectures, 1986, Unknown, North Holland, pp.19-29, 1986. <hal-00857132>

Ouvrage (y compris édition critique et traduction)4 documents

Chapitre d'ouvrage2 documents

  • Florent De Dinechin, Jean-Michel Muller. Evaluating Elementary Functions. Nicholas Higham. Princeton Companion to Applied Mathematics, Princeton University Press, 2 p., 2014. <ensl-00989001>
  • Florent De Dinechin, Milos Ercegovac, Jean-Michel Muller, Nathalie Revol. Digital Arithmetic. Benjamin Wah. Wiley Encyclopedia of Computer Science and Engineering, Wiley, pp.935-948, 2009. <ensl-00542215>

Direction d'ouvrage, Proceedings2 documents

  • Jean-Michel Muller, Arnaud Tisserand, Julio Villalba Moreno. Proceedings of IEEE 22nd Symposium on Computer Arithmetic. Muller, Jean-Michel; Tisserand, Arnaud; Villalba Moreno, Julio. Jun 2015, Lyon, France. IEEE, 2015, <10.1109/ARITH.2015.1>. <http://arith22.gforge.inria.fr/>. <hal-01233867>
  • Amparo Gil, Jean-Michel Muller, Javier Segura. Edition d'un numéro spécial "Numerical Software: Design, Analysis and Verification". France. 90 part A, Elsevier, pp.1, 2014. <ensl-01070771>

Pré-publication, Document de travail11 documents

  • Arthur Blot, Jean-Michel Muller, Laurent Théry. Formal correctness of comparison algorithms between binary64 and decimal64 floating-point numbers. 2017. <hal-01512294>
  • Claude-Pierre Jeannerod, Nicolas Louvet, Jean-Michel Muller, Antoine Plet. A Library for Symbolic Floating-Point Arithmetic. 2016. <hal-01232159v2>
  • Mioara Joldes, Jean-Michel Muller, Valentina Popescu. Tight and rigourous error bounds for basic building blocks of double-word arithmetic. Rapport LAAS n° 16225. 2016. <hal-01351529v2>
  • Jean-Michel Muller. Scaling Newton-Raphson division iterations to avoid double rounding. LIP research report number RRLIP2010-21. 2010. <ensl-00496368>
  • Adrien Panhaleux, Peter Kornerup, Jean-Michel Muller. Performing Arithmetic Operations on Round-to-Nearest Representations. Pre-print, 24 pages, submitted to IEEE Transactions on Computers. 2009. <ensl-00441933>
  • Jean-Michel Muller. Représentation des nombres et calcul sur ordinateur. 2009. <ensl-00391070>
  • Jean-Michel Muller, Peter Kornerup, Christoph Lauter, Vincent Lefèvre, Nicolas Louvet. Computing Correctly Rounded Integer Powers in Floating-Point Arithmetic. Rapport de recherche LIP n° 2008-15. 23 pages. 2008. <ensl-00278430>
  • Peter Kornerup, Vincent Lefèvre, Jean-Michel Muller. Computing Integer Powers in Floating-Point Arithmetic. Rapport de recherche LIP n°2007-23. Laboratoire LIP : CNRS/ENS Lyon/INRIA/Université Lyon 1. 2007. <ensl-00150406>
  • Jean-Michel Muller, Vincent Lefèvre. Some notes on the possible under/overflow of the most common elementary functions. 2007. <ensl-00149414>
  • Milos Ercegovac, Jean-Michel Muller. Solving Systems of Linear Equations in Complex Domain : Complex E-Method. Rapport de recherche LIP n° 2007-2. 2007. <ensl-00125369v2>
  • Jean-Michel Muller, Paul Zimmermann. Some arguments concerning correct rounding of the elementary functions. 2006. <ensl-00086516>

Rapport27 documents

  • Peter Kornerup, Vincent Lefèvre, Nicolas Louvet, Jean-Michel Muller. On the Computation of Correctly-Rounded Sums. [Research Report] RR-7262, INRIA. 2010, pp.24. <inria-00475279>
  • Catherine Daramy-Loirat, David Defour, Florent De Dinechin, Matthieu Gallet, Nicolas Gast, et al.. CR-LIBM A library of correctly rounded elementary functions in double-precision. [Research Report] LIP,. 2006. <ensl-01529804>
  • Milos Ercegovac, Jean-Michel Muller, Arnaud Tisserand. Simple Seed Architectures for Reciprocal and Square Root Reciprocal. RR-5720, INRIA. 2005, pp.25. <inria-00070298>
  • Florent De Dinechin, Christoph Lauter, Jean-Michel Muller. Fast and correctly rounded logarithms in double-precision. RR-5682, INRIA. 2005, pp.15. <inria-00070331>
  • Jean-Michel Muller. On the definition of ulp(x). RR-5504, INRIA. 2005, pp.16. <inria-00070503>
  • Jean-Luc Beuchat, Jean-Michel Muller. Multiplication Algorithms for Radix-$2$ RN-Codings and Two's Complement Numbers. RR-5511, INRIA. 2005, pp.13. <inria-00070495>
  • Jean-Michel Muller, Arnaud Tisserand, Benoît De Dinechin, Christophe Monat. Division by Constant for the ST100 DSP Microprocessor. [Research Report] RR-5340, INRIA. 2004, pp.14. <inria-00070661>
  • C. Bertin, Nicolas Brisebarre, Benoît De Dinechin, Claude-Pierre Jeannerod, C. Monat, et al.. A floating-point library for integer processors. [Research Report] RR-5268, INRIA. 2004, pp.17. <inria-00070730>
  • David Defour, Guillaume Hanrot, Vincent Lefèvre, Jean-Michel Muller, Nathalie Revol, et al.. Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic. [Research Report] RR-5406, INRIA. 2004. <inria-00071249>
  • Jean-Michel Muller, Jean-Luc Beuchat. RN-codes : algorithmes d'addition, de multiplication et d'élévation au carré. [Rapport de recherche] RR-5438, INRIA. 2004, pp.17. <inria-00070569>
  • Nicolas Brisebarre, Jean-Michel Muller. Correctly rounded multiplication by arbitrary precision constants. [Research Report] RR-5354, INRIA. 2004, pp.14. <inria-00070649>
  • Milos Ercegovac, Jean-Michel Muller. Complex Square Root with Operand Prescaling. [Research Report] RR-5319, INRIA. 2004, pp.18. <inria-00070681>
  • Nicolas Brisebarre, Jean-Michel Muller. Finding the «truncated» polynomial that is closest to a function. RR-4787, INRIA. 2003. <inria-00071799>
  • Milos Ercegovac, Jean-Michel Muller. Complex Division with Prescaling of Operands. RR-4731, INRIA. 2003. <inria-00071856>
  • Jean-Michel Muller, Jean-Louis Nicolas, Xavier-François Roblot. Number of solutions to $(A^2+B^2=C^2+C)$ in a binade. RR-4945, INRIA. 2003. <inria-00071634>
  • Peter Kornerup, Jean-Michel Muller. Choosing Starting Values for Newton-Raphson Computation of Reciprocals, Square-Roots and Square-Root Reciprocals. RR-4687, INRIA. 2003. <inria-00071899>
  • David Defour, Florent De Dinechin, Jean-Michel Muller. A new scheme for table-based evaluation of functions. [Research Report] RR-4637, INRIA. 2002. <inria-00071948>
  • Jean-Michel Muller. «Partially rounded» Small-Order Approximations for Accurate, Hardware-Oriented, Table-Based Methods. RR-4593, INRIA. 2002. <inria-00071992>
  • Jean-Michel Muller. Accelerating Floating-Point Division When the Divisor is Known in Advance. RR-4532, INRIA. 2002. <inria-00072056>
  • David Defour, Peter Kornerup, Jean-Michel Muller, Nathalie Revol. A New Range Reduction Algorithm. [Research Report] RR-4267, INRIA. 2001. <inria-00072320>
  • David Defour, Florent De Dinechin, Jean-Michel Muller. Correctly Rounded Exponential Function in Double Precision Arithmetic. [Research Report] RR-4231, INRIA. 2001. <inria-00072387>
  • Tomas Lang, Jean-Michel Muller. Bound on Run of Zeros and Ones for Images of Floating-Point Numbers by Algebraic Functions. [Research Report] RR-4045, INRIA. 2000. <inria-00072593>
  • Vincent Lefèvre, Jean-Michel Muller. Worst Cases for Correct Rounding of the Elementary Functions in Double Precision. [Research Report] RR-4044, INRIA. 2000. <inria-00072594>
  • Vincent Lefèvre, Jean-Michel Muller. On-The-Fly Range Reduction. [Research Report] RR-4043, INRIA. 2000. <inria-00072595>
  • Jean-Michel Muller. Vers des primitives propres en arithmétique des ordinateurs. RR-3755, INRIA. 1999. <inria-00072907>
  • Laurent Imbert, Jean-Michel Muller, Fabien Rico. Radix-10 BKM Algorithm for Computing Transcendentals on Pocket Computers. [Research Report] RR-3754, INRIA. 1999. <inria-00072908>
  • Milos Ercegovac, Laurent Imbert, David Matula, Jean-Michel Muller, Guoheng Wei. Improving Goldschmidt Division, Square Root and Square Root Reciprocal. [Research Report] RR-3753, INRIA. 1999. <inria-00072909>

Thèse1 document

  • Jean-Michel Muller. Une méthodologie du calcul des fonctions élémentaires. Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 1985. Français. <tel-00315301>