Skip to Main content Skip to Navigation
New interface


...
hal-01134232v2  Conference papers
Hugues de Lassus Saint-GenièsDavid DefourGuillaume Revy. Range Reduction Based on Pythagorean Triples for Trigonometric Function Evaluation
ASAP: Application-specific Systems, Architectures and Processors, Jul 2015, Toronto, Canada. pp.74-81, ⟨10.1109/ASAP.2015.7245712⟩
...
hal-01382645v1  Conference papers
Roman S IakymchukStef S GraillatDavid DefourEnrique S Quintana-Ortí. Hierarchical Approach for Deriving a Reproducible LU factorization on GPUs
The Numerical Reproducibility at Exascale (NRE16) workshop held as part of the Supercomputing Conference (SC16), Nov 2016, Salt Lake City, UT, United States
hal-01539343v1  Conference papers
Roman IakymchukDavid DefourStef Graillat. Towards Fast, Accurate and Reproducible LU Factorization
SCAN 2016, 17th international symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, Sep 2016, Uppsala, Sweden. pp.59-60
...
hal-01164340v1  Conference papers
Nasrine DamoucheMatthieu MartelAlexandre Chapoutot. Intra-procedural Optimization of the Numerical Accuracy of Programs
FMICS: Formal Methods for Industrial Critical Systems, Jun 2015, Oslo, Norway. pp.31-46, ⟨10.1007/978-3-319-19458-5_3⟩
...
hal-01252007v1  Conference papers
Bernard GoossensDavid ParelloKatarzyna PoradaDjallal Rahmoune. Parallel Locality and Parallelization Quality
PMAM: Programming Models and Applications for Multicores and Manycores, Mar 2016, Barcelona, Spain. pp.59-68, ⟨10.1145/2883404.2883410⟩
hal-01233879v1  Conference papers
Philippe LangloisBernard GoossensDavid Parello. Towards a Reliable Performance Evaluation of Accurate Summation Algorithms
SCE: Computational Science and Engineering, SIAM, Feb 2013, Boston, Ma, United States
...
lirmm-00675934v1  Conference papers
Bernard GoossensAli El MoussaouiKe ChenDavid Parello. De quoi est fait une trace d'exécution ?
SympA: Symposium en Architecture de Machines, Apr 2011, Saint-Malo, France
...
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
...
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
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⟩
...
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-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
...
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
...
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
...
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
...
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-01140504v1  Conference papers
Manuel MarinDavid DefourFederico Milano. An efficient midpoint-radius implementation to handle symmetric fuzzy intervals
RAIM: Rencontres Arithmétiques de l’Informatique Mathématique, Apr 2015, Rennes, France
...
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
...
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
...
lirmm-00835508v1  Conference papers
Bernard GoossensPhilippe LangloisDavid ParelloKathy Porada. Computing Time for Summation Algorithm: Less Hazard and More Scientific Research
Numerical Sofware: Design, Analysis and Verification, Jul 2012, Santander, Spain
...
hal-00698621v1  Conference papers
Arnault IoualalenMatthieu Martel. Synthesis of Arithmetic Expressions for the Fixed-Point Arithmetic: The Sardana Approach
DASIP: Design and Architectures for Signal and Image Processing, Oct 2012, Karlsruhe, Germany. pp.1-8
...
lirmm-01925642v1  Conference papers
Andrea LesavoureyChristophe NegreThomas Plantard. Efficient Leak Resistant Modular Exponentiation in RNS
ARITH: Computer Arithmetic, Jul 2017, London, United Kingdom. pp.156-163, ⟨10.1109/ARITH.2017.39⟩
...
hal-00813002v1  Conference papers
Matthieu Martel. RangeLab: a Static-Analyzer to Bind the Accuracy of Finite-Precision Computations
SYNASC: Symbolic and Numeric Algorithms for Scientific Computing, Sep 2011, Timisoara, Romania. pp.118-122
hal-01140531v1  Conference papers
Roman IakymchukCaroline CollangeDavid DefourStef Graillat. Reproducibility and Accuracy for High-Performance Computing
RAIM: Rencontres Arithmétiques de l’Informatique Mathématique, Apr 2015, Rennes, France