Thèses et HDR

Thèses


  • Elementary functions: towards automatically generated, efficient, and vectorizable implementations, Hugues DE LASSUS SAINT-GENIES, Université de Perpignan Via Domitia, 17 mai 2018
  • How to improve the numerical reproducibility of hydrodynamics simulations: analysis and solutions for one open-source HPC software, Rafife NHEILI, Université de Perpignan Via Domitia, 7 décembre 2016
  • Tools for the Design of Reliable and Efficient Function Evaluation Libraries. Serge TORRES, Université de Lyon - ENS de Lyon, 22 septembre 2016
  • Synthesis of certified programs in fixed-point arithmetic, and its application to linear algebra basic blocks, Mohamed Amine NAJAHI, Université de Perpignan Via Domitia, 10 décembre 2014
  • Theoretical Study and Hardware Implementation of Arithmetical Units in Residue Number System for Elliptic Curve Cryptography, Karim BIGOU, Université Rennes 1 - IRISA, 3 novembre 2014
  • La synthèse de code avec compromis entre performance et précision en arithmétique flottante IEEE-754. Laurent THEVENOUX, Université de Perpignan Via Domitia, 4 juillet 2014
  • La validation numérique des codes de calcul industriels. Séthy A. MONTAN, Université Pierre et Marie Curie, 25 octobre 2013
  • Conception et implantation d'algorithmes efficaces pour la résolution du dilemme du fabricant de tables sur architectures parallèles. Mourad GOUICEM, Université Pierre et Marie Curie, 14 octobre 2013
  • Unités arithmétiques reconfigurables pour cryptoprocesseurs robustes aux attaques, Thomas CHABRIER, Université Rennes 1 - IRISA, 18 juin 2013
  • Opérateurs arithmétiques sur GF(2^m) : étude de compromis performances - consommation - sécurité, Danuta PAMULA, Université Rennes 1 - IRISA - Université Gliwice Pologne, 17 décembre 2012
  • Custom floating-point arithmetic for integer processors : algorithms, implementation, and selection. Jingyan JOURDAN-LU, Université de Lyon - ENS de Lyon, 15 novembre 2012

HDR


  • Multiplication in finite fields and elliptic curves. Christophe Nègre, Université de Montpellier, 23 juin 2016
  • Contributions au calcul sur GPU: considérations arithmétiques et architecturales. David Defour, Université de Perpignan Via Domitia, 31 octobre 2014
  • Deductive Formal Verification: How To Make Your Floating-Point Programs Behave. Sylvie Boldo, Université Paris-Sud, 6 octobre 2014
  • Amélioration de la performance et de la qualité numérique du logiciel de calcul industriel. Christophe DENIS, Université de Perpignan Via Domitia, 4 juillet 2014
  • Contribution à l'amélioration de la précision et à la validation des algorithmes numériques. Stef GRAILLAT, Université Pierre et Marie Curie, 2 décembre 2013
  • Static Analysis of Numerical Programs and Systems. Sylvie PUTOT, Université Paris Sud, 13 décembre 2012

GT Arith

GDR IM

Les RAIM

Blix theme adapted by David Gilbert, powered by PmWiki