Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

15 résultats
Image document

Algorithmes compensés en arithmétique flottante : précision, validation, performances

Nicolas Louvet
Arithmétique des ordinateurs. Université de Perpignan Via Domitia, 2007. Français. ⟨NNT : ⟩
Thèse tel-01315543v1
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⟩
Communication dans un congrès ensl-00463353v2
Image document

Computing Correctly Rounded Integer Powers in Floating-Point Arithmetic

Jean-Michel Muller , Peter Kornerup , Christoph Lauter , Vincent Lefèvre , Nicolas Louvet
2008
Pré-publication, Document de travail ensl-00278430v1
Image document

On the Computation of Correctly-Rounded Sums

Peter Kornerup , Vincent Lefèvre , Nicolas Louvet , Jean-Michel Muller
19th IEEE Symposium on Computer Arithmetic - Arith'19, Jun 2009, Portland, Oregon, United States
Communication dans un congrès inria-00367584v2

Computing Correctly Rounded Integer Powers in Floating-Point Arithmetic

Peter Kornerup , Christoph Lauter , Vincent Lefèvre , Nicolas Louvet , Jean-Michel Muller
ACM Transactions on Mathematical Software, 2010, 37 (1), pp.4:1-4:23. ⟨10.1145/1644001.1644005⟩
Article dans une revue inria-00388501v1
Image document

Newton-Raphson Algorithms for Floating-Point Division Using an FMA

Nicolas Louvet , Jean-Michel Muller , Adrien Panhaleux
21st 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
Image document

Midpoints and exact points of some algebraic functions in floating-point arithmetic

Claude-Pierre Jeannerod , Nicolas Louvet , Jean-Michel Muller , Adrien Panhaleux
IEEE Transactions on Computers, 2011, 60 (2), pp.228-241. ⟨10.1109/TC.2010.144⟩
Article dans une revue ensl-00409366v3
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⟩
Article dans une revue hal-00867040v5
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
Rapport inria-00475279v1
Image document

A Library for Symbolic Floating-Point Arithmetic

Claude-Pierre Jeannerod , Nicolas Louvet , Jean-Michel Muller , Antoine Plet
2016
Pré-publication, Document de travail hal-01232159v2
Image document

Compensated Horner algorithm in K times the working precision

Philippe Langlois , Nicolas Louvet
[Research Report] 2008
Rapport inria-00267077v1
Image document

On the componentwise accuracy of complex floating-point division with an FMA

Claude-Pierre Jeannerod , Nicolas Louvet , Jean-Michel Muller
21st IEEE Symposium on Computer Arithmetic, Apr 2013, Austin, TX, United States. pp.83--90
Communication dans un congrès ensl-00734339v2
Image document

On the computation of correctly-rounded sums

Peter Kornerup , Vincent Lefèvre , Nicolas Louvet , Jean-Michel Muller
IEEE Transactions on Computers, 2012, 61 (3), p. 289-298. ⟨10.1109/TC.2011.27⟩
Article dans une revue ensl-00331519v2
Image document

Accurate calculation of Euclidean Norms using Double-word arithmetic

Vincent Lefèvre , Nicolas Louvet , Jean-Michel Muller , Joris Picot , Laurence Rideau
ACM Transactions on Mathematical Software, 2023, 49 (1), pp.1-34. ⟨10.1145/3568672⟩
Article dans une revue hal-03482567v2
Image document

Drop formation in shear-thickening granular suspensions

Zhongcheng Pan , Nicolas Louvet , Yves Hennequin , Hamid Kellay , Daniel Bonn
Physical Review E : Statistical, Nonlinear, and Soft Matter Physics, 2015, 92 (5), pp.052203 (1-6). ⟨10.1103/PhysRevE.92.052203⟩
Article dans une revue hal-01256933v1