Search - Archive ouverte HAL Access content directly

Filter your results

153 Results
Image document

Arithmetic algorithms for extended precision using floating-point expansions

Mioara Joldes , Olivier Marty , Jean-Michel Muller , Valentina Popescu
IEEE Transactions on Computers, 2016, 65 (4), pp.1197 - 1210. ⟨10.1109/TC.2015.2441714⟩
Journal articles hal-01111551v2
Image document

Guest Editors' Introduction: Special Section on Computer Arithmetic

Peter Kornerup , Paolo Montuschi , Jean-Michel Muller , Eric Schwarz
IEEE Transactions on Computers, 2009, 58 (2), pp.145-147
Journal articles ensl-00383561v1
Image document

BKM: a new hardware algorithm for complex elementary functions

Jean-Michel Muller , Jean-Claude Bajard , Sylvanus Kla
IEEE Transactions on Computers, 1994, 43 (8), pp.955-963. ⟨10.1109/12.295857⟩
Journal articles ensl-00086894v1
Image document

Horner's Rule-Based Multiplication over Fp and Fp^n: A Survey

Jean-Michel Muller , Jean-Luc Beuchat , Takanori Miyoshi , Eiji Okamoto
International Journal of Electronics, 2008, 95 (7), pp.669-685
Journal articles ensl-00148210v1
Image document

Implementing decimal floating-point arithmetic through binary: some suggestions

Nicolas Brisebarre , Milos Ercegovac , Nicolas Louvet , Érik Martin-Dorel , Jean-Michel Muller , et al.
21st 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
Image document

Sharp error bounds for complex floating-point inversion

Claude-Pierre Jeannerod , Nicolas Louvet , Jean-Michel Muller , Antoine Plet
Numerical Algorithms, 2016, 73 (3), pp.735-760. ⟨10.1007/s11075-016-0115-x⟩
Journal articles ensl-01195625v2
Image document

Fast and correctly rounded logarithms in double-precision

Florent de Dinechin , Christoph Lauter , Jean-Michel Muller
[Research Report] RR-5682, LIP RR-2005-37, INRIA, LIP. 2005, pp.15
Reports inria-00070331v1

Les leçons d’un algorithme délinquant

Jean-Michel Muller
Interstices, 2004
Journal articles hal-01350243v1
Image document

On Ziv's rounding test

Florent de Dinechin , Christoph Lauter , Jean-Michel Muller , Serge Torres
ACM Transactions on Mathematical Software, 2013, 39 (4), pp.26
Journal articles ensl-00693317v2

Evaluating Elementary Functions

Florent de Dinechin , Jean-Michel Muller
Nicholas Higham. Princeton Companion to Applied Mathematics, Princeton University Press, pp.2, 2014
Book sections ensl-00989001v1
Image document

Formal correctness of comparison algorithms between binary64 and decimal64 floating-point numbers

Arthur Blot , Jean-Michel Muller , Laurent Théry
Numerical Software Verification, Jul 2017, Heidelberg, Germany
Conference papers hal-01512294v1
Image document

Avoiding double roundings in scaled Newton-Raphson division

Jean-Michel Muller
Asilomar Conference on Signals, Systems, and Computers, Nov 2013, Pacific Grove, CA, United States. 4 p
Conference papers ensl-00875366v1

Edition d'un numéro spécial "Numerical Software: Design, Analysis and Verification

Amparo Gil , Jean-Michel Muller , Javier Segura
Elsevier, 90 part A, pp.1, 2014
Books ensl-01070771v1
Image document

Les calculs sur ordinateurs de plus en plus fiables et sûrs

Bel Dumé , Jean-Michel Muller
Collection "20 ans d'avancées et de perspectives en sciences du numérique", 2012, 2 p
Journal articles hal-00813205v1

Des ordinateurs capables de calculer plus juste

Jean-Michel Muller , Sylvie Boldo
La Recherche, 2014, pp.46-53
Journal articles ensl-01069744v1

Digital Arithmetic

Florent de Dinechin , Milos Ercegovac , Jean-Michel Muller , Nathalie Revol
Benjamin Wah. Wiley Encyclopedia of Computer Science and Engineering, Wiley, pp.935-948, 2009
Book sections ensl-00542215v1
Image document

On-The-Fly Range Reduction

Vincent Lefèvre , Jean-Michel Muller
[Research Report] RR-4043, LIP RR-2000-34, INRIA, LIP. 2000
Reports inria-00072595v1
Image document

Accelerating Floating-Point Division When the Divisor is Known in Advance

Jean-Michel Muller
[Research Report] RR-4532, LIP RR-2002-30, INRIA, LIP. 2002
Reports inria-00072056v1
Image document

On the definition of ulp(x)

Jean-Michel Muller
[Research Report] RR-5504, LIP RR-2005-09, INRIA, LIP. 2005, pp.16
Reports inria-00070503v1
Image document

Accurate Complex Multiplication in Floating-Point Arithmetic

Vincent Lefèvre , Jean-Michel Muller
ARITH 2019 - 26th IEEE Symposium on Computer Arithmetic, Jun 2019, Kyoto, Japan. pp.1-7
Conference papers hal-02001080v2

Handbook of Floating-Point Arithmetic

Jean-Michel Muller , Nicolas Brisebarre , Florent de Dinechin , Claude-Pierre Jeannerod , Vincent Lefèvre , et al.
Birkhauser Boston, pp.572, 2010
Books ensl-00379167v1
Image document

Hardware operators for function evaluation using sparse-coefficient polynomials

Jean-Michel Muller , Arnaud Tisserand , Serge Torres , Nicolas Brisebarre
Electronics Letters, 2006, 42 (25), pp.1441-1442. ⟨10.1049/el:20062373⟩
Journal articles lirmm-00125483v2

Design of a VLSI circuit for on-line evaluation of several elementary functions using their Taylor expansions

Jean-Claude Bajard , A. Guyot , Jean-Michel Muller , A. Skaf
Proceedings.-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
Image document

Error analysis of some operations involved in the Cooley-Tukey Fast Fourier Transform

Nicolas Brisebarre , Mioara Joldes , Jean-Michel Muller , Ana-Maria Naneş , Joris Picot
ACM Transactions on Mathematical Software, 2020, 46 (2), pp.1-34. ⟨10.1145/3368619⟩
Journal articles hal-01949458v2
Image document

Implementation and performance evaluation of an extended precision floating-point arithmetic library for high-accuracy semidefinite programming

Mioara Joldes , Jean-Michel Muller , Valentina Popescu
IEEE Symposium on Computer Arithmetic (Arith24), Jul 2017, London, United Kingdom
Conference papers hal-01491255v2
Image document

Error bounds on complex floating-point multiplication with an FMA

Claude-Pierre Jeannerod , Peter Kornerup , Nicolas Louvet , Jean-Michel Muller
Mathematics of Computation, 2017, 86 (304), pp. 881-898. ⟨10.1090/mcom/3123⟩
Journal articles hal-00867040v5
Image document

Simple Seed Architectures for Reciprocal and Square-Root Reciprocal

Jean-Michel Muller , Arnaud Tisserand , Milos Ercegovac
39th Asilomar Conference on Signals, Systems and Computers, Oct 2005, Pacific Grove, California, United States. pp.1167-1171
Conference papers ensl-00087002v1
Image document

Design and Implementation of a Radix-4 Complex Division Unit with Prescaling

Pouya Dormiani , Milos Ercegovac , Jean-Michel Muller
20th IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP'09), Jul 2009, Boston, United States
Conference papers ensl-00379147v2
Image document

On the Computation of Correctly-Rounded Sums

Peter Kornerup , Vincent Lefèvre , Nicolas Louvet , Jean-Michel Muller
[Research Report] RR-7262, INRIA. 2010, pp.24
Reports inria-00475279v1
Image document

Some notes on the possible under/overflow of the most common elementary functions

Jean-Michel Muller , Vincent Lefèvre
2007
Preprints, Working Papers, ... ensl-00149414v1