1. Recherche
46 résultats  enregistrer la recherche


  • 1
  • 2
...
hal-00650659v1  Rapport
Vincent Lefèvre. SIPE: Small Integer Plus Exponent
[Research Report] RR-7832, INRIA. 2011, pp.21
...
ensl-00150406v1  Pré-publication, Document de travail
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
...
inria-00475279v1  Rapport
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-00126474v2  Communication dans un congrès
Guillaume Hanrot, Vincent Lefèvre, Damien Stehlé, Paul Zimmermann. Worst Cases of a Periodic Function for Large Arguments
Peter Kornerup and Jean-Michel Muller. 18th IEEE Symposium in Computer Arithmetic, Jun 2007, Montpellier, France. IEEE, pp.133-140, 2007, <10.1109/ARITH.2007.37>
ensl-00379167v1  Ouvrage (y compris édition critique et traduction)
Jean-Michel Muller, Nicolas Brisebarre, Florent De Dinechin, Claude-Pierre Jeannerod, Vincent Lefèvre et al.  Handbook of Floating-Point Arithmetic
Birkhauser Boston, pp.572, 2010
...
inria-00099920v1  Communication dans un congrès
Jacques Calmet, Vincent Lefèvre. Toward the Integration of Numerical Computations into the OMSCS Framework
7th International Workshop on Computer Algebra in Scientific Computing - CASC'2004, 2004, Saint Petersburg, Russia, pp.71-79, 2004
inria-00099684v1  Communication dans un congrès
Vincent Lefèvre. Multiplication by an Integer Constant: Lower Bounds on the Code Length
5th Conference on Real Numbers and Computers 2003 - RNC5, 2003, Lyon, France, pp.131-146, 2003
...
inria-00000159v1  Autre publication
Vincent Lefèvre. The Euclidean Division Implemented with a Floating-Point Multiplication and a Floor
2005
...
inria-00000026v1  Communication dans un congrès
Vincent Lefèvre. The Generic Multiple-Precision Floating-Point Addition With Exact Rounding (as in the MPFR Library)
6th Conference on Real Numbers and Computers 2004 - RNC 6, Nov 2004, Dagstuhl, Germany, pp.135-145, 2004
...
inria-00000025v1  Communication dans un congrès
Vincent Lefèvre. New Results on the Distance Between a Segment and Z². Application to the Exact Rounding
Paolo Montuschi and Eric Schwarz. 17th IEEE Symposium on Computer Arithmetic - Arith'17, Jun 2005, Cape Cod, MA, United States. IEEE Computer Society, pp.68-75, 2005, <10.1109/ARITH.2005.4>
...
hal-00763954v3  Communication dans un congrès
Vincent Lefèvre. SIPE: Small Integer Plus Exponent
21th IEEE Symposium on Computer Arithmetic - Arith'21, Apr 2013, Austin, Texas, United States. 2013
...
hal-00864580v1  Pré-publication, Document de travail
Vincent Lefèvre. Sipe: a Mini-Library for Very Low Precision Computations with Correct Rounding
2013
hal-00651939v1  Communication dans un congrès
Vincent Lefèvre. Generating a Minimal Interval Arithmetic Based on GNU MPFR
Isaac E. Elishakoff and Vladik Kreinovich and Wolfram Luther and Evgenija D. Popova. Uncertainty modeling and analysis with intervals: Foundations, tools, applications (Dagstuhl Seminar 11371), Sep 2011, Dagstuhl, Germany. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 1, pp.43, 2011, Dagstuhl Reports. <10.4230/DagRep.1.9.26>
inria-00100547v1  Communication dans un congrès
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-00100605v1  Article dans une revue
Vincent Lefèvre. Multiplication par une constante
Réseaux et systèmes répartis, calculateurs Parallèles, 2001, 13 (4-5), pp.465-484
...
hal-01242127v3  Communication dans un congrès
Vincent Lefèvre. Correctly Rounded Arbitrary-Precision Floating-Point Summation
23rd IEEE Symposium on Computer Arithmetic (ARITH), Jul 2016, Santa Clara, CA, United States. IEEE, 2016, <http://arith23.gforge.inria.fr/>. <10.1109/ARITH.2016.9>
...
hal-01502326v1  Communication dans un congrès
Vincent Lefèvre, Paul Zimmermann. Optimized Binary64 and Binary128 Arithmetic with GNU MPFR
24th IEEE Symposium on Computer Arithmetic (ARITH 24), Jul 2017, London, United Kingdom
...
inria-00068731v2  Chapitre d'ouvrage
Vincent Lefèvre, Damien Stehlé, Paul Zimmermann. Worst Cases for the Exponential Function in the IEEE 754r decimal64 Format
P. Hertling; C.M. Hoffmann; W. Luther; N. Revol. Reliable Implementation of Real Number Algorithms: Theory and Practice, 5045, Springer, pp.114-126, 2008, Lecture Notes in Computer Science, 978-3-540-85521-7. <10.1007/978-3-540-85521-7_7>. <http://www.dagstuhl.de/06021>
...
ensl-00149414v1  Pré-publication, Document de travail
Jean-Michel Muller, Vincent Lefèvre. Some notes on the possible under/overflow of the most common elementary functions
2007
...
inria-00072430v1  Rapport
Vincent Lefèvre. Multiplication by an Integer Constant
[Research Report] RR-4192, INRIA. 2001
...
inria-00072594v1  Rapport
Vincent Lefèvre, Jean-Michel Muller. Worst Cases for Correct Rounding of the Elementary Functions in Double Precision
[Research Report] RR-4044, INRIA. 2000
...
ensl-00278430v1  Pré-publication, Document de travail
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
...
inria-00072595v1  Rapport
Vincent Lefèvre, Jean-Michel Muller. On-The-Fly Range Reduction
[Research Report] RR-4043, INRIA. 2000
...
inria-00473767v1  Rapport
Vincent Lefèvre, Philippe Théveny, Florent De Dinechin, Claude-Pierre Jeannerod, Christophe Mouilleron et al.  LEMA: Towards a Language for Reliable Arithmetic
[Research Report] RR-7258, INRIA. 2010, pp.15
inria-00099572v1  Communication dans un congrès
Damien Stehlé, Vincent Lefèvre, Paul Zimmermann. Worst Cases and Lattice Reduction
16th IEEE Symposium on Computer Arithmetic 2003 - ARITH-16'03, 2003, Santiago de Compostela, Espagne, pp.142-147, 2003
inria-00099524v1  Article dans une revue
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-00542143v1  Communication dans un congrès
Vincent Lefèvre, Philippe Théveny, Florent De Dinechin, Claude-Pierre Jeannerod, Christophe Mouilleron et al.  LEMA: Towards a Language for Reliable Arithmetic
International Workshop on Programming Languages for Mechanized Mathematics Systems (PLMMS 2010), Jul 2010, Paris, France. ACM, 44, pp.41-52, 2010, ACM Communications in Computer Algebra. <10.1145/1838599.1838622>
...
ensl-00945033v2  Article dans une revue
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>
inria-00103655v1  Article dans une revue
Laurent Fousse, Guillaume Hanrot, Vincent Lefèvre, Patrick Pélissier, Paul Zimmermann. MPFR: A Multiple-Precision Binary Floating-Point Library with Correct Rounding.
ACM Transactions on Mathematical Software, Association for Computing Machinery, 2007, 33 (2), pp.article 13. <10.1145/1236463.1236468>
  • 1
  • 2

Contact


archive-ouverte@inria.fr