Nombre de documents

39


Article dans une revue4 documents

Communication dans un congrès21 documents

  • Chemseddine Chohra, Philippe Langlois, David Parello. Parallel experiments with RARE-BLAS. SYNASC: Symbolic and Numeric Algorithms for Scientific Computing, Sep 2016, Timisoara, Romania. 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2016, 〈http://synasc.ro/2016/〉. 〈lirmm-01349698〉
  • Chemseddine Chohra, Philippe Langlois, David Parello. Reproducible, Accurately Rounded and Efficient BLAS. REPPAR: Reproducibility in Parallel Computing, Aug 2016, Grenoble, France. 3rd International Workshop on Reproducibility in Parallel Computing, 2016, 〈http://reppar.org/index.html〉. 〈lirmm-01280324v2〉
  • Philippe Langlois, Rafife Nheili, Christophe Denis. Recovering numerical reproducibility in hydrodynamic simulations. ARITH: Computer Arithmetic, Jul 2016, Silicon Valley, Santa Clara, CA, United States. 23th IEEE International Symposium on Computer Arithmetic, 2016, 〈http://arith23.gforge.inria.fr/〉. 〈lirmm-01274671〉
  • Rafife Nheili, Philippe Langlois, Christophe Denis. First improvements toward a reproducible Telemac-2D. XXIIIrd TELEMAC-MASCARET User Conference , Oct 2016, Paris, France. 〈http://www.opentelemac.org/index.php/user-conference26〉. 〈lirmm-01371152〉
  • Philippe Langlois, Rafife Nheili, Christophe Denis. Numerical Reproducibility: Feasibility Issues. Mohamad Badra; Azzedine Boukerche; Pascal Urien. NTMS: New Technologies, Mobility and Security, Jul 2015, Paris, France. 7th IFIP International Conference on New Technologies, Mobility and Security, 2015, 〈10.1109/NTMS.2015.7266509〉. 〈lirmm-01141852〉
  • Philippe Langlois, Chemseddine Chohra, Rafife Nheili. Cas d’études de calculs parallèles numériquement reproductibles. Retour d'expéRiences sur la Recherche Reproductible, Dec 2015, Orléans, France. 2015, 〈http://www.lestudium-ias.com/event/retour-experiences-recherche-reproductible-r4〉. 〈lirmm-01240737〉
  • Rafife Nheili, Philippe Langlois, Christophe Denis. Solutions to ensure the reproducibility of the digital simulation of the effect of waves on the coast. RAIM: Rencontres Arithmétiques de l’Informatique Mathématique, Apr 2015, Rennes, France. 7ème Rencontre Arithmétique de l'Informatique Mathématique, 2015. 〈lirmm-01179997〉
  • Rafife Nheili, Philippe Langlois, Christophe Denis. Numerical Reproducibility in open TELEMAC: A Case Study within the Tomawac Library. 2nd International Workshop on High Performance Computing Simulation in Energy/Transport Domains (HPCSET 2015), ISC High Performance 2015 Conference., Jul 2015, Frankfurt, Germany. 〈lirmm-01101715〉
  • Laurent Thévenoux, Philippe Langlois, Matthieu Martel. Automatic Source-to-Source Error Compensation of Floating-Point Programs. IEEE. Computational Science and Engineering (CSE), Oct 2015, Porto, Portugal. 2015 IEEE 18th International Conference on Computational Science and Engineering, pp.9--16, 2015, 〈http://paginas.fe.up.pt/~specs/events/cse2015/〉. 〈10.1109/CSE.2015.11〉. 〈hal-01158399〉
  • Chemseddine Chohra, Philippe Langlois, David Parello. Level 1 Parallel RTN-BLAS: Implementation and Efficiency Analysis. SCAN: Scientific Computing, Computer Arithmetic and Validated Numerics, Sep 2014, Wurzburg, Germany. 16th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, 2014, 〈http://www.scan2014.uni-wuerzburg.de/talks/〉. 〈lirmm-01095172〉
  • Chemseddine Chohra, Philippe Langlois, David Parello. Efficiency of Reproducible Level 1 BLAS. SCAN: Scientific Computing, Computer Arithmetic, and Validated Numerics, Sep 2014, Würzburg, Germany. 16th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics - Revised Selected Papers, LNCS (9553), pp.99-108, 2016, Scientific Computing, Computer Arithmetic, and Validated Numerics. 〈http://www.scan2014.uni-wuerzburg.de/〉. 〈10.1007/978-3-319-31769-4_8〉. 〈lirmm-01101723〉
  • Philippe Langlois, Bernard Goossens, David Parello. Towards a Reliable Performance Evaluation of Accurate Summation Algorithms. SCE: Computational Science and Engineering, Feb 2013, Boston, Ma, United States. SIAM Conference on Computational Science and Engineering, 2013, 〈https://www.siam.org/meetings/cse13/〉. 〈hal-01233879〉
  • David Parello, Bernard Goossens, Philippe Langlois. Améliorer l'analyse de la performance des algorithmes numériques. ComPAS: Conférence en Parallélisme, Architecture et Système, Jan 2013, Grenoble, France. 2013. 〈lirmm-00762550v2〉
  • David Parello, Philippe Langlois, Bernard Goossens. Sur la reproductibilité des mesures des performances d'algorithmes numériques avec PerPI. ComPAS: Conférence en Parallélisme, Architecture et Système, Jan 2013, Grenoble, France. 2013, 〈http://compas2013.inrialpes.fr〉. 〈lirmm-00762024〉
  • Philippe Langlois, Matthieu Martel, Laurent Thévenoux. Automatic Code Transformation to Optimize Accuracy and Speed in Floating-Point Arithmetic. SCAN: Scientific Computing, Computer Arithmetic and Validated Numerics, Sep 2012, Novosibirsk, Russia. 15th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, 2012. 〈hal-00821667〉
  • Bernard Goossens, Philippe Langlois, David Parello, Kathy Porada. Computing Time for Summation Algorithm: Less Hazard and More Scientific Research. Numerical Sofware: Design, Analysis and Verification, Jul 2012, Santander, Spain. 2012, Numerical Software: Design, Analysis and Verification IFIP WG2.5, Santander, July 4–6 2012. 〈http://personales.unican.es/segurajj/numsoft12/〉. 〈lirmm-00835508〉
  • Philippe Langlois, Matthieu Martel, Laurent Thévenoux. Trade-off Between Accuracy and Time for Automatically Generated Summation Algorithms. SCAN: Scientific Computing, Computer Arithmetic and Validated Numerics, Sep 2010, Lyon, France. 14th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, 2010. 〈hal-00821668〉
  • Bernard Goossens, Philippe Langlois, David Parello, Eric Petit. Performance Evaluation of Core Numerical Algorithms: A Tool to Measure Instruction Level Parallelism. Para: State of the Art in Scientific and Parallel Computing, Jun 2010, Reykjavík, Iceland. 2010, 〈http://cs.hi.is/para10〉. 〈hal-00477541v2〉
  • Philippe Langlois, Matthieu Martel, Laurent Thévenoux. Accuracy Versus Time: A Case Study with Summation Algorithms. ACM. PASCO'10 : Parallel Symbolic Computation 2010, Jul 2010, Grenoble, France. pp.121-130, 2010, 〈10.1145/1837210.1837229〉. 〈hal-00477511〉
  • Jean-Claude Bajard, Philippe Langlois, Dominique Michelucci, Géraldine Morin, Nathalie Revol. Floating-point geometry: toward guaranteed geometric computations with approximate arithmetics. Franklin T. Luk. Advanced Signal Processing Algorithms, Architectures, and Implementations XVIII, Aug 2008, San Diego, United States. 7074 (Proceedings of SPIE), 70740M (12 p.), 2008, Proceedings of SPIE. 〈10.1117/12.796597〉. 〈hal-00321291〉
  • Philippe Langlois, Nicolas Louvet. Faithful Polynomial Evaluation with Compensated Horner Algorithm. Peter Kornerup and Jean-Michel Muller. ARITH18: 18th IEEE International Symposium on Computer Arithmetic, Jun 2007, Montpellier, France. IEEE Computer Society, pp.141--149, 2007. 〈hal-00107222〉

Chapitre d'ouvrage1 document

  • Bernard Goossens, Philippe Langlois, David Parello, Eric Petit. PerPI: A Tool to Measure Instruction Level Parallelism. Applied Parallel and Scientific Computing, LNCS (7133), pp.270-281, 2012, 10th International Conference, PARA 2010, Reykjavík, Iceland, June 6-9, 2010, Revised Selected Papers, Part I, 978-3-642-36803-5. 〈10.1007/978-3-642-28151-8_27〉. 〈lirmm-01349703〉

Direction d'ouvrage, Proceedings, Dossier1 document

Autre publication1 document

  • Rafife Nheili, Philippe Langlois. Obtenir des simulations hydrodynamiques numériquement reproductibles. Hors-série recherche n°7, Université de Perpignan Via Domitia. 2016. 〈lirmm-01309785〉

Pré-publication, Document de travail2 documents

  • Laurent Thévenoux, Matthieu Martel, Philippe Langlois. Code Synthesis to Optimize Accuracy and Execution Time of Floating-Point Programs. 2015. 〈hal-01157509〉
  • Philippe Langlois, Nicolas Louvet. More Instruction Level Parallelism Explains the Actual Efficiency of Compensated Algorithms. 11 pages. 2007. 〈hal-00165020〉

Rapport9 documents

  • Chemseddine Chohra, Philippe Langlois, David Parello. Implementation and Efficiency of Reproducible Level 1 BLAS. [Research Report] DALI - UPVD/LIRMM, UCD. 2015. 〈lirmm-01179986〉
  • Philippe Langlois, David Parello, Bernard Goossens, Kathy Porada. Less Hazardous and More Scientific Research for Summation Algorithm Computing Times. [Research Report] RR-12021, Lirmm. 2012. 〈lirmm-00737617〉
  • Philippe Langlois, Nicolas Louvet. Compensated Horner algorithm in K times the working precision. [Research Report] 2008. 〈inria-00267077〉
  • Philippe Langlois, Nathalie Revol. Validating Polynomial Numerical Computations with Complementary Automatic Methods. [Research Report] RR-4205, INRIA. 2001. 〈inria-00072417〉
  • Philippe Langlois. An Automatic Correcting Method. RR-4204, INRIA. 2001. 〈inria-00072418〉
  • Philippe Langlois. A Revised Presentation of the CENA Method. RR-4025, INRIA. 2000. 〈inria-00072615〉
  • Philippe Langlois. From Rounding Error Estimation to Automatic Correction with Automatic Differentiation. RR-3967, INRIA. 2000. 〈inria-00072681〉
  • Philippe Langlois. Stochastic Localization of Instability and Deterministic Enhancement of Accuracy for Iterative Algorithms. RR-3966, INRIA. 2000. 〈inria-00072682〉
  • Philippe Langlois. Automatic Linear Correction of Rounding Errors. RR-3828, INRIA. 1999. 〈inria-00072830〉