logodali DALI

Publications and
Research Reports


BACK TO INDEX

Publications of Philippe Langlois

Articles in journal or book chapters

  1. Stef Graillat, Philippe Langlois, and Nicolas Louvet. Algorithms for accurate, validated and fast computations with polynomials. Japan Journal of Industrial and Applied Mathematics, Special issue on Verified Numerical Computation. 26(2,3):191-214, 2009. [bibtex-entry]


  2. Stef Graillat and Philippe Langlois. Real and complex pseudozero sets for polynomials with applications. Theor. Inform. Appl., 41(1):45-56, 2007. [bibtex-entry]


  3. Philippe Langlois. More accuracy at fixed precision. J. Comp. Appl. Math., 162(1):57-77, January 2004. [bibtex-entry]


  4. Marc Daumas and Philippe Langlois. Additive symmetries: the non-negative case. Theoret. Comput. Sci., 291(2):143-157, January 2003. Note: Http://dx.doi.org/10.1016/S0304-3975(02)00223-2. [bibtex-entry]


Conference articles

  1. Bernard Goossens, Philippe Langlois, David Parello, and Eric Petit. Performance Evaluation of Core Numerical Algorithms: A Tool to Measure Instruction Level Parallelism. In Para 2010: State of the Art in Scientific and Parallel Computing, June 2010. University of Iceland. [bibtex-entry]


  2. Bernard Goossens, Philippe Langlois, and David Parello. Processor simulation: a new way for the performance analysis of numerical algorithms. In B. M. Brown, E. Kaltofen, S. Oishi, and S. M. Rump, editors, Computer-assisted Proofs -- tools, methods and applications, Dagstuhl Seminar 9471, November 2009. [bibtex-entry]


  3. Philippe Langlois. Performance analysis of some accurate and validated algorithms. In International Workshop on Verified Numerical Computations and its Applications, Miyako, Japon, March 2009. Note: (Invited speaker). [bibtex-entry]


  4. Jean-Claude Bajard, Philippe Langlois, Dominique Michelucci, Géraldine Morin, and Nathalie Revol. Floating-point geometry: toward guaranteed geometric computations with approximate arithmetics. In Proc. SPIE, volume 7074, pages 1-10, August 2008. [bibtex-entry]


  5. Philippe Langlois and Nicolas Louvet. Accurate solution of triangular linear system. In 13th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, El Paso (TX), USA, September 2008. [bibtex-entry]


  6. Philippe Langlois and Nicolas Louvet. Compensated Horner algorithm in K times the working precision. In J.D. Brugera and M. Daumas, editors, RNC-8, Real Numbers and Computer Conference, Santiago de Compostela, Spain, pages 157-166, July 2008. [bibtex-entry]


  7. Philippe Langlois and Nicolas Louvet. Faithful Horner Algorithm. In SIAM, editor, 6th International Congress on Industrial and Applied Mathematics, Zurich, Switzerland, pages 252, July 2007. Society for Industrial and Applied Mathematics. [bibtex-entry]


  8. Philippe Langlois and Nicolas Louvet. How to Ensure a Faithful Polynomial Evaluation with the Compensated Horner Algorithm?. In P. Kornerup and J.-M. Muller, editors, ARITH'18, 18th IEEE International Symposium on Computer Arithmetic, number ISBN 0-7695-2854-6, pages 141-149, June 2007. IEEE Computer Society. [bibtex-entry]


  9. Philippe Langlois and Nicolas Louvet. Operator Dependant Compensated Algorithms. In Proceedings of the 12th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, Duisburg, Germany, 2007. IEEE Conference Proceedings. Note: 11 pages. [bibtex-entry]


  10. Stef Graillat and Philippe Langlois. Pseudozero Set of Interval Polynomials. In Proceedings of the 21st Annual ACM Symposium on Applied Computing, volume 2, pages 1655-1659, April 2006. Association for Computing Machinery. [bibtex-entry]


  11. Stef Graillat, Philippe Langlois, and Nicolas Louvet. Accurate dot products with FMA. In G. Hanrot and P. Zimmermann, editors, RNC-7, Real Numbers and Computer Conference, Nancy, France, pages 141-142, July 2006. [bibtex-entry]


  12. Stef Graillat, Philippe Langlois, and Nicolas Louvet. Choosing a twice more accurate dot product implementation. In International Conference of Numerical Analysis and Applied Mathematics 2006, Hersonnisos, Crete, Greece, pages 498-499, September 2006. [bibtex-entry]


  13. Stef Graillat, Philippe Langlois, and Nicolas Louvet. Fused Multiply and Add Implementations of the Compensated Horner scheme. In P. Hertling, C.M. Hoffmann, W. Luther, and N. Revol, editors, Reliable Implementation of Real Number Algorithms: Theory and Practice, Dagstuhl Seminar 6021, January 2006. [bibtex-entry]


  14. Stef Graillat, Philippe Langlois, and Nicolas Louvet. Improving the compensated Horner scheme with a Fused Multiply and Add. In Proceedings of the 21st Annual ACM Symposium on Applied Computing, volume 2, pages 1323-1327, April 2006. Association for Computing Machinery. [bibtex-entry]


  15. Philippe Langlois. Compensated Algorithms in Floating Point Arithmetic. In 12th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, Duisburg, Germany, September 2006. Note: (Invited plenary speaker). [bibtex-entry]


  16. Philippe Langlois, Stef Graillat, and Nicolas Louvet. Compensated Horner Scheme. In Bruno Buchberger, Shin'ichi Oishi, Michael Plum, and Sigfried M. Rump, editors, Algebraic and Numerical Algorithms and Computer-assisted Proofs, number 05391 of Dagstuhl Seminar Proceedings, pages 1-29, 2006. Internationales Begegnungs- und Forschungszentrum (IBFI), Schloss Dagstuhl, Germany. [WWW] [bibtex-entry]


  17. Philippe Langlois and Nicolas Louvet. Accurate Polynomial Evaluation in Floating Point Arithmetic. In 12th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, SCAN'06, Duisburg, Germany, September 2006. [bibtex-entry]


  18. Philippe Langlois and Nicolas Louvet. Fast and Extra Precise Substitution. In CSC05: Second International Workshop on Combinatorial Scientific Computing, June 2005. Toulouse, France. [bibtex-entry]


  19. Philippe Langlois and Nicolas Louvet. Solving Triangular Systems More Accurately and Efficiently. In Proceedings of the 17th IMACS World Congress, Paris, volume CD-ROM, pages 1-10, July 2005. [bibtex-entry]


  20. Stef Graillat and Philippe Langlois. A comparison of real and complex pseudozero sets for polynomials with real coefficients. In Christiane Frougny and others, editors, RNC-6, Real Numbers and Computer Conference, Schloss Dagstuhl, Germany, pages 103-112, November 2004. [bibtex-entry]


  21. Stef Graillat and Philippe Langlois. Approximate Polynomial Problems and Associated Tools. In 11th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, Fukuoka, Japan, October 2004. [bibtex-entry]


  22. Stef Graillat and Philippe Langlois. Pseudozero set decides on polynomial stability. In Proceedings of the Symposium on Mathematical Theory of Networks and Systems, Leuven, Belgium, pages 1-11, July 2004. Note: (CD-ROM, papers/537.pdf). [bibtex-entry]


  23. Philippe Langlois. Automatic Enhancement of Floating Point Accuracy. In 11th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, Fukuoka, Japan, October 2004. [bibtex-entry]


  24. Stef Graillat and Philippe Langlois. Testing polynomial primality with pseudozeros. In Jean-Claude Bajard and others, editors, RNC-5, Real Numbers and Computer Conference, Lyon, France, pages 121-137, September 2003. [bibtex-entry]


  25. Stef Graillat and Philippe Langlois. Testing polynomial primality with pseudozeros. In Jean-Claude Bajard and others, editors, RNC-5, Real Numbers and Computer Conference, Lyon, France, pages 121-137, September 2003. Note: (Slides available at URL = rlhttp://webdali.univ-perp.fr/ langlois). [bibtex-entry]


Internal reports

  1. Bernard Goossens, Philippe Langlois, David Parello, and Eric Petit. Performance Evaluation of Core Numerical Algorithms: A Tool to Measure Instruction Level Parallelism. Technical report, DALI Research Team, Université de Perpignan Via Domitia, France, April 2010. Note: (Submitted). [WWW] [bibtex-entry]


  2. Philippe Langlois, Matthieu Martel, and Laurent Thévenoux. Accuracy versus Time: A Case Study with Summation Algorithms. Technical report, DALI Research Team, Université de Perpignan Via Domitia, France, April 2010. Note: (Submitted). [WWW] [bibtex-entry]


  3. Philippe Langlois and Nicolas Louvet. More Instruction Level Parallelism Explains the Actual Efficiency of Compensated Algorithms. Technical Report hal-00165020, DALI Research Team, HAL-CCSD, July 2007. Note: (IEEE Trans. Computers, in revision). [WWW] [bibtex-entry]


  4. Stef Graillat, Philippe Langlois, and Nicolas Louvet. Compensated Horner Scheme. Research Report 4, DALI Research Team, Université de Perpignan, France, July 2005. [bibtex-entry]


  5. Stef Graillat and Philippe Langlois. Computation of stability radius for polynomials. Preprint No31, Laboratoire MANO, January 2004. [bibtex-entry]


  6. Stef Graillat and Philippe Langlois. More on pseudozeros for univariate polynomials. Preprint No32, Laboratoire MANO, January 2004. Note: (Submitted). [bibtex-entry]


Miscellaneous

  1. Philippe Langlois. Compensated Algorithms and Validated Bounds. SWIM 08, Montpellier, June 2008. [bibtex-entry]


  2. Philippe Langlois. Pour déclarer un rapport de recherche DALI. Research Report, September 2004. [bibtex-entry]



BACK TO INDEX




Disclaimer:

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Les documents contenus dans ces répertoires sont rendus disponibles par les auteurs qui y ont contribué en vue d'assurer la diffusion à temps de travaux savants et techniques sur une base non-commerciale. Les droits de copie et autres droits sont gardés par les auteurs et par les détenteurs du copyright, en dépit du fait qu'ils présentent ici leurs travaux sous forme électronique. Les personnes copiant ces informations doivent adhérer aux termes et contraintes couverts par le copyright de chaque auteur. Ces travaux ne peuvent pas être rendus disponibles ailleurs sans la permission explicite du détenteur du copyright.




Last modified: Thu May 13 12:44:47 2010
Author: langlois.


This document was translated from BibTEX by bibtex2html