Source: http://vinc17.net/research/publi.fr.html
Timestamp: 2019-04-21 02:37:17+00:00

Document:
La liste suivante a été générée à partir du fichier bibtex avec mon script Perl bib2html.
Certains papiers sont disponibles à la fois en postscript (compressé avec gzip ) et en PDF. Pour ces papiers, le format choisi pour le lien principal sera obtenu par négociation HTTP, suivant les préférences de votre navigateur. Plus d'information sur les formats de fichiers.
J. Calmet et V. Lefèvre. Toward the integration of numerical computations into the OMSCS framework . In V.G. Ganzha and E.W. Mayr and E.V. Vorozhtsov, editors, Proceedings of the 7th International Workshop on Computer Algebra in Scientific Computing (CASC 2004) , pages 71–79, Saint Petersburg, Russia, juillet 2004.
A. Castiel, V. Lefèvre et P. Zimmermann. Le « dilemme du fabricant de tables » ou comment calculer juste . Interstices , février 2004.
D. Defour, G. Hanrot, V. Lefèvre, J.-M. Muller, N. Revol et P. Zimmermann. Proposal for a standardization of mathematical function implementation in floating-point arithmetic . Numerical Algorithms , 37(1–4):367–375, décembre 2004.
D. Defour, G. Hanrot, V. Lefèvre, J.-M. Muller, N. Revol et P. Zimmermann. Proposal for a standardization of mathematical function implementation in floating-point arithmetic . Rapport de recherche RR-5406, INRIA, décembre 2004.
F. de Dinechin et V. Lefèvre. Constant multiplier for FPGAs . In Second International Workshop on Engineering of Reconfigurable Hardware/Software Objects (ENREGLE 2000) , Monte Carlo Resort, Las Vegas, Nevada, USA, juin 2000. Also available as LIP research report 2000-18.
F. de Dinechin et V. Lefèvre. Constant multiplier for FPGAs . Rapport de recherche RR2000-18, Laboratoire de l'Informatique du Parallélisme, Lyon, France, mai 2000.
L. Fousse, G. Hanrot, V. Lefèvre, P. Pélissier et P. Zimmermann. MPFR: a multiple-precision binary floating-point library with correct rounding . Rapport de recherche RR-5753, INRIA, novembre 2005.
L. Fousse, G. Hanrot, V. Lefèvre, P. Pélissier et P. Zimmermann. MPFR: a multiple-precision binary floating-point library with correct rounding . ACM Transactions on Mathematical Software , 33(2), juin 2007.
S. Graillat, V. Lefèvre et J.-M. Muller. On the maximum relative error when computing integer powers by iterated multiplications in floating-point arithmetic . Numerical Algorithms , février 2015.
J.-M. Muller, N. Brisebarre, F. de Dinechin, C.-P. Jeannerod, V. Lefèvre, G. Melquiond, N. Revol, D. Stehlé et S. Torres. Handbook of floating-point arithmetic . Birkhäuser Boston, 2010.
J.-M. Muller, N. Brunie, F. de Dinechin, C.-P. Jeannerod, M. Joldes, V. Lefèvre, G. Melquiond, N. Revol et S. Torres. Handbook of floating-point arithmetic . Birkhäuser Basel, 2018.
G. Hanrot, V. Lefèvre, J.-M. Muller, N. Revol et P. Zimmermann. Some notes for a proposal for elementary function implementation in floating-point arithmetic . juin 2001.
G. Hanrot, V. Lefèvre, D. Stehlé et P. Zimmermann. Worst cases of a periodic function for large arguments . Rapport de recherche RR-6106, INRIA, janvier 2007.
G. Hanrot, V. Lefèvre, D. Stehlé et P. Zimmermann. Worst cases of a periodic function for large arguments . In Peter Kornerup and Jean-Michel Muller, editors, Proceedings of the 18th IEEE Symposium on Computer Arithmetic , pages 133–140, Montpellier, France, juin 2007. IEEE Computer Society Press, Los Alamitos, CA.
P. Kornerup, Ch. Lauter, V. Lefèvre, N. Louvet et J.-M. Muller. Computing correctly rounded integer powers in floating-point arithmetic . Rapport de recherche RR2008-15, Laboratoire de l'Informatique du Parallélisme, Lyon, France, mai 2008.
P. Kornerup, Ch. Lauter, V. Lefèvre, N. Louvet et J.-M. Muller. Computing correctly rounded integer powers in floating-point arithmetic . ACM Transactions on Mathematical Software , 37(1), janvier 2010.
P. Kornerup, V. Lefèvre, N. Louvet et J.-M. Muller. On the computation of correctly-rounded sums . Rapport de recherche RR2008-35, Laboratoire de l'Informatique du Parallélisme, Lyon, France, octobre 2008.
P. Kornerup, V. Lefèvre, N. Louvet et J.-M. Muller. On the computation of correctly-rounded sums . In Proceedings of the 19th IEEE Symposium on Computer Arithmetic , pages 155–160, Portland, OR, USA, juin 2009.
P. Kornerup, V. Lefèvre, N. Louvet et J.-M. Muller. On the computation of correctly-rounded sums . Rapport de recherche RR-7262, INRIA, Lyon, France, avril 2010.
P. Kornerup, V. Lefèvre, N. Louvet et J.-M. Muller. On the computation of correctly rounded sums . IEEE Transactions on Computers , 61(3):289–298, mars 2012. Prix La Recherche 2013.
K. R. Ghazi, V. Lefèvre, P. Théveny et P. Zimmermann. Why and how to use arbitrary precision . Computing in Science and Engineering , 12(3):62–65, mai 2010.
P. Kornerup, V. Lefèvre et J.-M. Muller. Computing integer powers in floating-point arithmetic . Rapport de recherche RR2007-23, Laboratoire de l'Informatique du Parallélisme, Lyon, France, mai 2007.
P. Kornerup, V. Lefèvre et J.-M. Muller. Computing integer powers in floating-point arithmetic . In Proceedings of 41st Conference on signals, systems and computers , novembre 2007. IEEE Conference Publishing Services.
V. Lefèvre, P. Théveny, F. de Dinechin, C.-P. Jeannerod, C. Mouilleron, D. Pfannholzer et N. Revol. LEMA: towards a language for reliable arithmetic . Rapport de recherche RR-7258, INRIA, avril 2010.
V. Lefèvre, P. Théveny, F. de Dinechin, C.-P. Jeannerod, C. Mouilleron, D. Pfannholzer et N. Revol. LEMA: towards a language for reliable arithmetic . ACM Communications in Computer Algebra , 44(2), juin 2010. Emerging Trends Papers accepted for PLMMS 2010, L. Dixon and J. Davenport.
Ch. Lauter et V. Lefèvre. An efficient rounding boundary test for pow(x,y) in double precision . Rapport de recherche RR2007-36, Laboratoire de l'Informatique du Parallélisme, Lyon, France, septembre 2007.
Ch. Lauter et V. Lefèvre. An efficient rounding boundary test for pow(x,y) in double precision . IEEE Transactions on Computers , 58(2):197–207, février 2009.
V. Lefèvre. An algorithm that computes a lower bound on the distance between a segment and Z2 . Rapport de recherche RR1997-18, Laboratoire de l'Informatique du Parallélisme, Lyon, France, juin 1997.
V. Lefèvre. An algorithm that computes a lower bound on the distance between a segment and Z2 . In Developments in Reliable Computing , pages 203–212. Kluwer, Dordrecht, Netherlands, 1999.
V. Lefèvre. Multiplication by an integer constant . Rapport de recherche RR1999-06, Laboratoire de l'Informatique du Parallélisme, Lyon, France, janvier 1999.
V. Lefèvre. Moyens arithmétiques pour un calcul fiable . PhD thesis, École Normale Supérieure de Lyon, Lyon, France, janvier 2000.
V. Lefèvre. Multiplication by an integer constant . Rapport de recherche RR-4192, INRIA, mai 2001.
V. Lefèvre. Multiplication par une constante . Réseaux et Systèmes Répartis, Calculateurs Parallèles , 13(4–5):465–484, 2001.
V. Lefèvre. Multiplication by an integer constant: lower bounds on the code length . Rapport de recherche RR-4493, INRIA, juillet 2002.
V. Lefèvre. Multiplication by an integer constant: lower bounds on the code length . In Proceedings of the 5th Conference on Real Numbers and Computers , pages 131–146, École Normale Supérieure de Lyon, France, septembre 2003.
V. Lefèvre. The generic multiple-precision floating-point addition with exact rounding (as in the MPFR library) . In Proceedings of the 6th Conference on Real Numbers and Computers , pages 135–145, Dagstuhl, Germany, novembre 2004.
V. Lefèvre. New results on the distance between a segment and Z2. Application to the exact rounding . In Paolo Montuschi and Eric Schwarz, editors, Proceedings of the 17th IEEE Symposium on Computer Arithmetic , pages 68–75, Cape Cod, MA, USA, juin 2005. IEEE Computer Society Press, Los Alamitos, CA.
V. Lefèvre. The Euclidean division implemented with a floating-point division and a floor . Rapport de recherche RR-5604, INRIA, juin 2005.
V. Lefèvre. The Euclidean division implemented with a floating-point multiplication and a floor . Prépublication, juillet 2005.
V. Lefèvre. SIPE: small integer plus exponent . Rapport de recherche RR-7832, INRIA, Lyon, France, décembre 2011.
V. Lefèvre. Generating a minimal interval arithmetic based on GNU MPFR . In Isaac E. Elishakoff and Vladik Kreinovich and Wolfram Luther and Evgenija D. Popova, editors, Uncertainty modeling and analysis with intervals: Foundations, tools, applications (Dagstuhl Seminar 11371) , volume 1, page 43, Dagstuhl, Germany, décembre 2011. Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik. Abstract only.
V. Lefèvre. SIPE: small integer plus exponent . In Alberto Nannarelli and Peter-Michael Seidel and Ping Tak Peter Tang, editors, Proceedings of the 21st IEEE Symposium on Computer Arithmetic , pages 99–106, Austin, TX, USA, avril 2013.
V. Lefèvre. Sipe: a mini-library for very low precision computations with correct rounding . Prépublication, 2013.
V. Lefèvre. Correctly rounded arbitrary-precision floating-point summation . In Proceedings of the 23rd IEEE Symposium on Computer Arithmetic , Santa Clara, CA, USA, juillet 2016. IEEE.
V. Lefèvre. Correctly rounded arbitrary-precision floating-point summation . IEEE Transactions on Computers , 66(12):2111–2124, décembre 2017.
V. Lefèvre et J.-M. Muller. Table methods for the elementary functions . In F.T. Luk, editor, Proceedings of the SPIE — The International Society for Optical Engineering , volume 3807, pages 43–49, Denver, Colorado, 1999.
V. Lefèvre et J.-M. Muller. On-the-fly range reduction . Rapport de recherche RR2000-34, Laboratoire de l'Informatique du Parallélisme, Lyon, France, novembre 2000.
V. Lefèvre et J.-M. Muller. Worst cases for correct rounding of the elementary functions in double precision . Rapport de recherche RR2000-35, Laboratoire de l'Informatique du Parallélisme, Lyon, France, novembre 2000.
V. Lefèvre et J.-M. Muller. On-the-fly range reduction . In SPIE's International Symposium on Optical Science and Technology , San Diego, CA, août 2000.
V. Lefèvre et J.-M. Muller. L'erreur en arithmétique des ordinateurs . Le Temps des Savoirs , (2):147–157, octobre 2000.
V. Lefèvre et J.-M. Muller. Worst cases for correct rounding of the elementary functions in double precision . In Neil Burgess and Luigi Ciminiera, editors, Proceedings of the 15th IEEE Symposium on Computer Arithmetic , pages 111–118, Vail, Colorado, 2001. IEEE Computer Society Press, Los Alamitos, CA.
V. Lefèvre et J.-M. Muller. On-the-fly range reduction . Journal of VLSI Signal Processing , 33(1):31–35, janvier 2003.
V. Lefèvre et J.-M. Muller. Some notes on the possible under/overflow of the most common elementary functions . mai 2007.
V. Lefèvre et J.-M. Muller. Erreurs en arithmétique des ordinateurs . Images des mathématiques , juin 2009.
V. Lefèvre et J.-M. Muller. Accurate complex multiplication in floating-point arithmetic . 2019. Accepted for the 26th IEEE Symposium on Computer Arithmetic.
V. Lefèvre, J.-M. Muller et A. Tisserand. Towards correctly rounded transcendentals . In Proceedings of the 13th IEEE Symposium on Computer Arithmetic , Asilomar, USA, 1997. IEEE Computer Society Press, Los Alamitos, CA.
V. Lefèvre, J.-M. Muller et A. Tisserand. The table maker's dilemma . Rapport de recherche RR1998-12, Laboratoire de l'Informatique du Parallélisme, Lyon, France, février 1998.
V. Lefèvre, J.-M. Muller et A. Tisserand. Toward correctly rounded transcendentals . IEEE Transactions on Computers , 47(11):1235–1243, novembre 1998.
V. Lefèvre, D. Stehlé et P. Zimmermann. Worst cases for the exponential function in the IEEE 754r decimal64 format . In P. Hertling and C.M. Hoffmann and W. Luther and N. Revol, editors, Reliable Implementation of Real Number Algorithms: Theory and Practice , volume 5045, pages 114–126. Springer, 2008. This publication follows the Reliable Implementation of Real Number Algorithms: Theory and Practice international seminar, Dagstuhl, Germany, January 8-13, 2006.
V. Lefèvre et P. Zimmermann. Arithmétique flottante . Rapport de recherche RR-5105, INRIA, février 2004.
V. Lefèvre et P. Zimmermann. Optimized binary64 and binary128 arithmetic with GNU MPFR . In Proceedings of the 24th IEEE Symposium on Computer Arithmetic , London, United Kingdom, juillet 2017.
G. Hanrot, V. Lefèvre, P. Pélissier et P. Zimmermann. The MPFR library . 2018.
D. Stehlé, V. Lefèvre et P. Zimmermann. Worst cases and lattice reduction . Rapport de recherche RR-4586, INRIA, octobre 2002.
D. Stehlé, V. Lefèvre et P. Zimmermann. Worst cases and lattice reduction . In Jean-Claude Bajard and Michael Schulte, editors, Proceedings of the 16th IEEE Symposium on Computer Arithmetic , pages 142–147, Santiago de Compostela, Spain, 2003. IEEE Computer Society Press, Los Alamitos, CA.
D. Stehlé, V. Lefèvre et P. Zimmermann. Searching worst cases of a one-variable function using lattice reduction . IEEE Transactions on Computers , 54(3):340–346, mars 2005.
Lorsqu'un papier est disponible dans plusieurs formats, le format choisi pour le lien principal sera celui que votre navigateur demandera via les préférences déclarées dans l'en-tête HTTP Accept. Pensez donc à configurer votre navigateur suivant vos préférences, s'il le permet! Pour Mozilla , vous pouvez ouvrir about:config et modifier la valeur de network.http.accept.default.
Retour sur la liste de mes publications.
Page générée à partir du fichier research/publi.fr.xml le 2019-04-05 par xsltproc (using libxml 20904, libxslt 10132 and libexslt 820) .
Note: cette conversion à partir de fichiers DocBook est toujours expérimentale; merci de me signaler tout problème.

References: V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 

V. 

V. 
 V. 
 V. 

V. 

V. 

V. 

V. 

V. 

V. 

V. 

V. 

V. 

V. 

V. 

V. 

V. 

V. 

V. 

V. 

V. 

V. 

V. 

V. 

V. 

V. 

V. 

V. 

V. 

V. 

V. 

V. 

V. 

V. 

V. 

V. 

V. 

V. 
 V. 
 V. 
 V. 
 V.