S'identifier

Publications de l'équipe DALI


Publications HAL de la structure DALI

2016

Journal articles

titre
An efficient representation format for fuzzy intervals based on symmetric membership functions
auteur
Manuel Marin, David Defour, Federico Milano
article
ACM Transactions on Mathematical Software, Association for Computing Machinery, 2016, In press
Accès au bibtex
BibTex
titre
Automatic source-to-source error compensation of floating-point programs: code synthesis to optimize accuracy and time
auteur
Laurent Thévenoux, Philippe Langlois, Matthieu Martel
article
Concurrency and Computation: Practice and Experience, Wiley, 2016, <10.1002/cpe.3953>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01236919/file/tlm.pdf BibTex
titre
A software scheduling solution to avoid corrupted units on GPUs
auteur
David Defour, Eric Petit
article
Journal of Parallel and Distributed Computing, Elsevier, 2016, 90-91, pp.1--8. <10.1016/j.jpdc.2016.01.001>
Accès au bibtex
BibTex
titre
Efficient Regular Modular Exponentiation Using Multiplicative Half-Size Splitting
auteur
Christophe Negre, Thomas Plantard
article
Journal of Cryptographic Engineering, Springer, 2016, <10.1007/s13389-016-0134-5>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01185249/file/regular-expo-with-half-size-mult7.pdf BibTex

Conference papers

titre
Hierarchical Approach for Deriving a Reproducible LU factorization on GPUs
auteur
Roman Iakymchuk, Stef Graillat, David Defour, Enrique Quintana-Ortí
article
The Numerical Reproducibility at Exascale (NRE16) workshop held as part of the Supercomputing Conference (SC16), Nov 2016, Salt Lake City, UT, United States
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01382645/file/reprolu.abstract.pdf BibTex
titre
First improvements toward a reproducible Telemac-2D
auteur
Rafife Nheili, Philippe Langlois, Christophe Denis
article
XXIIIrd TELEMAC-MASCARET User Conference , Oct 2016, Paris, France. <http://www.opentelemac.org/index.php/user-conference26>
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01371152/file/TUC_2016_NHEILI.pdf BibTex
titre
Parallel experiments with RARE-BLAS
auteur
Chemseddine Chohra, Philippe Langlois, David Parello
article
SYNASC: Symbolic and Numeric Algorithms for Scientific Computing, Sep 2016, Timisoara, Romania. 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2016, <http://synasc.ro/2016/>
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01349698/file/SYNASC.pdf BibTex
titre
Reproducible, Accurately Rounded and Efficient BLAS
auteur
Chemseddine Chohra, Philippe Langlois, David Parello
article
REPPAR: Reproducibility in Parallel Computing, Aug 2016, Grenoble, France. 3rd International Workshop on Reproducibility in Parallel Computing, 2016, <http://reppar.org/index.html>
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01280324/file/REPPAR16.pdf BibTex
titre
Efficient Randomized Regular Modular Exponentiation using Combined Montgomery and Barrett Multiplications
auteur
Andrea Lesavourey, Christophe Negre, Thomas Plantard
article
SECRYPT: Security and Cryptography, Jul 2016, Lisbon, Portugal. 13th International Conference on Security and Cryptography, 2016, <http://www.secrypt.icete.org/?y=2016>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01330898/file/randomized-barret-montgomery7.pdf BibTex
titre
Enhanced Digital Signature using RNS Digit Exponent Representation
auteur
Thomas Plantard, Jean-Marc Robert
article
International Workshop on the Arithmetic of Finite Fields, WAIFI 2016, Jul 2016, Gand, Belgium. Springer, lncs (à paraître). <http://cage.ugent.be/waifi/>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01337561/file/paper.pdf BibTex
titre
Automated design of floating-point logarithm functions on integer processors
auteur
Guillaume Revy
article
ARITH 23, Jul 2016, Silicon Valley, Santa Clara, CA, United States. 23th IEEE International Symposium on Computer Arithmetic, <http://arith23.gforge.inria.fr/>
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01276677/file/2015-Auto-FpLog.pdf BibTex
titre
Recovering numerical reproducibility in hydrodynamic simulations
auteur
Philippe Langlois, Rafife Nheili, Christophe Denis
article
ARITH: Computer Arithmetic, Jul 2016, Silicon Valley, Santa Clara, CA, United States. 23th IEEE International Symposium on Computer Arithmetic, 2016, <http://arith23.gforge.inria.fr/>
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01274671/file/LaNhDe_2016%20%281%29.pdf BibTex
titre
Performances de schémas d'évaluation polynomiale sur architectures vectorielles
auteur
Hugues De Lassus Saint-Geniès, Guillaume Revy
article
ComPAS: Conférence en Parallélisme, Architecture et Système, Jul 2016, Lorient, France. 2016, <http://compas2016.sciencesconf.org>
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01324740/file/dLSGRe16.pdf BibTex
titre
Reproducible and Accurate Algorithms for Numerical Linear Algebra
auteur
Roman Iakymchuk, David Defour, Sylvain Collange, Stef Graillat
article
PP: Parallel Processing for Scientific Computing, Apr 2016, Paris, France. SIAM, SIAM Conference on Parallel Processing for Scientific Computing (PP16), 2016
Accès au bibtex
BibTex
titre
Parallel Locality and Parallelization Quality
auteur
Bernard Goossens, David Parello, Katarzyna Porada, Djallal Rahmoune
article
PMAM: Programming Models and Applications for Multicores and Manycores, Mar 2016, Barcelona, Spain. 7th International Workshop on Programming Models and Applications for Multicores and Manycores, 2016, <10.1145/2883404.2883410>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01252007/file/pmam_2016.pdf BibTex

Habilitation à diriger des recherches

titre
Multiplication in Finite Fields and Elliptic Curves
auteur
Christophe Negre
article
Cryptographie et sécurité [cs.CR]. Université de Montpellier, 2016
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/tel-01385034/file/hdr9.pdf BibTex

Other publications

titre
Obtenir des simulations hydrodynamiques numériquement reproductibles
auteur
Rafife Nheili, Philippe Langlois
article
Hors-série recherche n°7, Université de Perpignan Via Domitia. 2016
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01309785/file/HS-recherche-7-DALI.pdf BibTex

Reports

titre
Lazy Leak Resistant Exponentiation in RNS
auteur
Andrea Lesavourey, Christophe Negre, Thomas Plantard
article
[Research Report] DALI (UPVD); LIRMM (UM, CNRS). 2016
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01330927/file/randomized-exponentiation-rns11.pdf BibTex

Theses

titre
How to improve the numerical reproducibility of hydrodynamics simulations: analysis and solutions for one open-source HPC software
auteur
Rafife Nheili
article
Computer Science [cs]. Université de Perpignan Via Domita, 2016. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01418384/file/main.pdf BibTex

Preprints, Working Papers, ...

titre
Hierarchical Approach for Deriving a Reproducible LU factorization
auteur
Roman Iakymchuk, Stef Graillat, David Defour, Erwin Laure, Enrique Quintana-Ortí
article
2016
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01419813/file/reprolu.pdf BibTex
titre
Paralléliser sur un processeur à beaucoup de coeurs
auteur
Djallal Rahmoune, Bernard Goossens, David Parello, Katarzyna Porada
article
2016
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01330908/file/compas2016_paper_2.pdf BibTex
titre
Computing On Many Cores
auteur
Bernard Goossens, David Parello, Katarzyna Porada, Djallal Rahmoune
article
Concurrency and Computation: Practice and Experience. 0000; 00:1?20 Published online in Wiley In.. 2016
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01302904/file/cc-pe.pdf BibTex
titre
Trade-offs of certified fixed-point code synthesis for linear algebra basic blocks
auteur
Matthieu Martel, Mohamed Amine Najahi, Guillaume Revy
article
2016
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01279628/file/2016-FixedPointLinearAlgebra.pdf BibTex

2015

Journal articles

titre
Numerical Reproducibility for the Parallel Reduction on Multi- and Many-Core Architectures
auteur
Sylvain Collange, David Defour, Stef Graillat, Roman Iakymchuk
article
Parallel Computing, Elsevier, 2015, 49, pp.83-97. <10.1016/j.parco.2015.09.001>
Accès au bibtex
BibTex
titre
New Parallel Approaches for Scalar Multiplication in Elliptic Curve over Fields of Small Characteristic
auteur
Christophe Negre, Jean-Marc Robert
article
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2015, 64 (10), pp.2875-2890. <http://doi.ieeecomputersociety.org>. <10.1109/TC.2015.2389817>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00908463/file/parallelization-ecsm8.pdf BibTex

Conference papers

titre
Cas d?études de calculs parallèles numériquement reproductibles
auteur
Philippe Langlois, Chemseddine Chohra, Rafife Nheili
article
Retour d'expéRiences sur la Recherche Reproductible, Dec 2015, Orléans, France. 2015, <http://www.lestudium-ias.com/event/retour-experiences-recherche-reproductible-r4>
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01240737/file/rrrr15_sl.pdf BibTex
titre
ExBLAS: Reproducible and Accurate BLAS Library
auteur
Roman Iakymchuk, Sylvain Collange, David Defour, Stef Graillat
article
NRE: Numerical Reproducibility at Exascale, Nov 2015, Austin, TX, United States. 2015
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01202396/file/exblas.pdf BibTex
titre
Automatic Source-to-Source Error Compensation of Floating-Point Programs
auteur
Laurent Thévenoux, Philippe Langlois, Matthieu Martel
article
IEEE. Computational Science and Engineering (CSE), Oct 2015, Porto, Portugal. 2015 IEEE 18th International Conference on Computational Science and Engineering, pp.9--16, 2015, <http://paginas.fe.up.pt/~specs/events/cse2015/>. <10.1109/CSE.2015.11>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01158399/file/LMT15a-ieee.pdf BibTex
titre
Measuring predictability of Nvidia?s GPU warp and block schedulers: Application to the summation problem
auteur
David Defour
article
IEEE 9th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC-15), Sep 2015, Turin, Italy. IEEE 9th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC-15), pp.17-24, 2015, <10.1109/MCSoC.2015.9>
Accès au bibtex
BibTex
titre
Reproducible floating-point atomic addition in data-parallel environment
auteur
David Defour, Sylvain Collange
article
ACSIS: Annals of Computer Science and Information Systems, Sep 2015, Lodz, Poland. Proceedings of the 2015 Federated Conference on Computer Science and Information Systems, 5, pp.721-728, 2015, <10.15439/2015F86>
Accès au bibtex
BibTex
titre
Toward a Core Design to Distribute an Execution on a Many-Core Processor
auteur
Bernard Goossens, David Parello, Katarzyna Porada, Djallal Rahmoune
article
Victor Malyshkin. PaCT: Parallel Computing Technologies, Aug 2015, Petrozavodsk, Russia. Springer International Publishing, 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015, Proceedings, LNCS (9251), pp.390-404, 2015, Parallel Computing Technologies. <10.1007/978-3-319-21909-7_38>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01152664/file/submited-pact-2015.pdf BibTex
titre
Range Reduction Based on Pythagorean Triples for Trigonometric Function Evaluation
auteur
Hugues De Lassus Saint-Geniès, David Defour, Guillaume Revy
article
ASAP: Application-Specific Systems, Architectures and Processors, Jul 2015, Toronto, Canada. IEEE, Application-specific Systems, Architectures and Processors (ASAP), 2015 IEEE 26th International Conference on, pp.74-81, 2015, <10.1109/ASAP.2015.7245712>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01134232/file/pythagorean_triples.pdf BibTex
titre
Numerical Reproducibility: Feasibility Issues
auteur
Philippe Langlois, Rafife Nheili, Christophe Denis
article
Mohamad Badra; Azzedine Boukerche; Pascal Urien. NTMS: New Technologies, Mobility and Security, Jul 2015, Paris, France. 7th IFIP International Conference on New Technologies, Mobility and Security, 2015, <10.1109/NTMS.2015.7266509>
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01141852/file/LangloisNheiliDenis.pdf BibTex
titre
Parallel Approaches for Efficient Scalar Multiplication over Elliptic Curve
auteur
Christophe Negre, Jean-Marc Robert
article
SECRYPT: International Conference on Security and Cryptography, Jul 2015, Colmar, France. SciTePress, 12th International Conference on Security and Cryptography (SECRYPT 2015) Colmar, France, 20-22 July 2015 pp.202-209, 2015, <http://secrypt.icete.org>. <10.5220/0005512502020209>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01206530/file/parallelization-with-push5.pdf BibTex
titre
Numerical Reproducibility in open TELEMAC: A Case Study within the Tomawac Library
auteur
Rafife Nheili, Philippe Langlois, Christophe Denis
article
2nd International Workshop on High Performance Computing Simulation in Energy/Transport Domains (HPCSET 2015), ISC High Performance 2015 Conference., Jul 2015, Frankfurt, Germany
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01101715/file/NheiliLangloisDenis.pdf BibTex
titre
Réduction d'argument basée sur les triplets pythagoriciens pour l'évaluation de fonctions trigonométriques
auteur
Hugues De Lassus Saint-Geniès, David Defour, Guillaume Revy
article
ComPAS: Conférence en Parallélisme, Architecture et Système, Jun 2015, Lille, France. 2015, <http://compas15.lifl.fr/pages/programme.html>
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01136772/file/dLSGDR15.pdf BibTex
titre
Trade-off Approaches for Leak Resistant Modular Arithmetic in RNS
auteur
Christophe Negre, Guilherme Perin
article
Ernest Foo; Douglas Stebila. ACISP: Australasian Conference on Information Security and Privacy, Jun 2015, Brisbane, Australia. Springer, 20th Australasian Conference on Information Security and Privacy, LNCS (9144), pp.107-124, 2015, Information Security and Privacy. <http://acisp2015.qut.edu.au>. <10.1007/978-3-319-19962-7_7>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01143367/file/lra-randomise-rns10.pdf BibTex
titre
Efficient Modular Exponentiation Based on Multiple Multiplications by a Common Operand
auteur
Christophe Negre, Thomas Plantard, Jean-Marc Robert
article
ARITH: Computer Arithmetic, Jun 2015, Lyon, France. IEEE 22nd Symposium on Computer Arithmetic, pp.144-151, 2015, <http://arith22.gforge.inria.fr>. <10.1109/ARITH.2015.24>
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01142327/file/exponentiation-with-optimized-montgomery16.pdf BibTex
titre
Reproducible Triangular Solvers for High-Performance Computing
auteur
Roman Iakymchuk, David Defour, Sylvain Collange, Stef Graillat
article
ITNG: Information Technology - New Generations, Apr 2015, Las Vegas, NV, United States. 12th International Conference on Information Technology - New Generations, pp.353-358, 2015, <10.1109/ITNG.2015.63>
Accès au bibtex
BibTex
titre
Recent Advances in Parallel Implementations of Scalar Multiplication over Binary Elliptic Curves
auteur
Christophe Negre, Jean-Marc Robert
article
RAIM: Rencontres Arithmétiques de l?Informatique Mathématique, Apr 2015, Rennes, France. 7ème Rencontre Arithmétique de l'Informatique Mathématique, 2015
Accès au bibtex
BibTex
titre
An efficient midpoint-radius implementation to handle symmetric fuzzy intervals
auteur
Manuel Marin, David Defour, Federico Milano
article
RAIM: Rencontres Arithmétiques de l?Informatique Mathématique, Apr 2015, Rennes, France. 7ème Rencontre Arithmétique de l'Informatique Mathématique, 2015
Accès au bibtex
BibTex
titre
Synthesis of certified programs in fixed-point arithmetic, and its application to linear algebra basic blocks
auteur
Mohamed Amine Najahi
article
RAIM: Rencontres Arithmétiques de l?Informatique Mathématique, Apr 2015, Rennes, France. 7ème Rencontres Arithmétiques de l?Informatique Mathématique (RAIM2015), 2015
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01277374/file/Raim2015.pdf BibTex
titre
Solutions to ensure the reproducibility of the digital simulation of the effect of waves on the coast
auteur
Rafife Nheili, Philippe Langlois, Christophe Denis
article
RAIM: Rencontres Arithmétiques de l?Informatique Mathématique, Apr 2015, Rennes, France. 7ème Rencontre Arithmétique de l'Informatique Mathématique, 2015
Accès au bibtex
BibTex
titre
Reproducibility and Accuracy for High-Performance Computing
auteur
Roman Iakymchuk, Sylvain Collange, David Defour, Stef Graillat
article
RAIM: Rencontres Arithmétiques de l?Informatique Mathématique, Apr 2015, Rennes, France. 2015
Accès au bibtex
BibTex

Poster communications

titre
Error-free Tables for Trigonometric Function Evaluation
auteur
Hugues De Lassus Saint-Geniès, David Defour, Guillaume Revy
article
ARCHI: Architecture des systèmes matériels et logiciels embarqués, et méthodes de conception associées, Jun 2015, Lille, France. 8e édition de l?école thématique Archi, 2015, <http://www.cristal.univ-lille.fr/archi15/>
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01273490/file/Archi15-poster%20%281%29.pdf BibTex
titre
ExBLAS: Reproducible and Accurate BLAS Library
auteur
Roman Iakymchuk, Stef Graillat, Sylvain Collange, David Defour
article
RAIM: Rencontres Arithmétiques de l?Informatique Mathématique, Apr 2015, Rennes, France. 7ème Rencontre Arithmétique de l'Informatique Mathématique, 2015, <https://raim2015.inria.fr>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01140280/file/tikzp.pdf BibTex

Reports

titre
Implementation and Efficiency of Reproducible Level 1 BLAS
auteur
Chemseddine Chohra, Philippe Langlois, David Parello
article
[Research Report] DALI - UPVD/LIRMM, UCD. 2015
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01179986/file/15%20pages.pdf BibTex
titre
An efficient midpoint-radius representation format to deal with symmetric fuzzy numbers
auteur
Manuel Marin, David Defour, Federico Milano
article
[Research Report] DALI - UPVD/LIRMM, UCD. 2015
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01140485/file/fuzzyGPU.pdf BibTex

Theses

titre
GPU-ENHANCED POWER FLOW ANALYSIS
auteur
Manuel Marin
article
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Perpignan Via Domita, 2015. English
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/tel-01299182/file/Thesis.pdf BibTex
titre
Contrer l'attaque Simple Power Analysis efficacement dans les applications de la cryptographie asymétrique, algorithmes et implantations
auteur
Jean-Marc Robert
article
Cryptographie et sécurité [cs.CR]. Université de Perpignan, 2015. Français. <NNT : 2015PERP0039>
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01269753/file/These_Robert_Jean-Marc_2015.pdf BibTex

Preprints, Working Papers, ...

titre
Numerical Reproducibility for the Parallel Reduction on Multi- and Many-Core Architectures
auteur
Sylvain Collange, David Defour, Stef Graillat, Roman Iakymchuk
article
2015
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00949355/file/superaccumulator.pdf BibTex
titre
Code Synthesis to Optimize Accuracy and Execution Time of Floating-Point Programs
auteur
Laurent Thévenoux, Matthieu Martel, Philippe Langlois
article
2015
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01157509/file/LMT15b-abstract.pdf BibTex
titre
Linear circuit analysis based on parallel asynchronous fixed-point method
auteur
Manuel Marin, David Defour, Federico Milano
article
2015
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01142496/file/IntrinsicallyParallel.pdf BibTex
titre
Reproducible Triangular Solvers for High-Performance Computing
auteur
Roman Iakymchuk, David Defour, Sylvain Collange, Stef Graillat
article
2015
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01116588/file/trsv.pdf BibTex

2014

Journal articles

titre
Efficient Subquadratic Space Complexity Binary Polynomial Multipliers Based On Block Recombination
auteur
Murat Cenk, Anwar Hasan, Christophe Negre
article
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2014, 63 (9), pp.2273-2287. <10.1109/TC.2013.105>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00712090/file/polynomial-block-recombination-ver23.pdf BibTex
titre
First steps towards more numerical reproducibility
auteur
Fabienne Jézéquel, Philippe Langlois, Nathalie Revol
article
ESAIM: Proceedings, EDP Sciences, 2014, ESAIM: Proceedings, 45, pp.229-238. <http://smai.emath.fr/smai2013/>. <10.1051/proc/201445023>
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-00872562/file/JezLanRev13.pdf BibTex
titre
Efficient Binary Polynomial Multiplication Based on Optimized Karatsuba Reconstruction
auteur
Christophe Negre
article
Journal of Cryptographic Engineering, Springer, 2014, 4 (2), pp.91--106. <10.1007/s13389-013-0066-2>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00724778/file/ext-4way-bernstein15.pdf BibTex
titre
A Fast Chaos-Based Pseudo-Random Bit Generator Using Binary64 Floating-Point Arithmetic
auteur
Michael François, David Defour, Christophe Negre
article
Informatica, Slovene Society Informatika, Ljubljana, 2014, 38 (2), pp.115-124. <http://www.informatica.si/index.php/informatica/article/view/691>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01024689/file/13_Francois_-_A_Fast_Chaos-Based_Pseudo-Random_Bit_Generator_Using_Binary64_Floating-Point_Arithmetic.pdf BibTex
titre
Pseudo-random number generator based on mixing of three chaotic maps
auteur
Michael François, Thomas Grosges, Dominique Barchiesi, Robert Erra
article
Communications in Nonlinear Science and Numerical Simulation, Elsevier, 2014, 19 (4), pp.887--895. <10.1016/j.cnsns.2013.08.032>
Accès au bibtex
BibTex

Conference papers

titre
Software Implementation of Parallelized ECSM over Binary and Prime Fields
auteur
Jean-Marc Robert
article
Inscrypt: Information Security and Cryptology, Dec 2014, Beijing, China. Springer, 10th International Conference, Inscrypt 2014, Beijing, China, December 13-15, 2014, Revised Selected Papers, LNCS (8957), pp.445-462, 2014, <10.1007/978-3-319-16745-9_24>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00998277/file/paper.pdf BibTex
titre
Toward the synthesis of fixed-point code for matrix inversion based on Cholesky decomposition
auteur
Matthieu Martel, Mohamed Amine Najahi, Guillaume Revy
article
DASIP: Design and Architectures for Signal and Image Processing, Oct 2014, Madrid, Spain. IEEE, 6th Conference on Design and Architectures for Signal and Image Processing, pp.1-8, 2014, <10.1109/DASIP.2014.7115609>
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01212806/file/MaNaRe-DASIP2014-submitted.pdf BibTex
titre
Automated Synthesis of Target-Dependent Programs for Polynomial Evaluation in Fixed-Point Arithmetic
auteur
Christophe Mouilleron, Mohamed Amine Najahi, Guillaume Revy
article
SYNASC: Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Sep 2014, Timisoara, Romania. 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, pp.141-148, 2014, <10.1109/SYNASC.2014.27>
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-00814338/file/MoNaRe-SYNASC2014-submitted.pdf BibTex
titre
Level 1 Parallel RTN-BLAS: Implementation and Efficiency Analysis
auteur
Chemseddine Chohra, Philippe Langlois, David Parello
article
SCAN: Scientific Computing, Computer Arithmetic and Validated Numerics, Sep 2014, Wurzburg, Germany. 16th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, 2014, <http://www.scan2014.uni-wuerzburg.de/talks/>
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01095172/file/scan2014.pdf BibTex
titre
Efficiency of Reproducible Level 1 BLAS
auteur
Chemseddine Chohra, Philippe Langlois, David Parello
article
SCAN: Scientific Computing, Computer Arithmetic, and Validated Numerics, Sep 2014, Würzburg, Germany. 16th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics - Revised Selected Papers, LNCS (9553), pp.99-108, 2016, Scientific Computing, Computer Arithmetic, and Validated Numerics. <http://www.scan2014.uni-wuerzburg.de/>. <10.1007/978-3-319-31769-4_8>
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01101723/file/ChohraLangloisParello.pdf BibTex
titre
Reproducible and Accurate Matrix Multiplication for High-Performance Computing
auteur
Sylvain Collange, David Defour, Stef Graillat, Roman Iakymchuk
article
SCAN 2014 - 16th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, Sep 2014, Wuerzburg, Germany. 16th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, pp.42-43, 2014, <http://www.scan2014.uni-wuerzburg.de/start/>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01215627/file/scan14-1.pdf BibTex
titre
Power Flow Analysis under Uncertainty using Symmetric Fuzzy Arithmetic
auteur
Manuel Marin, David Defour, Federico Milano
article
PES General Meeting 2014 | Conference & Exposition, Jul 2014, National Harbor, MD, United States. IEEE, pp.1-5, 2014, <10.1109/PESGM.2014.6939274>
Accès au bibtex
BibTex
titre
A Reproducible Accurate Summation Algorithm for High-Performance Computing
auteur
Sylvain Collange, David Defour, Stef Graillat, Roman Iakymchuk
article
EX: Exascale Applied Mathematics Challenges and Opportunities, Jul 2014, Chicago, United States. SIAM Workshop on Exascale Applied mathematics Challenges and opportunites, 2014, <http://www.siam.org/meetings/ex14/>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01267825/file/10-iakymchuk-abstract.pdf BibTex
titre
Analyse et réduction du chemin critique dans l'exécution d'une application
auteur
Katarzyna Porada, David Parello, Bernard Goossens
article
Pascal Felber, Laurent Philippe, Etienne Riviere, Arnaud Tisserand. ComPAS: Conférence en Parallélisme, Architecture et Système, Apr 2014, Neuchâtel, Suisse. 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01158433/file/compas2014_submission_8.pdf BibTex
titre
Impact des schedulers sur la prédictibilité dans les GPU
auteur
David Defour
article
Pascal Felber; Laurent Philippe; Etienne Riviere; Arnaud Tisserand. ComPAS: Conférence en Parallélisme, Architecture et Système, Apr 2014, Neuchâtel, Suisse. 2014
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00951916/file/predictabilite_compas.pdf BibTex
titre
A Pseudo-Random Bit Generator Based on Three Chaotic Logistic Maps and IEEE 754-2008 Floating-Point Arithmetic
auteur
Michael François, David Defour, Pascal Berthomé
article
T.V. Gopal; Angsheng Li A. Barry Cooper; Manindra Agrawal. Theory and Applications of Models of Computation, Apr 2014, Chennai, India. Springer, pp.229-247, 2014, LNCS. <10.1007/978-3-319-06089-7_16>
Accès au bibtex
BibTex
titre
Algorithmes Parallèles de Multiplication Scalaire Optimisée sur Courbes Elliptiques Binaires
auteur
Jean-Marc Robert
article
C2: Journées Codage et Cryptographie, Mar 2014, Les Sept-Laux, France. 2014
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01121960/file/JC2_03-2014.pdf BibTex
titre
FuzzyGPU : a fuzzy arithmetic library for GPU
auteur
Manuel Marin, David Defour
article
PDP: Parallel, Distributed and Network-Based Processing, Feb 2014, Torino, Italy. IEEE, 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, pp.624-631, 2014, <10.1109/PDP.2014.16>
Accès au bibtex
BibTex
titre
Code Size and Accuracy-Aware Synthesis of Fixed-Point Programs for Matrix Multiplication
auteur
Matthieu Martel, Mohamed Amine Najahi, Guillaume Revy
article
PECCS: Pervasive and Embedded Computing and Communication Systems, Jan 2014, Lisbonne, Portugal. 4th International Conference on Pervasive and Embedded Computing and Communication Systems, 2014, <10.5220/0004884802040214>
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-00860383/file/MaNaRe-PECCS2014-submitted.pdf BibTex

Book sections

titre
Simulation temps réel de réseaux électriques à l?aide des architectures multic?urs
auteur
David Defour, Manuel Marin
article
UPVD Magazine Hors-Série recherche, pp.42-44, 2014
Accès au bibtex
BibTex

Habilitation à diriger des recherches

titre
Contribution au calcul sur GPU: considérations arithmétiques et architecturales
auteur
David Defour
article
Architectures Matérielles [cs.AR]. Université de Perpignan, 2014
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/tel-01206379/file/HDR_Defour.pdf BibTex

Other publications

titre
Les nombres réels sur un processeur entier
auteur
Mohamed Amine Najahi, Guillaume Revy
article
Hors-Série Recherche n°4, Université de Perpignan Via Domitia. 2014
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01333809/file/HS-Recherche4-2014-DALI.pdf BibTex

Theses

titre
Synthesis of certified programs in fixed-point arithmetic, and its application to linear algebra basic blocks
auteur
Mohamed Amine Najahi
article
Computer Science [cs]. Université de Perpignan Via Domitia, 2014. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01158310/file/thesis.pdf BibTex
titre
Synthèse de code avec compromis entre performance et précision en arithmétique flottante IEEE 754
auteur
Laurent Thévenoux
article
Arithmétique des ordinateurs. Université de Perpignan Via Domitia, 2014. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01143824/file/these_thevenoux.pdf https://tel.archives-ouvertes.fr/tel-01143824/file/annexe-slides.pdf BibTex

2013

Journal articles

titre
Multiway Splitting Method for Toeplitz Matrix Vector Product
auteur
Anwar Hasan, Christophe Negre
article
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2013, 62 (7), pp.1467-1471. <10.1109/TC.2012.95>
Accès au bibtex
BibTex
titre
Improved Three-Way Split Formulas for Binary Polynomial and Toeplitz Matrix Vector Products
auteur
Murat Cenk, Christophe Negre, Anwar Hasan
article
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2013, 62 (7), pp.1345-1361
Accès au bibtex
BibTex
titre
Improved Area-Time Trade-offs for Field Multiplication using Optimal Normal Bases
auteur
Jithra Adikari, Ayad Barsoum, Anwar Hasan, Ashkan Namin, Christophe Negre
article
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2013, 62 (1), pp.193-199. <10.1109/TC.2011.198>
Accès au bibtex
BibTex

Conference papers

titre
GPUburn: A System to Test and Mitigate GPU Hardware Failures
auteur
Eric Petit, David Defour
article
SAMOS: Embedded Computer Systems: Architectures, Modeling, and Simulation, Jul 2013, Samos, Greece. 13th International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, pp.263-270, 2013, <10.1109/SAMOS.2013.6621133>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00827588/file/GPUburn_SAMOS.pdf BibTex
titre
Impact of Optimized Operations AB,AC and AB+CD in Scalar Multiplication over Binary Elliptic Curve
auteur
Christophe Negre, Jean-Marc Robert
article
AFRICACRYPT: Cryptology in Africa, Jun 2013, Cairo, Egypt. 7th International Conference on Cryptology in Africa, LNCS (8469), pp.13-30, 2014, Progress in Cryptology ? AFRICACRYPT 2014. <10.1007/978-3-642-38553-7_16>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00724785/file/africacrypt13-scalar-mul-with-abpluscd11.pdf BibTex
titre
Regularity versus Load-Balancing on GPU for treefix computations
auteur
David Defour, Manuel Marin
article
ICCS: International Conference on Computational Science, Jun 2013, Barcelone, Spain. 18, pp.309-318, 2013
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00768293/file/treefix.pdf BibTex
titre
Synthesizing Accurate Floating-Point Formulas
auteur
Arnault Ioualalen, Matthieu Martel
article
ASAP: Application-Specific Systems, Architectures and Processors, Jun 2013, Washington, DC, United States. IEEE, Application-Specific Systems, Architectures and Processors (ASAP), 2013 IEEE 24th International Conference, pp.113-116, 2013, <10.1109/ASAP.2013.6567563>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00835736/file/main.pdf BibTex
titre
Towards a Reliable Performance Evaluation of Accurate Summation Algorithms
auteur
Philippe Langlois, Bernard Goossens, David Parello
article
SCE: Computational Science and Engineering, Feb 2013, Boston, Ma, United States. SIAM Conference on Computational Science and Engineering, 2013, <https://www.siam.org/meetings/cse13/>
Accès au bibtex
BibTex
titre
Sur la reproductibilité des mesures des performances d'algorithmes numériques avec PerPI
auteur
David Parello, Philippe Langlois, Bernard Goossens
article
ComPAS: Conférence en Parallélisme, Architecture et Système, Jan 2013, Grenoble, France. 2013, <http://compas2013.inrialpes.fr>
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-00762024/file/realis.pdf BibTex
titre
Améliorer l'analyse de la performance des algorithmes numériques
auteur
David Parello, Bernard Goossens, Philippe Langlois
article
ComPAS: Conférence en Parallélisme, Architecture et Système, Jan 2013, Grenoble, France. 2013
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-00762550/file/sympa15-vfinale.pdf BibTex
titre
Températures, erreurs matérielles et GPU
auteur
David Defour, Eric Petit
article
ComPAS: Conférence en Parallélisme, Architecture et Système, Jan 2013, Grenoble, France. pp.1-11, 2013, <http://compas2013.inrialpes.fr/>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00785386/file/GPU_burn.pdf BibTex

Book sections

titre
Optimiser la représentation des flottants
auteur
David Defour, Manuel Marin
article
HPC Today, 4, pp.65-70, 2013, <http://www.hpctoday.fr/hpc-labs/optimiser-la-representation-des-flottants/>
Accès au bibtex
BibTex

Directions of work or proceedings

titre
Informatique mathématique
auteur
Philippe Langlois
article
Philippe Langlois. France. Première édition, Presses Universitaires de Perpignan, pp.283, 2013, Etudes, 9782354121839. <http://www.lcdpu.fr/livre/?GCOI=27000100531990&fa=details>
Accès au bibtex
BibTex

Poster communications

titre
Synthesis of fixed-point programs: the case of matrix multiplication
auteur
Mohamed Amine Najahi
article
EJCIM: École Jeunes Chercheurs en Informatique Mathématique, Apr 2013, Perpignan, France. 13th École Jeunes Chercheurs en Informatique Mathématique (EJCIM 2013) Perpignan, April 12th, 2013, 2013
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01277362/file/EJCIM2013.pdf BibTex
titre
État Des Lieux Attaques Passives Courbes Elliptiques
auteur
Jean-Marc Robert
article
EJCIM: École Jeunes Chercheurs en Informatique Mathématique, Apr 2013, Perpignan, France. 2013, <http://ejcim2013.univ-perp.fr/index.php?page=accueil>
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-00862374/file/EJCIM2013.pdf BibTex

Reports

titre
Improved Three-Way Split Approach for Binary Polynomial Multiplication Based on Optimized Reconstruction
auteur
Christophe Negre
article
[Research Report] RR-1300x, Lirmm. 2013
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00788646/file/ext-bernstein-3way-split-case-v4.pdf BibTex
titre
FuzzyGPU: a fuzzy arithmetic library for GPU
auteur
David Defour, Manuel Marin
article
[Research Report] LIRMM. 2013
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00856617/file/fuzzyGPU.pdf BibTex
titre
A Pseudo-Random Bit Generator Using Three Chaotic Logistic Maps
auteur
Mickael Francois, David Defour
article
[Research Report] LIRMM. 2013
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00785380/file/RR-Submitted2013.pdf BibTex

2012

Journal articles

titre
Sequential Multiplier with Sub-linear Gate Complexity
auteur
Anwar Hasan, Christophe Negre
article
Journal of Cryptographic Engineering, Springer, 2012, 2 (2), pp.91-97. <10.1007/s13389-012-0035-1>
Accès au bibtex
BibTex
titre
Toeplitz Matrix Approach for Binary Field Multiplication Using Quadrinomials
auteur
Anwar Hasan, Ashkan Namin, Christophe Negre
article
IEEE Transactions on Very Large Scale Integration (VLSI) Systems, IEEE, 2012, 20 (3), pp.449-458. <10.1109/TVLSI.2011.2106524>
Accès au bibtex
BibTex
titre
Block Recombination Approach for Subquadratic Space Complexity Binary Field Multiplication based on Toeplitz Matrix-Vector Product
auteur
Anwar Hasan, Nicolas Méloni, Ashkan Namin, Christophe Negre
article
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2012, 61 (2), pp.151-163. <10.1109/TC.2010.276>
Accès au bibtex
BibTex

Conference papers

titre
Synthesis of Arithmetic Expressions for the Fixed-Point Arithmetic: The Sardana Approach
auteur
Arnault Ioualalen, Matthieu Martel
article
DASIP: Design and Architectures for Signal and Image Processing, Oct 2012, Karlsruhe, Germany. IEEE, pp.1-8, 2012, <http://www.ecsi.org/dasip2012>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00698621/file/main.pdf BibTex
titre
Algorithmes et Implémentations Optimisées de Calculs Cryptographiques sur les Courbes Elliptiques Binaires
auteur
Jean-Marc Robert
article
C2: Journées Codage et Cryptographie, Oct 2012, Dinard, France. 2012
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01121958/file/C2-111012.pdf BibTex
titre
Automatic Code Transformation to Optimize Accuracy and Speed in Floating-Point Arithmetic
auteur
Philippe Langlois, Matthieu Martel, Laurent Thévenoux
article
SCAN: Scientific Computing, Computer Arithmetic and Validated Numerics, Sep 2012, Novosibirsk, Russia. 15th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, 2012
Accès au bibtex
BibTex
titre
Sardana: an Automatic Tool for Numerical Accuracy Optimization
auteur
Arnault Ioualalen, Matthieu Martel
article
SCAN: Scientific Computing, Computer Arithmetic and Validated Numerics, Sep 2012, Novosibirsk, Russia. pp.1-4, 2012
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00698619/file/main3.pdf BibTex
titre
Approach based on instruction selection for fast and certified code generation
auteur
Christophe Mouilleron, Mohamed Amine Najahi, Guillaume Revy
article
SCAN: Scientific Computing, Computer Arithmetic and Validated Numerics, Sep 2012, Novosibirsk, Russia. 15th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, 2012
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-00813055/file/MoNaRe12.pdf BibTex
titre
A New Abstract Domain for the Representation of Mathematically Equivalent Expressions
auteur
Arnault Ioualalen, Matthieu Martel
article
SAS: Static Analysis Symposium, Sep 2012, Deauville, France. Springer, 19th International Static Analysis Symposium, LNCS (7460), pp.75-93, 2012, <http://www.sas2012.ens.fr/>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00698618/file/main.pdf BibTex
titre
Accurate Evaluation of Arithmetic Expressions (Invited Talk)
auteur
Matthieu Martel
article
NSAD: Numerical and Symbolic Abstract Domains, Sep 2012, Deauville, France. Elsevier, 4th International Workshop on Numerical and Symbolic Abstract Domains, 287, pp.3-16, 2012, <http://nsad2012.ucombinator.org/>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00812995/file/NSAD12_martel.pdf BibTex
titre
Towards Faster and Greener Cryptoprocessor for Eta Pairing on Supersingular Elliptic Curve over F_{2^{1223}}
auteur
Adikari Jithra, Anwar Hasan, Christophe Negre
article
Springer. Selected Areas in Cryptography, Aug 2012, Windsor, Canada. 7707, pp.166-183, 2013, LNCS. <http://www1.uwindsor.ca/sac2012/>. <10.1007/978-3-642-35999-6_12>
Accès au bibtex
BibTex
titre
Computing Time for Summation Algorithm: Less Hazard and More Scientific Research
auteur
Bernard Goossens, Philippe Langlois, David Parello, Kathy Porada
article
Numerical Sofware: Design, Analysis and Verification, Jul 2012, Santander, Spain. 2012, Numerical Software: Design, Analysis and Verification IFIP WG2.5, Santander, July 4?6 2012. <http://personales.unican.es/segurajj/numsoft12/>
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-00835508/file/ifip12_sl.pdf BibTex

Book sections

titre
PerPI: A Tool to Measure Instruction Level Parallelism
auteur
Bernard Goossens, Philippe Langlois, David Parello, Eric Petit
article
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>
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01349703/file/para10-lncs.pdf BibTex

Poster communications

titre
Design of Fixed-Point Embedded Systems (defis) French ANR Project
auteur
Daniel Ménard, Romuald Rocher, Olivier Sentieys, Nicolas Simon, Laurent-Stéphane Didier, Thibault Hilaire, Benoît Lopez, Eric Goubault, Sylvie Putot, Franck Vedrine, Mohamed Amine Najahi, Guillaume Revy, Laurent Fangain, Christian Samoyeau, Fabrice Lemonnier, Christophe Clienti
article
DASIP: Design and Architectures for Signal and Image Processing, Oct 2012, Karlsruhe, Germany. pp.365-366, 2012, <http://www.ecsi.org/dasip2012>
Accès au bibtex
BibTex
titre
Synthesis of fixed-point programs based on instruction selection, the case of polynomial evaluation
auteur
Mohamed Amine Najahi
article
RAIM: Rencontres Arithmétiques de l?Informatique Mathématique, Jun 2012, Dijon, France. 5ièmes Rencontres Arithmétique de l?Informatique Mathématique, 2012
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01277361/file/RAIM2012-22062012.pdf BibTex

Reports

titre
Less Hazardous and More Scientific Research for Summation Algorithm Computing Times
auteur
Philippe Langlois, David Parello, Bernard Goossens, Kathy Porada
article
[Research Report] RR-12021, Lirmm. 2012
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-00737617/file/hal-scico12.pdf BibTex
titre
Sequential Multiplier with Sub-linear Gate Complexity
auteur
Anwar Hasan, Christophe Negre
article
[Research Report] 2012, pp.12
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00712085/file/sub-linv16.pdf BibTex
titre
De quoi est faite une trace d'exécution ?
auteur
Bernard Goossens, Ali El Moussaoui, Ke Chen, David Parello
article
[Research Report] RR-13009, Lirmm. 2012
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-00816103/file/papiertsisympa14.pdf BibTex

2011

Journal articles

titre
High performance GHASH and impacts of a class of unconventional bases
auteur
Nicolas Méloni, Christophe Negre, Anwar Hasan
article
Journal of Cryptographic Engineering, Springer, 2011, 1 (3), pp.201-218. <10.1007/s13389-011-0013-z>
Accès au bibtex
BibTex
titre
Accélération de la simulation modulaire
auteur
Mourad Bouache, David Parello, Bernard Goossens
article
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2011, 30 (9/2011), pp.1115-1134. <10.3166/tsi.30.1115-1134>
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-00675917/file/BoPaGo11.pdf BibTex
titre
Low Space Complexity Multiplication over Binary Fields with Dickson Polynomial Representation
auteur
Anwar Hasan, Christophe Negre
article
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2011, 60 (4), pp.602-607
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00813621/file/hasan-negre-dickson-basis9-final.pdf BibTex
titre
Computing floating-point square roots via bivariate polynomial evaluation
auteur
Claude-Pierre Jeannerod, Hervé Knochel, Christophe Monat, Guillaume Revy
article
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2011, 60 (2), pp.214-227. <10.1109/TC.2010.152>
Accès au bibtex
BibTex

Conference papers

titre
RangeLab: a Static-Analyzer to Bind the Accuracy of Finite-Precision Computations
auteur
Matthieu Martel
article
SYNASC: Symbolic and Numeric Algorithms for Scientific Computing, Sep 2011, Timisoara, Romania. IEEE, 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, pp.118-122, 2011, <http://synasc11.info.uvt.ro/>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00813002/file/synasc11.pdf BibTex
titre
Improved Three-Way Split Formulas for Binary Polynomial Multiplication
auteur
Murat Cenk, Christophe Negre, Anwar Hasan
article
Springer. SAC: Selected Areas in Cryptography, Aug 2011, Toronto, Canada. 18th International Workshop on Selected Areas in Cryptography, LNCS (7118), pp.384-398, 2012, Selected Areas in Cryptography. <10.1007/978-3-642-28496-0_23>
Accès au bibtex
BibTex
titre
Automatic Generation of Fast and Certified Code for Polynomial Evaluation
auteur
Christophe Mouilleron, Guillaume Revy
article
ARITH: Computer Arithmetic, Jul 2011, Tübingen, Germany. IEEE, Computer Arithmetic (ARITH), 2011 20th IEEE Symposium on, pp.233-242, 2011, <http://www.ac.usc.es/arith20/>. <10.1109/ARITH.2011.39>
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00531721/file/MouRev11.pdf BibTex
titre
How to Square Floats Accurately and Efficiently on the ST231 Integer Processor
auteur
Claude-Pierre Jeannerod, Jingyan Jourdan-Lu, Christophe Monat, Guillaume Revy
article
ARITH: Computer Arithmetic, Jul 2011, Tübingen, Germany. Computer Arithmetic (ARITH), 2011 20th IEEE Symposium on, pp.77-81, 2011, <http://www.ac.usc.es/arith20/>. <10.1109/ARITH.2011.19>
Accès au bibtex
BibTex
titre
De quoi est fait une trace d'exécution ?
auteur
Bernard Goossens, Ali El Moussaoui, Ke Chen, David Parello
article
SympA: Symposium en Architecture de Machines, Apr 2011, Saint-Malo, France. 2011
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-00675934/file/BoMoKe11.pdf BibTex

Preprints, Working Papers, ...

titre
The mini-square propagation over block cipher and its application to AES and Camellia
auteur
Anwar Hasan, Christophe Negre
article
2011
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00556843/file/mini-square-attack4.pdf BibTex

Publications antérieures au 1er janvier 2011

Voir ici

Équipe-Projet DALI

Université de Perpignan Via Domitia, Bâtiment B - 1er étage, 52 avenue Paul Alduy - F-66860 Perpignan cedex 9, France

LIRMM, CNRS: UMR 5506 - Université Montpellier 2, 161 rue Ada, 34095 Montpellier Cedex 5, France