Skip to Main content Skip to Navigation
New interface


...
hal-00698618v1  Conference papers
Arnault IoualalenMatthieu Martel. A New Abstract Domain for the Representation of Mathematically Equivalent Expressions
SAS: Static Analysis Symposium, Sep 2012, Deauville, France. pp.75-93
...
tel-01143824v1  Theses
Laurent Thévenoux. Synthèse de code avec compromis entre performance et précision en arithmétique flottante IEEE 754
Arithmétique des ordinateurs. Université de Perpignan Via Domitia, 2014. Français. ⟨NNT : ⟩
hal-00813666v1  Conference papers
Murat CenkChristophe NegreAnwar Hasan. Improved Three-Way Split Formulas for Binary Polynomial Multiplication
SAC: Selected Areas in Cryptography, Aug 2011, Toronto, Canada. pp.384-398, ⟨10.1007/978-3-642-28496-0_23⟩
hal-00813634v1  Journal articles
Nicolas MéloniChristophe NegreAnwar Hasan. High performance GHASH and impacts of a class of unconventional bases
Journal of Cryptographic Engineering, Springer, 2011, 1 (3), pp.201-218. ⟨10.1007/s13389-011-0013-z⟩
hal-00839945v1  Journal articles
Murat CenkChristophe NegreAnwar Hasan. Improved Three-Way Split Formulas for Binary Polynomial and Toeplitz Matrix Vector Products
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2013, 62 (7), pp.1345-1361
...
lirmm-00762550v2  Conference papers
David ParelloBernard GoossensPhilippe 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
...
lirmm-00872562v1  Journal articles
Fabienne JézéquelPhilippe LangloisNathalie Revol. First steps towards more numerical reproducibility
ESAIM: Proceedings and Surveys, EDP Sciences, 2014, ESAIM: Proceedings and Surveys, 45, pp.229-238. ⟨10.1051/proc/201445023⟩
...
hal-00698619v1  Conference papers
Arnault IoualalenMatthieu Martel. Sardana: an Automatic Tool for Numerical Accuracy Optimization
SCAN: Scientific Computing, Computer Arithmetic and Validated Numerics, Sep 2012, Novosibirsk, Russia. pp.1-4
hal-00936657v1  Journal articles
Michael FrançoisThomas GrosgesDominique BarchiesiRobert Erra. Pseudo-random number generator based on mixing of three chaotic maps
Communications in Nonlinear Science and Numerical Simulation, Elsevier, 2014, 19 (4), pp.887--895. ⟨10.1016/j.cnsns.2013.08.032⟩
lirmm-00268466v1  Conference papers
Jean-Claude BajardLaurent ImbertChristophe Negre. Modular Multiplication in GF (p^k) Using Lagrange Representation
IndoCryp: International Cryptology Conference in India, 2002, Hyderabad, India. pp.275-284
...
lirmm-01121960v1  Conference papers
Jean-Marc Robert. Algorithmes Parallèles de Multiplication Scalaire Optimisée sur Courbes Elliptiques Binaires
C2: Journées Codage et Cryptographie, GT-C2, Mar 2014, Les Sept-Laux, France
...
lirmm-02091186v1  Conference papers
Chemseddine ChohraPhilippe LangloisRafife NheilliDavid Parello. Reproducible Parallel Simulations in HPC
CSE: Computational Science and Engineering, Feb 2017, Altanta, Georgia, United States
...
lirmm-01349703v1  Book sections
Bernard GoossensPhilippe LangloisDavid ParelloEric 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-01277374v1  Conference poster
Mohamed Amine Najahi. Synthesis of certified programs in fixed-point arithmetic, and its application to linear algebra basic blocks
RAIM: Rencontres Arithmétiques de l’Informatique Mathématique, Apr 2015, Rennes, France. 7ème Rencontres Arithmétiques de l’Informatique Mathématique, 2015
...
hal-01236919v2  Journal articles
Laurent ThévenouxPhilippe LangloisMatthieu Martel. Automatic source-to-source error compensation of floating-point programs: code synthesis to optimize accuracy and time
Concurrency and Computation: Practice and Experience, 2017, Concurrency and Computation: Practice and Experience, 29 (7), pp.e3953. ⟨10.1002/cpe.3953⟩
ensl-00559236v1  Journal articles
Claude-Pierre JeannerodHervé KnochelChristophe MonatGuillaume Revy. Computing floating-point square roots via bivariate polynomial evaluation
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2011, 60 (2), pp.214-227. ⟨10.1109/TC.2010.152⟩
...
hal-03506798v1  Journal articles
Ilia IliashenkoVincent Zucca. Faster homomorphic comparison operations for BGV and BFV
Proceedings on Privacy Enhancing Technologies, 2021, 2021 (3), pp.246-264. ⟨10.2478/popets-2021-0046⟩
...
hal-00827588v1  Conference papers
Eric PetitDavid Defour. GPUburn: A System to Test and Mitigate GPU Hardware Failures
Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS), Jul 2013, Samos, Greece. pp.263-270, ⟨10.1109/SAMOS.2013.6621133⟩
hal-00822487v1  Conference poster
Daniel MénardRomuald RocherOlivier SentieysNicolas SimonLaurent-Stéphane Didier et al.  Design of Fixed-Point Embedded Systems (defis) French ANR Project
DASIP: Design and Architectures for Signal and Image Processing, Oct 2012, Karlsruhe, Germany. pp.365-366, 2012
...
hal-00813621v1  Journal articles
Anwar HasanChristophe Negre. Low Space Complexity Multiplication over Binary Fields with Dickson Polynomial Representation
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2011, 60 (4), pp.602-607
...
lirmm-01574583v1  Conference papers
Djallal RahmouneDavid ParelloBernard Goossens. Exécution en parallèle d'un programme
ComPAS: Conférence en Parallélisme, Architecture et Système, Apr 2014, Neuchâtel, France
...
hal-01215627v1  Conference papers
Caroline CollangeDavid DefourStef GraillatRoman Iakymchuk. Reproducible and Accurate Matrix Multiplication for High-Performance Computing
SCAN: Scientific Computing, Computer Arithmetic and Validated Numerics, Sep 2014, Wuerzburg, Germany. pp.42-43
...
lirmm-01276677v1  Conference papers
Guillaume Revy. Automated design of floating-point logarithm functions on integer processors
23rd IEEE Symposium on Computer Arithmetic, Jul 2016, Silicon Valley, Santa Clara, CA, United States. pp.172-180, ⟨10.1109/ARITH.2016.28⟩
...
lirmm-01212806v1  Conference papers
Matthieu MartelMohamed Amine NajahiGuillaume Revy. Toward the synthesis of fixed-point code for matrix inversion based on Cholesky decomposition
DASIP: Design and Architectures for Signal and Image Processing, Oct 2014, Madrid, Spain. pp.1-8, ⟨10.1109/DASIP.2014.7115609⟩
...
hal-01202396v3  Conference papers
Roman IakymchukCaroline CollangeDavid DefourStef Graillat. ExBLAS: Reproducible and Accurate BLAS Library
NRE: Numerical Reproducibility at Exascale, Nov 2015, Austin, TX, United States