E-LIB Suche - Ergebnisse für: Muller, Jean-Michel

1

Useful applications of correctly-rounded operators of the f..:

, In: 2024 IEEE 31st Symposium on Computer Arithmetic (ARITH),

Hubrecht, Tom ; Jeannerod, Claude-Pierre ; Muller, Jean-Michel - p. 32-39 , 2024

2

Error in Ulps of the Multiplication or Division by a Correc..:

Brisebarre, Nicolas ; Muller, Jean-Michel ; Picot, Joris
IEEE Transactions on Emerging Topics in Computing. 12 (2024) 2 - p. 656-666 , 2024

Link: https://doi.org/10.1109/..

3

Testing the Sharpness of Known Error Bounds on the Fast Fou..:

, In: 2023 IEEE 30th Symposium on Computer Arithmetic (ARITH),

Brisebarre, Nicolas ; Muller, Jean-Michel ; Picot, Joris - p. 89-92 , 2023

Link: https://doi.org/10.1109/..

4

Floating-point arithmetic:

Boldo, Sylvie ; Jeannerod, Claude-Pierre ; Melquiond, Guillaume.
Acta Numerica. 32 (2023) - p. 203-290 , 2023

Link: https://doi.org/10.1017/..

5

Error in ulps of the multiplication or division by a correc..:

, In: 2023 IEEE 30th Symposium on Computer Arithmetic (ARITH),

Brisebarre, Nicolas ; Muller, Jean-Michel ; Picot, Joris - p. 88-88 , 2023

Link: https://doi.org/10.1109/..

6

Formalization of Double-Word Arithmetic, and Comments on "T..:

Muller, Jean-Michel ; Rideau, Laurence
ACM Transactions on Mathematical Software. 48 (2022) 1 - p. 1-24 , 2022

Link: https://doi.org/10.1145/..

7

Formalization of Double-Word Arithmetic, and Comments on "T..:

Muller, Jean-Michel ; Rideau, Laurence
ACM Transactions on Mathematical Software (TOMS). 48 (2022) 1 - p. 1-24 , 2022

Link: https://dl.acm.org/doi/1..

8

Accurate Calculation of Euclidean Norms using Double-Word A..:

Lefèvre, Vincent ; Louvet, Nicolas ; Muller, Jean-Michel..
ACM Transactions on Mathematical Software. , 2022

Link: https://doi.org/10.1145/..

9

Computer Arithmetic: Continuing a Long and Steady Emergence:

Montuschi, Paolo ; Muller, Jean-Michel ; de Dinechin, Florent
Computer. 55 (2022) 10 - p. 4-6 , 2022

Link: https://doi.org/10.1109/..

10

High-level algorithms for correctly-rounded reciprocal squa..:

, In: 2022 IEEE 29th Symposium on Computer Arithmetic (ARITH),

Borges, Carlos F. ; Jeannerod, Claude-Pierre ; Muller, Jean-Michel - p. 18-25 , 2022

Link: https://doi.org/10.1109/..

11

Emulating Round-to-Nearest Ties-to-Zero "Augmented" Floatin..:

Boldo, Sylvie ; Lauter, Christoph ; Muller, Jean-Michel
IEEE Transactions on Computers. 70 (2021) 7 - p. 1046-1058 , 2021

Link: https://doi.org/10.1109/..

12

Algorithms for Manipulating Quaternions in Floating-Point A..:

, In: 2020 IEEE 27th Symposium on Computer Arithmetic (ARITH),

Joldes, Mioara ; Muller, Jean-Michel - p. 48-55 , 2020

Link: https://doi.org/10.1109/..

13

Error Analysis of Some Operations Involved in the Cooley-Tu..:

Brisebarre, Nicolas ; Joldeş, Mioara ; Muller, Jean-Michel..
ACM Transactions on Mathematical Software. 46 (2020) 2 - p. 1-27 , 2020

Link: https://doi.org/10.1145/..

14

Error Analysis of Some Operations Involved in the Cooley-Tu..:

Brisebarre, Nicolas ; Joldeş, Mioara ; Muller, Jean-Michel..
ACM Transactions on Mathematical Software (TOMS). 46 (2020) 2 - p. 1-27 , 2020

Link: https://dl.acm.org/doi/1..

15

Alternative Split Functions and Dekker's Product:

, In: 2020 IEEE 27th Symposium on Computer Arithmetic (ARITH),

Graillat, Stef ; Lefevre, Vincent ; Muller, Jean-Michel - p. 41-47 , 2020

Link: https://doi.org/10.1109/..