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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Contrer l'attaque Simple Power Analysis efficacement dans les applications de la cryptographie asymétrique, algorithmes et implantations
Jean-Marc Robert
Theses
tel-01269753v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Obtenir des simulations hydrodynamiques numériquement reproductibles
Rafife Nheili
,
Philippe Langlois
2016
Other publications
lirmm-01309785v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Improved Three-Way Split Approach for Binary Polynomial Multiplication Based on Optimized Reconstruction
Christophe Negre
[Research Report] RR-1300x, Lirmm. 2013
Reports
hal-00788646v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Range Reduction Based on Pythagorean Triples for Trigonometric Function Evaluation
Hugues de Lassus Saint-Geniès
,
David Defour
,
Guillaume Revy
Conference papers
hal-01134232v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Linear circuit analysis based on parallel asynchronous fixed-point method
Manuel Marin
,
David Defour
,
Federico Milano
2015
Preprints, Working Papers, ...
hal-01142496v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Efficient Modular Exponentiation Based on Multiple Multiplications by a Common Operand
Christophe Negre
,
Thomas Plantard
,
Jean-Marc Robert
Conference papers
lirmm-01142327v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Efficient Regular Modular Exponentiation Using Multiplicative Half-Size Splitting
Christophe Negre
,
Thomas Plantard
Journal articles
hal-01185249v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
FuzzyGPU: a fuzzy arithmetic library for GPU
David Defour
,
Manuel Marin
[Research Report] LIRMM. 2013
Reports
hal-00856617v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Sequential Multiplier with Sub-linear Gate Complexity
Anwar Hasan
,
Christophe Negre
[Research Report] 2012, pp.12
Reports
hal-00712085v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Intra-procedural Optimization of the Numerical Accuracy of Programs
Nasrine Damouche
,
Matthieu Martel
,
Alexandre Chapoutot
Conference papers
hal-01164340v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Journal articles
hal-00813698v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Efficient Fixed Base Exponentiation and Scalar Multiplication based on a Multiplicative Splitting Exponent Recoding
Jean-Marc Robert
,
Christophe Negre
,
Thomas Plantard
Journal articles
lirmm-01926767v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Efficient Leak Resistant Modular Exponentiation in RNS
Andrea Lesavourey
,
Christophe Negre
,
Thomas Plantard
Conference papers
lirmm-01925642v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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é
Conference papers
hal-00985357v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
How to Square Floats Accurately and Efficiently on the ST231 Integer Processor
Claude-Pierre Jeannerod
,
Jingyan Jourdan-Lu
,
Christophe Monat
,
Guillaume Revy
Conference papers
ensl-00644147v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More