Search - Archive ouverte HAL Access content directly

Filter your results

167 Results
Structure: Internal structure identifier : 393062
Image document

Code Synthesis to Optimize Accuracy and Execution Time of Floating-Point Programs

Laurent Thévenoux , Matthieu Martel , Philippe Langlois
2015
Preprints, Working Papers, ... hal-01157509v1
Image document

How to square floats accurately and efficiently on the ST231 integer processor

Claude-Pierre Jeannerod , Jingyan Jourdan-Lu , Christophe Monat , Guillaume Revy
2010
Preprints, Working Papers, ... ensl-00532829v1
Image document

Synthesis of fixed-point programs based on instruction selection, the case of polynomial evaluation

Mohamed Amine Najahi
RAIM: Rencontres Arithmétiques de l’Informatique Mathématique, Jun 2012, Dijon, France. 5ièmes Rencontres Arithmétique de l’Informatique Mathématique, 2012
Poster communications lirmm-01277361v1
Image document

Contrer l'attaque Simple Power Analysis efficacement dans les applications de la cryptographie asymétrique, algorithmes et implantations

Jean-Marc Robert
Cryptographie et sécurité [cs.CR]. Université de Perpignan, 2015. Français. ⟨NNT : 2015PERP0039⟩
Theses tel-01269753v1
Image document

Obtenir des simulations hydrodynamiques numériquement reproductibles

Rafife Nheili , Philippe Langlois
2016
Other publications lirmm-01309785v1
Image document

Improved Three-Way Split Approach for Binary Polynomial Multiplication Based on Optimized Reconstruction

Christophe Negre
[Research Report] RR-1300x, Lirmm. 2013
Reports hal-00788646v1
Image document

ExBLAS: Reproducible and Accurate BLAS Library

Roman Iakymchuk , Stef Graillat , Caroline Collange , David Defour
RAIM: Rencontres Arithmétiques de l’Informatique Mathématique, Apr 2015, Rennes, France. , 7ème Rencontre Arithmétique de l'Informatique Mathématique, 2015
Poster communications hal-01140280v1
Image document

Range Reduction Based on Pythagorean Triples for Trigonometric Function Evaluation

Hugues de Lassus Saint-Geniès , David Defour , Guillaume Revy
ASAP: Application-specific Systems, Architectures and Processors, Jul 2015, Toronto, Canada. pp.74-81, ⟨10.1109/ASAP.2015.7245712⟩
Conference papers hal-01134232v2
Image document

Linear circuit analysis based on parallel asynchronous fixed-point method

Manuel Marin , David Defour , Federico Milano
2015
Preprints, Working Papers, ... hal-01142496v1
Image document

Efficient Modular Exponentiation Based on Multiple Multiplications by a Common Operand

Christophe Negre , Thomas Plantard , Jean-Marc Robert
ARITH: Computer Arithmetic, INRIA, Jun 2015, Lyon, France. pp.144-151, ⟨10.1109/ARITH.2015.24⟩
Conference papers lirmm-01142327v1
Image document

Parallel Locality and Parallelization Quality

Bernard Goossens , David Parello , Katarzyna Porada , Djallal Rahmoune
PMAM: Programming Models and Applications for Multicores and Manycores, Mar 2016, Barcelona, Spain. pp.59-68, ⟨10.1145/2883404.2883410⟩
Conference papers hal-01252007v1
Image document

Efficient Regular Modular Exponentiation Using Multiplicative Half-Size Splitting

Christophe Negre , Thomas Plantard
Journal of Cryptographic Engineering, 2017, 7 (3), pp.245-253. ⟨10.1007/s13389-016-0134-5⟩
Journal articles hal-01185249v1
Image document

De quoi est faite une trace d'exécution ?

Bernard Goossens , Ali El Moussaoui , Ke Chen , David Parello
[Research Report] RR-13009, Lirmm. 2012
Reports lirmm-00816103v1
Image document

Accélération de la simulation modulaire

Mourad Bouache , David Parello , Bernard Goossens
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2011, 30 (9/2011), pp.1115-1134. ⟨10.3166/tsi.30.1115-1134⟩
Journal articles lirmm-00675917v1
Image document

De quoi est fait une trace d'exécution ?

Bernard Goossens , Ali El Moussaoui , Ke Chen , David Parello
SympA: Symposium en Architecture de Machines, Apr 2011, Saint-Malo, France
Conference papers lirmm-00675934v1
Image document

FuzzyGPU: a fuzzy arithmetic library for GPU

David Defour , Manuel Marin
[Research Report] LIRMM. 2013
Reports hal-00856617v2
Image document

Sequential Multiplier with Sub-linear Gate Complexity

Anwar Hasan , Christophe Negre
[Research Report] 2012, pp.12
Reports hal-00712085v1
Image document

Intra-procedural Optimization of the Numerical Accuracy of Programs

Nasrine Damouche , Matthieu Martel , Alexandre Chapoutot
FMICS: Formal Methods for Industrial Critical Systems, Jun 2015, Oslo, Norway. pp.31-46, ⟨10.1007/978-3-319-19458-5_3⟩
Conference papers hal-01164340v1

Block Recombination Approach for Subquadratic Space Complexity Binary Field Multiplication based on Toeplitz Matrix-Vector Product

Anwar Hasan , Nicolas Méloni , Ashkan Hosseinzadeh Namin , Christophe Negre
IEEE Transactions on Computers, 2012, 61 (2), pp.151-163. ⟨10.1109/TC.2010.276⟩
Journal articles hal-00813698v1

Towards a Reliable Performance Evaluation of Accurate Summation Algorithms

Philippe Langlois , Bernard Goossens , David Parello
SCE: Computational Science and Engineering, SIAM, Feb 2013, Boston, Ma, United States
Conference papers hal-01233879v1
Image document

Hierarchical Approach for Deriving a Reproducible LU factorization on GPUs

Roman S Iakymchuk , Stef S Graillat , David Defour , Enrique S Quintana-Ortí
The Numerical Reproducibility at Exascale (NRE16) workshop held as part of the Supercomputing Conference (SC16), Nov 2016, Salt Lake City, UT, United States
Conference papers hal-01382645v1

Towards Fast, Accurate and Reproducible LU Factorization

Roman Iakymchuk , David Defour , Stef Graillat
SCAN 2016, 17th international symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, Sep 2016, Uppsala, Sweden. pp.59-60
Conference papers hal-01539343v1
Image document

Efficient Fixed Base Exponentiation and Scalar Multiplication based on a Multiplicative Splitting Exponent Recoding

Jean-Marc Robert , Christophe Negre , Thomas Plantard
Journal of Cryptographic Engineering, 2019, 9 (2), pp.115-136. ⟨10.1007/s13389-018-0196-7⟩
Journal articles lirmm-01926767v1
Image document

Efficient Leak Resistant Modular Exponentiation in RNS

Andrea Lesavourey , Christophe Negre , Thomas Plantard
ARITH: Computer Arithmetic, Jul 2017, London, United Kingdom. pp.156-163, ⟨10.1109/ARITH.2017.39⟩
Conference papers lirmm-01925642v1

A Pseudo-Random Bit Generator Based on Three Chaotic Logistic Maps and IEEE 754-2008 Floating-Point Arithmetic

Michael François , David Defour , Pascal Berthomé
Theory and Applications of Models of Computation, Apr 2014, Chennai, India. pp.229-247, ⟨10.1007/978-3-319-06089-7_16⟩
Conference papers hal-00985357v1
Image document

Computing Time for Summation Algorithm: Less Hazard and More Scientific Research

Bernard Goossens , Philippe Langlois , David Parello , Kathy Porada
Numerical Sofware: Design, Analysis and Verification, Jul 2012, Santander, Spain
Conference papers lirmm-00835508v1

Real and complex pseudozero sets for polynomials with applications

Stef Graillat , Philippe Langlois
RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2007, 41 (1), pp.45-56. ⟨10.1051/ita:2007006⟩
Journal articles hal-01146488v1
Image document

Cas d’études de calculs parallèles numériquement reproductibles

Philippe Langlois , Chemseddine Chohra , Rafife Nheili
Retour d'expéRiences sur la Recherche Reproductible, MISC/CaSciModOT, Dec 2015, Orléans, France
Conference papers lirmm-01240737v1
Image document

Synthesis of Arithmetic Expressions for the Fixed-Point Arithmetic: The Sardana Approach

Arnault Ioualalen , Matthieu Martel
DASIP: Design and Architectures for Signal and Image Processing, Oct 2012, Karlsruhe, Germany. pp.1-8
Conference papers hal-00698621v1

How to Square Floats Accurately and Efficiently on the ST231 Integer Processor

Claude-Pierre Jeannerod , Jingyan Jourdan-Lu , Christophe Monat , Guillaume Revy
ARITH: Computer Arithmetic, Jul 2011, Tübingen, Germany. pp.77-81, ⟨10.1109/ARITH.2011.19⟩
Conference papers ensl-00644147v1