PhL's publications

[105] Philippe Langlois. Numerical Accuracy Stuff: Tools. . . and Prerequisites. In CTAOptSim General Workshop, Montpellier, France, December 2018. [ bib | http | .pdf ]
[104] Luisa Arrabito, Konrad Bernlöhr, Johan Bregeon, Gernot Maier, Philippe Langlois, David Parello, and Guillaume Revy. Performance optimization of the air shower simulation program for the Cherenkov Telescope Array. In CHEP: Computing in High Energy and Nuclear Physics, Sofia, Bulgaria, July 2018. [ bib | http | .pdf ]
[103] Chemseddine Chohra, Philippe Langlois, and David Parello. Reproducible, accurately rounded and efficient blas. In Frédéric Desprez, Pierre-François Dutot, Christos Kaklamanis, Loris Marchal, Korbinian Molitorisz, Laura Ricci, Vittorio Scarano, Miguel A. Vega-Rodríguez, Ana Lucia Varbanescu, Sascha Hunold, Stephen L. Scott, Stefan Lankes, and Josef Weidendorfer, editors, Euro-Par 2016: Parallel Processing Workshops: Euro-Par 2016 International Workshops, Grenoble, France, August 24-26, 2016, Revised Selected Papers, volume 10104 of Lecture Notes of Computer Science, pages 609--620, Cham, May 2017. Springer International Publishing. [ bib | DOI | http ]
[102] Chemseddine Chohra, Philippe Langlois, Rafife Nheili, and David Parello. Reproducible parallel simulations in HPC. In SIAM Conference on Computational Science & Engineering (CSE17). Atlanta (Ma., USA), pages 1--2, March 2017. [ bib ]
[101] Laurent Thévenoux, Philippe Langlois, and Matthieu Martel. Automatic source-to-source error compensation of floating-point programs: code synthesis to optimize accuracy and time. Concurrency and Computation: Practice and Experience, 29(7):e3953--n/a, 2017. e3953 cpe.3953. [ bib | DOI | hal | http ]
[100] Rafife Nheili, Philippe Langlois, and Christophe Denis. First improvements toward a reproducible Telemac-2D. In XXIIIrd TELEMAC-MASCARET User Conference , pages 1--9, Paris, France, October 2016. [ bib | http | .pdf ]
[99] Chemseddine Chohra, Philippe Langlois, and David Parello. Reproducible, Accurately Rounded and Efficient BLAS. In Euro-PAR WS REPPAR: Reproducibility in Parallel Computing, pages 1--12, Grenoble, France, August 2016. [ bib | http | .pdf ]
[98] Philippe Langlois, Rafife Nheili, and Christophe Denis. Recovering numerical reproducibility in hydrodynamic simulations. In J. Hormigo P. Montuschi, M. Schulte, S. Oberman, and N. Revol, editors, 23rd IEEE International Symposium on Computer Arithmetic, number ISBN 978-1-5090-1615-0, pages 63--70. IEEE Computer Society, July 2016. (Silicon Valley, USA. July 10-13 2016). [ bib | DOI | hal | .pdf ]
[97] Philippe Langlois and Rafife Nheili. Reproducible Finite Element Simulation: a Case Study. Serie of Webminars on Reproducible Research (A. Legrand org.), 3rd issue, May 2016. [ bib | http ]
[96] Rafife Nheili and Philippe Langlois. Obtenir des simulations hydrodynamiques numériquement reproductibles, May 2016. Hors-série recherche 7, Université de Perpignan Via Domitia. [ bib | hal | http ]
[95] Chemseddine Chohra, Philippe Langlois, and David Parello. Efficiency of Reproducible Level 1 BLAS. In M. Nehmeier, J. Wolff von Gudenberg, and W. Tucker, editors, SCAN 2014, Revised Selected Papers, volume 9553 of Lecture Notes of Computer Science, pages 99--108. Springer, April 2016. [ bib | DOI | hal | .pdf ]
[94] Chemseddine Chohra, Philippe Langlois, and David Parello. Parallel experiments with RARE-BLAS. In James H. Davenport, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, and Daniela Zaharie, editors, 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2016, Timisoara, Romania, September 24-27, 2016, pages 135--138. IEEE Computer Society, 2016. [ bib | DOI | http ]
[93] Philippe Langlois, Chemseddine Chohra, and Rafife Nheili. Cas d'études de calculs parallèles numériquement reproductibles. In Workshop Retour d'expéRiences sur la Recherche Reproductible, page 1. Orléans, December 2015. [ bib ]
[92] Laurent Thévenoux, Philippe Langlois, and Matthieu Martel. Automatic Source-to-Source Error Compensation of Floating-Point Programs. In 18th IEEE International Conference on Computational Science and Engineering (CSE), pages 9--16, October 2015. |http://dx.doi.org/10.1109/CSE.2015.11|. [ bib | DOI | hal | .pdf ]
[91] Philippe Langlois, Rafife Nheili, and Christophe Denis. Numerical Reproducibility: Feasibility Issues. In NTMS'2015: 7th IFIP International Conference on New Technologies, Mobility and Security, pages 1--5, Paris, France, July 2015. IEEE, IEEE COMSOC & IFIP TC6.5 WG. [ bib | DOI | hal | .pdf ]
[90] Rafife Nheili, Philippe Langlois, and Christophe Denis. Numerical Reproducibility in open TELEMAC: A Case Study within the Tomawac Library. In 2nd International Workshop on High Performance Computing Simulation in Energy/Transport Domains (HPCSET 2015), ISC High Performance 2015 Conference, 12-16 July 2015, Frankfurt, Germany, pages 1--2, January 2015. [ bib | hal ]
[89] Chemseddine Chohra, Philippe Langlois, and David Parello. Level 1 Parallel RTN-BLAS: Implementation and Efficiency Analysis. In SCAN2014 16th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, pages 40--41, Würzburg, Germany, September 2014. [ bib | hal | .pdf ]
[88] Fabienne Jézéquel, Philippe Langlois, and Nathalie Revol. First steps towards more numerical reproducibility. ESAIM: Proceedings and Surveys, 45:229--238, September 2014. [ bib | DOI | http | .pdf ]
[87] Emmanuel Beffara, Jean-Daniel Boissonnat, Sylvie Boldo, Frédéric Chazal, Emeric Gioan, Matthieu Martel, Guillaume Melquiond, Christophe Paul, Jorge Ramirez Alfonsin, Lionel Vaux, and Mariette Yvinec. Une photographie en 2013. In Philippe Langlois, editor, Informatique Mathématique, number 1 in EJC- IM, pages 1--283. Presses Universitaires de Perpignan, April 2013. [ bib | hal ]
[86] Philippe Langlois, David Parello, and Bernard Goossens. Towards a reliable performance evaluation of accurate summation algorithms. In SIAM Conference on Computational Science & Engineering (CSE13). Boston (Ma., USA), pages 1--2, February 2013. [ bib ]
[85] David Parello, Philippe Langlois, and Bernard Goossens. Sur la reproductibilité des mesures des performances d'algorithmes numériques avec PerPI. In ComPAS'13, pages 1--13, Grenoble, France, January 2013. Article compagnon de [84]. [ bib | hal ]
[84] David Parello, Bernard Goossens, and Philippe Langlois. Améliorer l'analyse de la performance des algorithmes numériques. In ComPAS'2013, pages 1--10, Grenoble, France, January 2013. Article principal de [85]. [ bib | hal ]
[83] Philippe Langlois, David Parello, Bernard Goossens, and Kathy Porada. Less Hazard and More Scientific Research for Summation Algorithm Computing Times. Technical Report hal-lirmm-00737617, September 2012. [ bib | hal ]
[82] Philippe Langlois, Matthieu Martel, and Laurent Thévenoux. Automatic Code Transformation to Optimize Accuracy and Speed in Floating-Point Arithmetic. In 14th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, Novisibirsk, Russie, pages 1--2, September 2012. [ bib ]
[81] Philippe Langlois, David Parello, Bernard Goossens, and Kathy Porada. Computing Time for Summation Algorithm: Less Hazard and More Scientific Research. In Numerical Software: Design, Analysis and Verification. IFIP WG2.5. Santander, Spain, pages 1--2, July 2012. [ bib ]
[80] Bernard Goossens, Philippe Langlois, David Parello, and Eric Petit. PerPI: A tool to measure instruction level parallelism. In Kristján Jónasson, editor, Applied Parallel and Scientific Computing - 10th International Conference, PARA 2010, Reykjavík, Iceland, June 6-9, 2010, Revised Selected Papers, Part I, volume 7133 of Lecture Notes in Computer Science, pages 270--281. Springer, 2012. [ bib | DOI ]
[79] Bernard Goossens, Philippe Langlois, and David Parello. Validated performance of accurate algorithms. In SMAI'2011, Guidel, May 2011. [ bib ]
[78] Philippe Langlois, Matthieu Martel, and Laurent Thévenoux. Trade-off between accuracy and time for automaticaly generated algorithms. In 13th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, Lyon, France, pages 1--2, September 2010. [ bib ]
[77] Bernard Goossens, Philippe Langlois, David Parello, and Eric Petit. Validated performance analysis of accurate summation algorithm. In 13th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, Lyon, France, pages 1--2, September 2010. [ bib ]
[76] 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, volume EA-119, pages 1--4. University of Iceland, Reykjavik, June 2010. [ bib | .pdf ]
[75] Philippe Langlois, Matthieu Martel, and Laurent Thévenoux. Accuracy versus time: a case study with summation algorithms. In PASCO '10: Proceedings of the 4th International Workshop on Parallel and Symbolic Computation, pages 121--130, New York, NY, USA, 2010. ACM. [ bib | DOI ]
[74] 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, pages 1--2, November 2009. [ bib ]
[73] Philippe Langlois. Performance analysis of some accurate and validated algorithms. In International Workshop on Verified Numerical Computations and its Applications, Miyako, Japon, March 2009. (Invited speaker). [ bib ]
[72] Stef Graillat, Philippe Langlois, and Nicolas Louvet. Algorithms for accurate, validated and fast computations with polynomials. Japan Journal of Industrial and Applied Mathematics, 26(2,3):191--214, 2009. [ bib ]
[71] Philippe Langlois and Nicolas Louvet. Accurate solution of triangular linear system. In 14th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, El Paso (TX), USA, page 1, September 2008. [ bib ]
[70] Jean-Claude Bajard, Philippe Langlois, Dominique Michelucci, Géraldine Morin, and Nathalie Revol. Floating-point geometry: toward guaranteed geometric computations with approximate arithmetics. In F.T. Luk, editor, Proc. SPIE 7074, Advanced Signal Processing Algorithms, Architectures, and Implementations, volume XVII, page 1, August 2008. [ bib | DOI ]
[69] 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 1--11, July 2008. [ bib | hal ]
[68] Philippe Langlois. Compensated algorithms and validated bounds. Small Workshop on Interval Methodes, Montpellier, June 2008. [ bib ]
[67] Philippe Langlois and Nicolas Louvet. More instruction level parallelism explains the actual efficiency of compensated algorithms. Research Report hal-00165020, DALI Research Team, July 2007. [ bib | hal ]
[66] Philippe Langlois and Nicolas Louvet. Faithful Horner algorithm. In SIAM, editor, 6th International Congress on Industrial and Applied Mathematics, Zurich, Switzerland, pages 252--253. Society for Industrial and Applied Mathematics, July 2007. [ bib ]
[65] 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, 18th IEEE International Symposium on Computer Arithmetic, number ISBN 0-7695-2854-6, pages 141--149. IEEE Computer Society, June 2007. [ bib ]
[64] 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, number ISBN 9780769528212 076952821X, pages 1--11. Institute of Electrical and Electronics Engineers, 2007. [ bib ]
[63] Stef Graillat and Philippe Langlois. Real and complex pseudozero sets for polynomials with applications. Theor. Inform. Appl., 41(1):45--56, 2007. [ bib ]
[62] Philippe Langlois. Accurate algorithms in floating point arithmetic. In 12th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, Duisburg, Germany, September 2006. (Invited plenary speaker). [ bib ]
[61] 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, Duisburg, Germany, pages 1--2, September 2006. [ bib ]
[60] 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. [ bib ]
[59] 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. Extended version available on-line. [ bib ]
[58] 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. Association for Computing Machinery, April 2006. [ bib ]
[57] 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. Association for Computing Machinery, April 2006. [ bib ]
[56] 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. Extended version available on-line. [ bib ]
[55] 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 in Dagstuhl Seminar Proceedings. Internationales Begegnungs- und Forschungszentrum (IBFI), Schloss Dagstuhl, Germany, 2006. [ bib | http | .pdf ]
[54] 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. [ bib ]
[53] Stef Graillat, Philippe Langlois, and Nicolas Louvet. Compensated Horner scheme. Research Report 4, DALI Research Team, Université de Perpignan Via Domitia, France, July 2005. [ bib ]
[52] Philippe Langlois and Nicolas Louvet. Fast and extra precise substitution. In CSC05: Second International Workshop on Combinatorial Scientific Computing. Toulouse, France, June 2005. [ bib ]
[51] Stef Graillat and Philippe Langlois. A comparison of real and complex pseudozero sets for polynomials with real coefficients. In Christiane Frougny et al., editors, RNC-6, Real Numbers and Computer Conference, Schloss Dagstuhl, Germany, pages 103--112, November 2004. [ bib ]
[50] 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. [ bib ]
[49] 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. [ bib ]
[48] Philippe Langlois. Pour déclarer un rapport de recherche DALI. Research Report, September 2004. [ bib ]
[47] 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. (CD-ROM, papers/537.pdf). [ bib ]
[46] Philippe Langlois. More accuracy at fixed precision. J. Comp. Appl. Math., 162(1):57--77, January 2004. [ bib ]
[45] Stef Graillat and Philippe Langlois. More on pseudozeros for univariate polynomials. Preprint No32, Laboratoire MANO, January 2004. [ bib ]
[44] Stef Graillat and Philippe Langlois. Computation of stability radius for polynomials. Preprint No31, Laboratoire MANO, January 2004. [ bib ]
[43] Stef Graillat and Philippe Langlois. Testing polynomial primality with pseudozeros. In Jean-Claude Bajard et al., editors, RNC-5, Real Numbers and Computer Conference, Lyon, France, pages 121--137, September 2003. [ bib ]
[42] Marc Daumas and Philippe Langlois. Additive symmetries: the non-negative case. Theoret. Comput. Sci., 291(2):143--157, January 2003. [ bib | DOI ]
[41] Philippe Langlois. Improving the cena method with the IA'64, Itanium(TM) processor. In 10th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN2002). GAMM--IMACS, September 2002. [ bib ]
[40] Alain Barraud, Claude Brezinski, Jean-Marie Chesneaux, Philippe Langlois, Suzanne Lesecq, Nelson Maculan, Anass Nagih, Agnès Plateau, Gérard Plateau, and Josselin Visconti. Outils d'analyse numérique pour l'Automatique, chapter 1, pages 19--52. Traité IC2. Hermès Science, 2002. ISBN 2-7462-0421-5. [ bib ]
[39] Philippe Langlois. Une méthode de correction automatique. Calculateurs Parallèles, Réseaux, et Systèmes Répartis, 13(4/5):505--522, October 2001. [ bib ]
[38] Philippe Langlois. Automatic linear correction of rounding errors. BIT Numer. Maths., 41(3):515--539, September 2001. [ bib ]
[37] Philippe Langlois. Précision finie et méthodes automatiques. Habilitation à diriger des recherches, Université Claude Bernard Lyon 1, July 2001. (in French). [ bib ]
[36] Marc Daumas and Philippe Langlois. From x to z with finite precision addition. In International Conference Arithmetic and Linear Algebra, Rabat, Morocco, May 2001. [ bib ]
[35] Thierry Braconnier and Philippe Langlois. From rounding error estimation to automatic correction with automatic differentiation. In George Corliss, Christel Faure, Andreas Griewank, Laurent Hascoet, and Uwe Naumann, editors, Automatic Differentiation Algorithms: from Simulation to Optimization, Computer and Information Science, pages 351--359. Springer-Verlag, 2001. [ bib ]
[34] Philippe Langlois. Applications of the CENA method to automatic accuracy enhancement. In Proceedings of SCAN 2000 International Conference on Scientific Computing, Computer Arithmetic and Validated Numerics, Karlsruhe. GAMM--IMACS, September 2000. [ bib ]
[33] Philippe Langlois. New results for the CENA method. In The journal BIT 40th anniversary conference, Lund, August 2000. [ bib ]
[32] Philippe Langlois. Stochastic localization of instability and deterministic enhancement of accuracy for iterative algorithms. In Proceedings of the 16th IMACS World Congress, Lausanne, pages 3--10, August 2000. (Also available as INRIA Research Report RR-3966, July 2000). [ bib ]
[31] Philippe Langlois. Principles and application of the CENA method. In SEA'2000 Workshop, Toulouse, France, June 2000. (Invited Talk). [ bib ]
[30] Marc Daumas and Philippe Langlois. Choix d'un support architectural pour le produit scalaire. In Conférence SympA'6, Besançon, page 10, June 2000. [ bib ]
[29] Thierry Braconnier and Philippe Langlois. Parallelism in automatic differentiation for automatic correction of round-off errors. In Proceedings of the Third SIAM Automatic Differentiation Conference, Nice, June 2000. [ bib ]
[28] Philippe Langlois. Limitations of finite precision correction. In Jean-Claude Bajard et al., editors, RNC-4, Real Numbers and Computer Conference, Dagstuhl, April 2000. [ bib ]
[27] Thierry Braconnier, Philippe Langlois, and Jean-Christophe Rioual. The influence of orthogonality on the Arnoldi method. Linear Algebra and Appl., 309(1--3):307--323, 2000. [ bib ]
[26] Philippe Langlois. Automatic linear correction of rounding errors. Numerical Analysis Report 355, Manchester Centre for Computational Mathematics, Manchester, England, November 1999. (Also available as INRIA Research Report RR-3828). [ bib ]
[25] Philippe Langlois. Stabilization of Newton's iteration with automatic correction of rounding errors. In Journées Fiable, Paris, France, September 1999. [ bib ]
[24] Philippe Langlois. Automatic linear correction of rounding error. In 4th International Congress on Industrial and Applied Mathematics, Edimburg, Scotland. Society for Industrial and Applied Mathematics, July 1999. (French abstract in the conference proceedings). [ bib ]
[23] Philippe Langlois. Amélioration de la précision de l'évaluation et de la recherche des racines d'un polynôme mal conditionné au voisinage de ses singularités. In Actes du CANUM'99, Ax-les-Thermes. Université de Toulouse III, 1999. (French abstract in the conference proceedings). [ bib ]
[22] Philippe Langlois and Fabrice Nativel. When automatic linear correction of rounding errors is exact. C.R. Acad. Sci. Paris, Série 1, 328:543--548, 1999. Printer erratum in 328:829, 1999. [ bib ]
[21] Philippe Langlois and Jean-Christophe Rioual. Une méthode déterministe d'analyse des erreurs d'arrondi : implantation par différentiation automatique et analyse de résultats. Rapport de Recherche, IREMIA, Université de la Réunion, France, December 1998. [ bib ]
[20] Philippe Langlois. Sur des cas où la correction linéaire des erreurs d'arrondi est exacte. Rapport de Recherche, IREMIA, Université de la Réunion, France, December 1998. [ bib ]
[19] Philippe Langlois and Fabrice Nativel. Reduction and bounding of the rounding error in floating point arithmetic. C.R. Acad. Sci. Paris, Série 1, 327:781--786, 1998. [ bib ]
[18] Philippe Langlois and Fabrice Nativel. Une méthode de réduction et de majoration de l'erreur d'arrondi en arithmétique à virgule flottante. Rapport de Recherche, IREMIA, Université de la Réunion, France, December 1997. [ bib ]
[17] Philippe Langlois and Fabrice Nativel. Calcul précis de polynômes. In Actes du CANUM'97, Larnas. Université de Saint-Etienne, 1997. (French abstract in the conference proceedings). [ bib ]
[16] Philippe Langlois and Fabrice Nativel. Improving automatic reduction of rounding error. In Achim Sydow, editor, Proceedings of IMACS'97, 15th IMACS World Congress, Berlin, Deutschland, Volume 2 : Numerical Mathematics, pages 359--364. Wissenschaft and Technik Verlag, Berlin, 1997. [ bib ]
[15] Philippe Langlois. Two Ada tools for the numerical quality of software. In SciTools'96, Oslo, September 1996. [ bib ]
[14] Philippe Langlois and Fabrice Nativel. Automatic reduction of round-off errors in floating point arithmetic. In Jean-Claude Allouche, Jean-Claude Bajard, Laurent-Stéphane Didier, and Pierre Liardet, editors, Proceedings of Second Real Numbers and Computer Conference, pages 199--214, 1996. [ bib ]
[13] Philippe Langlois. Comparison of different deterministic methods of automatic round-off analysis. In 3rd International Congress on Industrial and Applied Mathematics, Hamburg, Germany. Society for Industrial and Applied Mathematics, July 1995. (Abstract in the conference proceedings). [ bib ]
[12] Philippe Langlois and Jean-Pierre Vilotte. Modélisation numérique des édifices volcaniques : deux voies à explorer. Rapport de Recherche, IREMIA, Université de la Réunion, France, March 1993. [ bib ]
[11] Philippe Langlois. Modélisation numérique des édifices volcaniques : état d'avancement du projet de recherche. Rapport de Recherche, IREMIA, Université de la Réunion, France, October 1992. [ bib ]
[10] Philippe Langlois, Yves Mayadoux, and Marie-Pierre Nardy. Projet ESPRIT DARTS : analyse du code (v2.1). Rapport de Recherche IMA/TIEM HI-27/7886, EDF/DER, 1992. (Accessibilité restreinte). [ bib ]
[9] Philippe Langlois. Contribution à l'analyse statique du code Ada DARTS (v1.0). Rapport de Recherche 92--01, IREMIA, Université de la Réunion, France, 1992. [ bib ]
[8] Philippe Langlois. Numerical quality of the elementary functions in Ada and Fortran. In 2nd International Congress on Industrial and Applied Mathematics, Washington, USA. Society for Industrial and Applied Mathematics, July 1991. (Abstract in the conference proceedings). [ bib ]
[7] Philippe Langlois. Ada et calcul scientifique : qualité numerique des fonctions élémentaires. Thèse de Doctorat, Université Paul Sabatier, Toulouse, December 1990. (in French). [ bib ]
[6] Philippe Langlois. Ada: Interfaces et intégration. AFCET--INTERFACES, 87:19--25, January 1990. [ bib ]
[5] Philippe Langlois. A numerical quality photography of the elementary functions in Ada and Fortran. In Proceedings of the Conférence Internationale Francophone Ada-France, Toulouse, pages 29--41. AFCET Ada-France, 1990. (in French). [ bib ]
[4] Philippe Langlois. Définitions et standardisation des fonctions élémentaires pour Ada. ADATECH, 9:56--66, November 1989. [ bib ]
[3] Philippe Langlois. Ada: du composant à l'application. ADATECH, 6:35--43, March 1989. Aussi dans AFCET--INTERFACES,(76)13--17,1989. [ bib ]
[2] Philippe Langlois. Règles de style en Ada. AFCET--INTERFACES, 84:25--28, 1989. [ bib ]
[1] Philippe Langlois. About the definition and the standardization of a generic elementary functions package in Ada. In Proceedings of the Conférence Internationale Francophone Ada-France, Paris. AFCET Ada-France, 1989. (in French). [ bib ]

This file was generated by bibtex2html 1.99.