Sites Inria

English version

Equipe de recherche ARENAIRE

Publications de l'équipe ARENAIRE

2013

Article dans une revue

titre
Wave equation numerical resolution: a comprehensive mechanized proof of a C program
auteur
Sylvie Boldo, François Clément, Jean-Christophe Filliâtre, Micaela Mayero, Guillaume Melquiond, Pierre Weis
article
Journal of Automated Reasoning, Springer Verlag, 2013, 50 (4), pp.423-456. ⟨10.1007/s10817-012-9255-4⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00649240/file/RR-7826.pdf BibTex

2012

Article dans une revue

titre
On the computation of correctly-rounded sums
auteur
Peter Kornerup, Vincent Lefèvre, Nicolas Louvet, Jean-Michel Muller
article
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2012, 61 (3), p. 289-298. ⟨10.1109/TC.2011.27⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00331519/file/TC-2010-04-0248.R1.pdf BibTex
titre
FPGA-Specific Synthesis of Loop Nests with Pipelined Computational Cores
auteur
Christophe Alias, Bogdan Pasca, Alexandru Plesco
article
Microprocessors and Microsystems: Embedded Hardware Design (MICPRO), Elsevier, 2012, 36 (8), pp.606-619. ⟨10.1016/j.micpro.2012.06.009⟩
Accès au bibtex
BibTex
titre
Perturbation Analysis of the QR Factor R in the Context of LLL Lattice Basis Reduction
auteur
Xiao-Wen Chang, Damien Stehlé, Gilles Villard
article
Mathematics of Computation, American Mathematical Society, 2012, 81 (279), pp.1487-1511
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00529425/file/qrperturb2011.pdf BibTex

Communication dans un congrès

titre
Interval matrix multiplication on parallel architectures
auteur
Philippe Théveny, Nathalie Revol
article
SCAN 2012: 15th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations, Sep 2012, Novosibirsk, Russia
Accès au bibtex
BibTex
titre
Tradeoffs between Accuracy and Efficiency for Interval Matrix Multiplication
auteur
Nathalie Revol, Hong Diep Nguyen, Philippe Théveny
article
Numerical Software 2012: Design, Analysis and Verification, Jul 2012, Santander, Spain
Accès au bibtex
BibTex
titre
Divers algorithmes de produits de matrices intervalles
auteur
Philippe Théveny
article
RAIM 2012 : Rencontres "Arithmétique de l'Informatique Mathématique", Jun 2012, Dijon, France
Accès au bibtex
BibTex
titre
L'effort de normalisation IEEE-1788 de l'arithmétique par intervalles
auteur
Nathalie Revol
article
RAIM 2012 : Rencontres "Arithmétique de l'Informatique Mathématique", Jun 2012, Dijon, France
Accès au bibtex
BibTex
titre
Tradeoffs between Accuracy and Efficiency for Optimized and Parallel Interval Matrix Multiplication
auteur
Hong Diep Nguyen, Nathalie Revol, Philippe Théveny
article
PARA 2012 - Workshop on the State-of-the-Art in Scientific and Parallel Computing, Jun 2012, Helsinki, Finland
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00704288/file/Nguyen-Revol-Theveny.pdf BibTex
titre
Rigorous Polynomial Approximation using Taylor Models in Coq
auteur
Nicolas Brisebarre, Mioara Maria Joldes, Érik Martin-Dorel, Micaela Mayero, Jean-Michel Muller, Ioana Pasca, Laurence Rideau, Laurent Théry
article
Alwyn Goodloe and Suzette Person. Fourth NASA Formal Methods Symposium, Apr 2012, Norfolk, Virginia, United States. Springer, pp.15, 2012, Lecture Notes in Computer Science
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00653460/file/NFM2012_Brisebarre_et_al.pdf BibTex
titre
34 Gb/s PDM-QPSK coherent receiver using SiGe ADCs and a single FPGA for digital signal processing
auteur
Eric Dutisseuil, Jean-Marc Tanguy, Adrian Voicila, Rémi Laube, Francois Bore, Honore Takeugming, Florent de Dinechin, Frédéric Cérou, And Gabriel Charlet
article
Optical Fiber Communication Conference, Mar 2012, nc, United States. pp.OM3H.7
Accès au bibtex
BibTex

2011

Article dans une revue

titre
A validated real function calculus
auteur
Pieter Collins, Milad Niqui, Nathalie Revol
article
Mathematics in Computer Science, Springer, 2011, 5 (4), pp.437-467
Accès au bibtex
BibTex
titre
Designing Custom Arithmetic Data Paths with FloPoCo
auteur
Florent de Dinechin, Bogdan Pasca
article
IEEE Design & Test, IEEE, 2011, 28, pp.18-27
Accès au bibtex
BibTex
titre
Exact and Approximated error of the FMA
auteur
Sylvie Boldo, Jean-Michel Muller
article
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2011, 60 (2), pp.157-164. ⟨10.1109/TC.2010.139⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00429617/file/fma_err.pdf BibTex
titre
Performing Arithmetic Operations on Round-to-Nearest Representations
auteur
Peter Kornerup, Jean-Michel Muller, Adrien Panhaleux
article
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2011, 60 (2), pp.282-291. ⟨10.1109/TC.2010.134⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00548988/file/RN_TC_2011.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
titre
Certifying the floating-point implementation of an elementary function using Gappa
auteur
Florent de Dinechin, Christoph Lauter, Guillaume Melquiond
article
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2011, 60 (2), pp.242-253. ⟨10.1109/TC.2010.128⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/ensl-00200830/file/10-tc.pdf BibTex
titre
Midpoints and exact points of some algebraic functions in floating-point arithmetic
auteur
Claude-Pierre Jeannerod, Nicolas Louvet, Jean-Michel Muller, Adrien Panhaleux
article
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2011, 60 (2), pp.228-241. ⟨10.1109/TC.2010.144⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00409366/file/midpoints_TC_publies.pdf BibTex
titre
Decoding by Sampling: A Randomized Lattice Algorithm for Bounded Distance Decoding
auteur
Cong Ling, Shuiyin Liu, Damien Stehlé
article
IEEE Transactions on Information Theory, Institute of Electrical and Electronics Engineers, 2011, pp.5933-5945
Accès au bibtex
BibTex
titre
Solving and Certifying the Solution of a Linear System
auteur
Hong Diep Nguyen, Nathalie Revol
article
Reliable Computing, Springer Verlag, 2011, 15 (2), pp.120-131
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00546856/file/Nguyen-Revol.pdf BibTex
titre
Efficient and accurate computation of upper bounds of approximation errors
auteur
Sylvain Chevillard, John Harrison, Mioara Maria Joldes, Christoph Lauter
article
Theoretical Computer Science, Elsevier, 2011, 412 (16), pp.1523-1543. ⟨10.1016/j.tcs.2010.11.052⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00445343/file/RRLIP2010-2.pdf BibTex
titre
Kaltofen's division-free determinant algorithm differentiated for matrix adjoint computation
auteur
Gilles Villard
article
Journal of Symbolic Computation, Elsevier, 2011, 46 (7), pp.773-790. ⟨10.1016/j.jsc.2010.08.012⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00335918/file/detdiff.pdf BibTex

Communication dans un congrès

titre
Mixed-precision Fused Multiply and Add
auteur
Nicolas Brunie, Florent de Dinechin, Benoît de Dinechin
article
45th Asilomar Conference on Signals, Systems & Computers, Nov 2011, United States. pp.165-169
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00642157/file/mpfma.pdf BibTex
titre
Verified Numerical Linear Algebra: Linear System Solving
auteur
Nathalie Revol
article
2011 SIAM Conference on Applied Algebraic Geometry, Oct 2011, Raleigh, United States
Accès au bibtex
BibTex
titre
Exact computations with an arithmetic known to be approximate (invited talk)
auteur
Jean-Michel Muller
article
MaGiX@LiX 2011, Sep 2011, Palaiseau, France
Accès au bibtex
BibTex
titre
Generating a Minimal Interval Arithmetic Based on GNU MPFR
auteur
Vincent Lefèvre
article
Uncertainty modeling and analysis with intervals: Foundations, tools, applications (Dagstuhl Seminar 11371), Isaac Elishakoff, Vladik Kreinovich, Wolfram Luther, Evgenija D. Popova, Sep 2011, Dagstuhl, Germany. pp.43, ⟨10.4230/DagRep.1.9.26⟩
Accès au bibtex
BibTex
titre
An FPGA architecture for solving the Table Maker's Dilemma
auteur
Florent de Dinechin, Jean-Michel Muller, Bogdan Pasca, Alexandru Plesco
article
Application-Specific Systems, Architectures and Processors (ASAP), 2011 IEEE International Conference on, Sep 2011, Santa Monica, United States. pp.187-194, ⟨10.1109/ASAP.2011.6043267⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00640063/file/PID1914885.pdf BibTex
titre
Refining and verifying efficiently the solution of a linear system
auteur
Nathalie Revol, Hong Diep Nguyen
article
Dagstuhl Seminar 11371: Uncertainty modeling and analysis with intervals: Foundations, tools, applications, Sep 2011, Dagstuhl, Germany
Accès au bibtex
BibTex
titre
IEEE 1788 Working Group for the Standardization of Interval Arithmetic: a brief overview
auteur
Nathalie Revol
article
Dagstuhl Seminar 11371: Uncertainty modeling and analysis with intervals: Foundations, tools, applications, Sep 2011, Dagstuhl, Germany
Accès au bibtex
BibTex
titre
FPGA-Specific Arithmetic Optimizations of Short-Latency Adders
auteur
Hong Diep Nguyen, Bogdan Pasca, Thomas Preusser
article
2011 International Conference on Field Programmable Logic and Applications (FPL), Sep 2011, Chania, Greece. pp.232 - 237, ⟨10.1109/FPL.2011.49⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00542389/file/short_latency_adders.pdf 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. pp.233-242, ⟨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
The arithmetic operators you will never see in a microprocessor
auteur
Florent de Dinechin
article
20th IEEE Symposium on Computer Arithmetic, Jul 2011, Tuebingen, Germany. pp.189-190
Accès au bibtex
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. pp.77-81, ⟨10.1109/ARITH.2011.19⟩
Accès au bibtex
BibTex
titre
Augmented precision square roots, 2-D norms, and discussion on correctly rounding {x^2+y^2}
auteur
Nicolas Brisebarre, Mioara Maria Joldes, Peter Kornerup, Érik Martin-Dorel, Jean-Michel Muller
article
20th IEEE Symposium on Computer Arithmetic (ARITH-20), Jul 2011, Tübingen, Germany. pp.23-30, ⟨10.1109/ARITH.2011.13⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00545591/file/PID1818753.pdf BibTex
titre
Refining and verifying the solution of a linear system
auteur
Hong Diep Nguyen, Nathalie Revol
article
SNC 2011 - Symbolic Numeric Computation, Jun 2011, San Jose, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00641659/file/Nguyen-Revol-SNC.pdf BibTex
titre
Une architecture unifiée pour traiter la divergence de contrôle et la divergence mémoire en SIMT
auteur
Sylvain Collange
article
SYMPosium en Architectures, May 2011, Saint-Malo, France. pp.02
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00576049/file/collange_sympa2011.pdf BibTex
titre
Automatic Generation of FPGA-Specific Pipelined Accelerators
auteur
Christophe Alias, Bogdan Pasca, Alexandru Plesco
article
International Symposium on Applied Reconfigurable Computing (ARC'11), Mar 2011, Belfast, United Kingdom. LNCS 6578, Springer, 2011, 〈http://www.springer.com/fr/book/9783642194740〉
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00549682/file/rr.pdf BibTex
titre
Practical polynomial factoring in polynomial time.
auteur
William Hart, Mark Van Hoeij, Andrew Novocin
article
Proceedings of ISSAC 2011, 2011, United States. pp.163-170
Accès au bibtex
BibTex
titre
An LLL-reduction algorithm with quasi-linear time complexity
auteur
Andrew Novocin, Damien Stehlé, Gilles Villard
article
STOC'11 - 43rd annual ACM symposium on Theory of computing, 2011, San Jose, United States. pp.403-412, ⟨10.1145/1993636.1993691⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00534899/file/L1-hal.pdf BibTex
titre
Making NTRU as secure as worst-case problems over ideal lattices
auteur
Damien Stehlé, Ron Steinfeld
article
Proceedings of EUROCRYPT 2011, 2011, Estonia. pp.27-47
Accès au bibtex
BibTex
titre
Analyzing Blockwise Lattice Algorithms using Dynamical Systems
auteur
Guillaume Hanrot, Xavier Pujol, Damien Stehlé
article
CRYPTO 2011, 2011, United States. pp.447-464
Accès au bibtex
BibTex
titre
Decoding by Embedding: Correct Decoding Radius and DMT Optimality
auteur
Cong Ling, Shuiyin Liu, Laura Luzzi, Damien Stehlé
article
Proceedings of ISIT 2011, 2011, Russia. pp.1106 - 1110
Accès au bibtex
BibTex
titre
Algorithms for the Shortest and Closest Lattice Vector Problems
auteur
Guillaume Hanrot, Xavier Pujol, Damien Stehlé
article
IWCC 2011, 2011, China. pp.159-190
Accès au bibtex
BibTex
titre
Recent progress in linear algebra and lattice basis reduction (invited)
auteur
Gilles Villard
article
ISSAC'11 - International symposium on Symbolic and algebraic computation, 2011, San Jose, United States. pp.3-4, ⟨10.1145/1993886.1993889⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00644796/file/p3-villard.pdf BibTex
titre
Practical Divide-and-Conquer Algorithms for Polynomial Arithmetic
auteur
William Hart, Andrew Novocin
article
Proceedings of CASC 2011, 2011, Germany. pp.200-214
Accès au bibtex
BibTex
titre
Generating subfields
auteur
Mark Van Hoeij, Jürgen Klüners, Andrew Novocin
article
Proceedings of ISSAC 2011, 2011, United States. pp.345-352
Accès au bibtex
BibTex

HDR

titre
Euclidean lattices: algorithms and cryptography
auteur
Damien Stehlé
article
Cryptography and Security [cs.CR]. Ecole normale supérieure de lyon - ENS LYON, 2011
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00645387/file/HDR_full.pdf BibTex

Autre publication

titre
Efficient algorithms for verified scientific computing: Numerical linear algebra using interval arithmetic
auteur
Hong Diep Nguyen
article
2011
Accès au bibtex
BibTex

Rapport

titre
Rank-profile revealing Gaussian elimination and the CUP matrix decomposition
auteur
Claude-Pierre Jeannerod, Clément Pernet, Arne Storjohann
article
[Research Report] 2011, pp.32
Accès au bibtex
https://arxiv.org/pdf/1112.5717 BibTex
titre
SIPE: Small Integer Plus Exponent
auteur
Vincent Lefèvre
article
[Research Report] RR-7832, INRIA. 2011, pp.21
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00650659/file/RR-7832.pdf BibTex
titre
Affine Vector Cache for memory bandwidth savings
auteur
Sylvain Collange, Alexandre Kouyoumdjian
article
2011
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00649200/file/affinecache_tr.pdf BibTex
titre
Assouplir les contraintes des architectures SIMT à faible coût
auteur
Nicolas Brunie, Sylvain Collange
article
2011
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00649186/file/minpc_tr.pdf BibTex
titre
Stack-less SIMT reconvergence at low cost
auteur
Sylvain Collange
article
2011
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00622654/file/collange_sympa2011_en.pdf BibTex
titre
FPGA-Specific Synthesis of Loop-Nests with Pipelined Computational Cores
auteur
Christophe Alias, Bogdan Pasca, Alexandru Plesco
article
[Research Report] RR-7674, INRIA. 2011, pp.33
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00606977/file/RR-7674.pdf BibTex
titre
Univariate and bivariate integral roots certificates based on Hensel's lifting
auteur
Érik Martin-Dorel
article
2011
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00575673/file/RRLIP2011-1.pdf BibTex
titre
Composite Iterative Algorithm and Architecture for q-th Root Calculation
auteur
Alvaro Vazquez, Javier Bruguera
article
[Research Report] RR-7564, INRIA. 2011, pp.30
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00575573/file/RR-7564.pdf BibTex
titre
Identifying scalar behavior in CUDA kernels
auteur
Sylvain Collange
article
2011
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00555134/file/collange_scalarizing_compiler_rr.pdf BibTex

Thèse

titre
Efficient computation with structured matrices and arithmetic expressions
auteur
Christophe Mouilleron
article
Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2011. English. 〈NNT : 2011ENSL0652〉
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00688388/file/MOUILLERON_Christophe_2011_These.pdf BibTex
titre
Rigorous Polynomial Approximations and Applications
auteur
Mioara Maria Joldes
article
Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2011. English. 〈NNT : 2011ENSL0655〉
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00657843/file/JOLDES_Mioara_-_Maria_2011_These.pdf BibTex
titre
High-performance floating-point computing on reconfigurable circuits
auteur
Bogdan Mihai Pasca
article
Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2011. English. 〈NNT : 2011ENSL0656〉
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00654121/file/PASCA_Bogdan_2011_-_These.pdf BibTex
titre
Efficient algorithms for verified scientific computing : Numerical linear algebra using interval arithmetic
auteur
Hong Diep Nguyen
article
Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2011. English. 〈NNT : 2011ENSL0617〉
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00680352/file/NGUYEN_Hong_-_Diep_2011_These.pdf BibTex

2010

Article dans une revue

titre
Rigorous Perturbation Bounds of Some Matrix Factorizations
auteur
Xiao-Wen Chang, Damien Stehlé
article
SIAM Journal on Matrix Analysis and Applications, Society for Industrial and Applied Mathematics, 2010, 31 (5), pp.2841--2859
Accès au bibtex
BibTex
titre
Improved Design of High-Performance Parallel Decimal Multipliers
auteur
Alvaro Vazquez, Elisardo Antelo, Paolo Montuschi
article
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2010, 59 (5), pp.679-693
Accès au bibtex
BibTex
titre
Bringing fast floating-point arithmetic into embedded integer processors
auteur
Christian Bertin, Claude-Pierre Jeannerod, Christophe Monat
article
HiPEAC Newsletter, 2010, pp.11-12
Accès au bibtex
BibTex
titre
Computing Correctly Rounded Integer Powers in Floating-Point Arithmetic
auteur
Peter Kornerup, Christoph Lauter, Vincent Lefèvre, Nicolas Louvet, Jean-Michel Muller
article
ACM Transactions on Mathematical Software, Association for Computing Machinery, 2010, 37 (1), pp.4:1-4:23. ⟨10.1145/1644001.1644005⟩
Accès au bibtex
BibTex
titre
An Efficient Method for Evaluating Complex Polynomials
auteur
Milos Ercegovac, Jean-Michel Muller
article
Journal of Signal Processing Systems, Springer, 2010, 58 (1), pp.17-27. ⟨10.1007/s11265-008-0265-8⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00446889/file/ErcegovacMuller2010.pdf BibTex
titre
Why and How to Use Arbitrary Precision
auteur
Kaveh Ghazi, Vincent Lefèvre, Philippe Théveny, Paul Zimmermann
article
Computing in Science and Engineering, Institute of Electrical and Electronics Engineers, 2010, 12 (3), pp.62-65. ⟨10.1109/MCSE.2010.73⟩
Accès au bibtex
BibTex
titre
Analyse numérique et réduction de réseaux
auteur
Ivan Morel, Damien Stehlé, Gilles Villard
article
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2010, 29 (1), pp.115-144. ⟨10.3166/tsi.29.115-144⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00327678/file/afrr-hal.pdf BibTex

Communication dans un congrès

titre
Efficient implementation of Parallel BCD Multiplication in LUT-6 FPGAs
auteur
Alvaro Vazquez, Florent De Dinechin
article
2010 International Conference on Field-Programmable Technology, Dec 2010, Beijing, China. 2010
Accès au bibtex
BibTex
titre
Floating-point exponential functions for DSP-enabled FPGAs
auteur
Florent de Dinechin, Bogdan Pasca
article
International Conference on Field-Programmable Technology, Dec 2010, Beijing, China. pp.110-117
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00506125/file/RR2010-23.pdf BibTex
titre
Multi-Operand Decimal Addition by Efficient Reuse of a Binary Carry-Save Adder Tree
auteur
Alvaro Vazquez, Elisardo Antelo
article
44th ASILOMAR Conference on Signals, Systems and Computers, Dec 2010, Pacific Grove, CA, United States
Accès au bibtex
BibTex
titre
A 128-Tap Complex FIR Filter Processing 20 Giga-Samples/s in a Single FPGA
auteur
Florent de Dinechin, Honoré Takeugming, Jean-Marc Tanguy
article
44th Conference on signals, systems and computers, United States
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00542950/file/2010-36.pdf BibTex
titre
Formalization of Hensel's lemma in Coq
auteur
Érik Martin-Dorel
article
TYPES 2010: The 17th Workshop on Types for Proofs and Programs, Oct 2010, Warsaw, Poland
Accès au bibtex
BibTex
titre
Code generation for argument filtering and argument reduction in elementary functions
auteur
Florent de Dinechin, Claude-Pierre Jeannerod, David Pfannholzer, Nathalie Revol
article
SCAN 2010: 14th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, Revol, Nathalie and de Dinechin, Florent and Jeannerod, Claude-Pierre and Lefèvre, Vincent and Louvet, Nicolas and Morin, Sèverine and Nguyen, Hong Diep, Sep 2010, Lyon, France
Accès au bibtex
BibTex
titre
Accuracy issues in linear algebra using interval arithmetic
auteur
Hong Diep Nguyen, Nathalie Revol
article
SCAN 2010: 14th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, Revol, Nathalie and de Dinechin, Florent and Jeannerod, Claude-Pierre and Lefèvre, Vincent and Louvet, Nicolas and Morin, Sèverine and Nguyen, Hong Diep, Sep 2010, Lyon, France
Accès au bibtex
BibTex
titre
Sollya: an environment for the development of numerical codes
auteur
Sylvain Chevillard, Mioara Maria Joldes, Christoph Lauter
article
Third International Congress on Mathematical Software - ICMS 2010, Sep 2010, Kobe, Japan. pp.28 -- 31, ⟨10.1007/978-3-642-15582-6_5⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00761644/file/SollyaExtendedAbstract.pdf BibTex
titre
Standardized Interval Arithmetic and Interval Arithmetic Used in Libraries
auteur
Nathalie Revol
article
ICMS 2010 - Third International Congress on Mathematical Software, Takayama, Nobuki and Fukuda, Komei and van der Hoeven, Joris and Joswig, Michael and Noro, Masayuki, Sep 2010, Kobe, Japan. pp.337--341, ⟨10.1007/978-3-642-15582-6_54⟩
Accès au bibtex
BibTex
titre
Multiplicative square root algorithms for FPGAs
auteur
Florent de Dinechin, Mioara Maria Joldes, Bogdan Pasca, Guillaume Revy
article
International Conference on Field Programmable Logic and Applications, Aug 2010, Milano, Italy. pp.14, ⟨10.1109/FPL.2010.112⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00475779/file/2010-sqrt.pdf BibTex
titre
Pipelined FPGA Adders
auteur
Florent de Dinechin, Hong Diep Nguyen, Bogdan Pasca
article
International Conference on Field Programmable Logic and Applications, Aug 2010, Milano, Italy. pp.422-427, ⟨10.1109/FPL.2010.87⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00475780/file/addition.pdf BibTex
titre
Accelerating lattice reduction with FPGAs
auteur
Jérémie Detrey, Guillaume Hanrot, Xavier Pujol, Damien Stehlé
article
First International Conference on Cryptology and Information Security in Latin America (LATINCRYPT'10), Aug 2010, Puebla, Mexico. pp.124-143, ⟨10.1007/978-3-642-14712-8_8⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00539929/file/enum.pdf BibTex
titre
Computing specified generators of structured matrix inverses
auteur
Claude-Pierre Jeannerod, Christophe Mouilleron
article
35th International Symposium on Symbolic and Algebraic Computation (ISSAC 2010), Jul 2010, Münich, Germany. ⟨10.1145/1837934.1837988⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00450272/file/JeannerodMouilleron2010.pdf BibTex
titre
Techniques and tools for implementing IEEE 754 floating-point arithmetic on VLIW integer processors
auteur
Christian Bertin, Claude-Pierre Jeannerod, Jingyan Jourdan-Lu, Hervé Knochel, Christophe Monat, Christophe Mouilleron, Jean-Michel Muller, Guillaume Revy
article
4th International Workshop on Parallel and Symbolic Computation (PASCO'10), Jul 2010, Grenoble, France. ACM, pp.1-9, 2010, 〈10.1145/1837210.1837212〉
Accès au bibtex
BibTex
titre
High performance linear algebra using interval arithmetic
auteur
Hong Diep Nguyen, Nathalie Revol
article
PASCO'10 4th International Workshop in Parallel and Symbolic Computation, Moreno Maza, Marc and Roch, Jean-Louis, Jul 2010, Grenoble, France. ⟨10.1145/1837210.1837236⟩
Accès au bibtex
BibTex
titre
A Taylor Function Calculus for Hybrid System Analysis: Validation in Coq
auteur
Pieter Collins, Milad Niqui, Nathalie Revol
article
NSV-3: Third International Workshop on Numerical Software Verification., Fainekos, Georgios and Goubault, Eric and Putot, Sylvie, Jul 2010, Edinburgh, United Kingdom
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00473270/file/Collins-Niqui-Revol.pdf BibTex
titre
Certification of a Numerical Result: Use of Interval Arithmetic and Multiple Precision
auteur
Hong Diep Nguyen, Nathalie Revol
article
NSV-3: Third International Workshop on Numerical Software Verification., Fainekos, Georgios and Goubault, Eric and Putot, Sylvie, Jul 2010, Edinburgh, United Kingdom
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00544798/file/Nguyen-Revol-v2.pdf BibTex
titre
Formal proof of a wave equation resolution scheme: the method error
auteur
Sylvie Boldo, François Clément, Jean-Christophe Filliâtre, Micaela Mayero, Guillaume Melquiond, Pierre Weis
article
ITP'10 - Interactive Theorem Proving, Jul 2010, Edinburgh, United Kingdom. pp.147-162, ⟨10.1007/978-3-642-14052-5_12⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00450789/file/RR-7181.pdf BibTex
titre
LEMA: Towards a Language for Reliable Arithmetic
auteur
Vincent Lefèvre, Philippe Théveny, Florent de Dinechin, Claude-Pierre Jeannerod, Christophe Mouilleron, David Pfannholzer, Nathalie Revol
article
International Workshop on Programming Languages for Mechanized Mathematics Systems (PLMMS 2010), Jul 2010, Paris, France. pp.41-52, ⟨10.1145/1838599.1838622⟩
Accès au bibtex
BibTex
titre
Newton-Raphson Algorithms for Floating-Point Division Using an FMA
auteur
Nicolas Louvet, Jean-Michel Muller, Adrien Panhaleux
article
21st IEEE International Conference on Application-specific Systems Architectures and Processors (ASAP), 2010, Jul 2010, Rennes, France. IEEE, pp.200-207, 2010
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00549027/file/Louvet_et_al2010.pdf BibTex
titre
Implementing decimal floating-point arithmetic through binary: some suggestions
auteur
Nicolas Brisebarre, Milos Ercegovac, Nicolas Louvet, Erik Martin-Dorel, Jean-Michel Muller, Adrien Panhaleux
article
21st IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP'2010), Jul 2010, Rennes, France. pp.317-320
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00463353/file/Brisebarreetal2010.pdf BibTex
titre
Automatic generation of polynomial-based hardware architectures for function evaluation
auteur
Florent de Dinechin, Mioara Joldes, Bogdan Pasca
article
Application-specific Systems, Architectures and Processors, Jul 2010, Rennes, France
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00470506/file/RR-LIP-2010-14.pdf BibTex
titre
On the Extremality of an 80-Dimensional Lattice
auteur
Damien Stehlé, Mark Watkins
article
ANTS-IX, Jul 2010, France. LNCS 6197, pp.340--356, 2010
Accès au bibtex
BibTex
titre
Short bases of lattices over number fields
auteur
Claus Fieker, Damien Stehlé
article
ANTS-IX, Jul 2010, France. LNCS 6197, pp.157--173, 2010
Accès au bibtex
BibTex
titre
Formal Proof of SCHUR Conjugate Function
auteur
Franck Butelle, Florent Hivert, Micaela Mayero, Frédéric Toumazet
article
CALCULEMUS 2010, Jul 2010, Paris, France. pp.158-171, ⟨10.1007/978-3-642-14128-7⟩
Accès au bibtex
https://arxiv.org/pdf/1004.5034 BibTex
titre
Efficient implementation of interval matrix multiplication
auteur
Hong Diep Nguyen
article
Para 2010: State of the Art in Scientific and Parallel Computing, Jun 2010, Reykjavik, Iceland
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00469472/file/NGUYEN_mat_prod.pdf BibTex
titre
Multipliers for Floating-Point Double Precision and Beyond on FPGAs
auteur
Sebastian Banescu, Florent de Dinechin, Bogdan Pasca, Radu Tudoran
article
Highly Efficient Accelerators and Reconfigurable Technologies, Jun 2010, Tsukuba, Japan
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00475781/file/dpbt.pdf BibTex
titre
Gradual sub-lattice reduction and a new complexity for factoring polynomials
auteur
Mark Van Hoeij, Andrew Novocin
article
LATIN 2010, Apr 2010, Oaxaca, Mexico
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00452881/file/LATIN2010_novocin.pdf BibTex
titre
Chebyshev Interpolation Polynomial-based Tools for Rigorous Computing
auteur
Nicolas Brisebarre, Mioara Maria Joldes
article
ISSAC '10, 2010 International Symposium on Symbolic and Algebraic Computation, 2010, Münich, Germany. pp.147-154, ⟨10.1145/1837934.1837966⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00472509/file/RRLIP2010-13.pdf BibTex
titre
Faster Fully Homomorphic Encryption
auteur
Damien Stehlé, Ron Steinfeld
article
Proceedings of ASIACRYPT 2010, 2010, Singapore. pp.377--394
Accès au bibtex
BibTex

Chapitre d'ouvrage

titre
Floating-point LLL: theoretical and practical aspects
auteur
Damien Stehlé
article
The LLL Algorithm: survey and applications, Springer, pp.179-213, 2010
Accès au bibtex
BibTex

Direction d'ouvrage, Proceedings, Dossier

titre
Algorithmic Number Theory. 9th. International Symposium, ANTS-IX. Nancy, France, July 2010. Proceedings
auteur
Guillaume Hanrot, François Morain, Emmanuel Thomé
article
Guillaume Hanrot and François Morain and Emmanuel Thomé. 6197, Springer-Verlag, pp.397, 2010, Lecture Notes in Computer Science, 978-3-642-14518-6. 〈10.1007/978-3-642-14518-6〉
Accès au bibtex
BibTex

Ouvrage (y compris édition critique et traduction)

titre
Handbook of Floating-Point Arithmetic
auteur
Jean-Michel Muller, Nicolas Brisebarre, Florent de Dinechin, Claude-Pierre Jeannerod, Vincent Lefèvre, Guillaume Melquiond, Nathalie Revol, Damien Stehlé, Serge Torres
article
Birkhauser Boston, pp.572, 2010
Accès au bibtex
BibTex

Rapport

titre
Multi-operand Decimal Adder Trees for FPGAs
auteur
Alvaro Vazquez, Florent de Dinechin
article
[Research Report] RR-7420, INRIA. 2010, pp.20
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00526327/file/RR-7420.pdf BibTex
titre
On the Computation of Correctly-Rounded Sums
auteur
Peter Kornerup, Vincent Lefèvre, Nicolas Louvet, Jean-Michel Muller
article
[Research Report] RR-7262, INRIA. 2010, pp.24
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00475279/file/RR-7262.pdf BibTex
titre
LEMA: Towards a Language for Reliable Arithmetic
auteur
Vincent Lefèvre, Philippe Théveny, Florent de Dinechin, Claude-Pierre Jeannerod, Christophe Mouilleron, David Pfannholzer, Nathalie Revol
article
[Research Report] RR-7258, INRIA. 2010, pp.15
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00473767/file/RR-7258.pdf BibTex

Pré-publication, Document de travail

titre
A Practical Univariate Polynomial Composition Algorithm
auteur
William Hart, Andrew Novocin
article
Submitted to Journal DMTCS. 2010
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00546102/file/dmtcs_NOVOCIN2010.pdf BibTex
titre
Practical polynomial factoring in polynomial time
auteur
William Hart, Mark Van Hoeij, Andrew Novocin
article
Pre-Print. 2010
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00546114/file/poly_factor_NOVOCIN_2010.pdf BibTex
titre
FPGA-Specific Custom Arithmetic Datapath Design
auteur
Florent de Dinechin, Bogdan Pasca
article
2010
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00542396/file/arithmetic_pipeline.pdf BibTex
titre
A flexible floating-point logarithm for reconfigurable computers
auteur
Florent de Dinechin
article
2010
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00506122/file/RR-2010-22.pdf BibTex
titre
Scaling Newton-Raphson division iterations to avoid double rounding
auteur
Jean-Michel Muller
article
2010
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00496368/file/ScalingNRDiv.pdf BibTex
titre
Computing floating-point square roots via bivariate polynomial evaluation
auteur
Claude-Pierre Jeannerod, Hervé Knochel, Christophe Monat, Guillaume Revy
article
2010
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00335792/file/JeKnMoRe09-ieeeTC-revision.pdf BibTex

2009

Article dans une revue

titre
Erreurs en arithmétique des ordinateurs
auteur
Vincent Lefèvre, Jean-Michel Muller
article
Images des Mathématiques, CNRS, 2009
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00598554/file/Erreurs_en_arithmA_tique_des_ordinateurs_-_Images_des_mathA_matiques.pdf BibTex
titre
Guest Editors' Introduction: Special Section on Computer Arithmetic
auteur
Peter Kornerup, Paolo Montuschi, Jean-Michel Muller, Eric Schwarz
article
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2009, 58 (2), pp.145-147
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00383561/file/IntroSpecSectionFbr08.pdf BibTex
titre
An efficient rounding boundary test for pow(x,y) in double precision
auteur
Christoph Quirin Lauter, Vincent Lefèvre
article
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2009, 58 (2), pp.197-207. ⟨10.1109/TC.2008.202⟩
Accès au bibtex
BibTex
titre
Extending Cardinal's algorithm to a broader class of structured matrices
auteur
Claude-Pierre Jeannerod, Christophe Mouilleron, Gilles Villard
article
ACM Communications in Computer Algebra, Association for Computing Machinery (ACM), 2009, 43 (3/4), pp.84-85. ⟨10.1145/1823931.1823941⟩
Accès au bibtex
BibTex
titre
Algorithms for Accurate, Validated and Fast Polynomial Evaluation
auteur
Stef Graillat, Philippe Langlois, Nicolas Louvet
article
Japan Journal of Industrial and Applied Mathematics, Kinokuniya Company, 2009, 26 (2-3), pp.191-214. ⟨10.1007/BF03186531⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00285603/file/jjiam.pdf BibTex
titre
An LLL Algorithm with Quadratic Complexity
auteur
Phong Q. Nguyen, Damien Stehlé
article
SIAM Journal on Computing, Society for Industrial and Applied Mathematics, 2009, pp.874-903
Accès au bibtex
BibTex

Communication dans un congrès

titre
Optimizing correctly-rounded reciprocal square roots for embedded VLIW cores
auteur
Claude-Pierre Jeannerod, Guillaume Revy
article
Asilomar Conference on Signals, Systems, and Computers, Nov 2009, United States
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00391185/file/JeannerodRevyAsilomar09-finalversion.pdf BibTex
titre
Generating high-performance custom floating-point pipelines
auteur
Florent de Dinechin, Cristian Klein, Bogdan Pasca
article
Field Programmable Logic and Applications, Aug 2009, Prague, Czech Republic
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00379154/file/RR-LIP-2009-16.pdf BibTex
titre
Large multipliers with less DSP blocks
auteur
Florent de Dinechin, Bogdan Pasca
article
Field Programmable Logic and Applications, Aug 2009, Czech Republic
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00356421/file/RR2009-03.pdf BibTex
titre
Design and Implementation of a Radix-4 Complex Division Unit with Prescaling
auteur
Pouya Dormiani, Milos Ercegovac, Jean-Michel Muller
article
20th IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP'09), Jul 2009, Boston, United States
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00379147/file/asap-09.pdf BibTex
titre
Relaxed method to certify the solution of a linear system
auteur
Hong Diep Nguyen, Nathalie Revol
article
SWIM (Small Workshop on Interval Methods), Jun 2009, Lausanne, France
Accès au bibtex
BibTex
titre
On the Computation of Correctly-Rounded Sums
auteur
Peter Kornerup, Vincent Lefèvre, Nicolas Louvet, Jean-Michel Muller
article
19th IEEE Symposium on Computer Arithmetic - Arith'19, Jun 2009, Portland, Oregon, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00367584/file/arith19.pdf BibTex
titre
Efficient Public-Key Encryption Based on Ideal Lattices (Extended Abstract)
auteur
Damien Stehlé, Ron Steinfeld, Keisuke Tanaka, Keita Xagawa
article
Asiacrypt 2009, 2009, Japan. pp.617-635
Accès au bibtex
BibTex
titre
H-LLL: Using Householder inside LLL
auteur
Ivan Morel, Damien Stehlé, Gilles Villard
article
ISSAC 2009, 2009, South Korea. pp.271-278
Accès au bibtex
BibTex

Chapitre d'ouvrage

titre
Digital Arithmetic
auteur
Florent de Dinechin, Milos Ercegovac, Jean-Michel Muller, Nathalie Revol
article
Benjamin Wah. Wiley Encyclopedia of Computer Science and Engineering, Wiley, pp.935-948, 2009
Accès au bibtex
BibTex

Autre publication

titre
Solving the Shortest Lattice Vector Problem in Time 2^2.465n
auteur
Xavier Pujol, Damien Stehlé
article
2009
Accès au bibtex
BibTex

Thèse

titre
Implementation of binary floating-point arithmetic on embedded integer processors - Polynomial evaluation-based algorithms and certified code generation
auteur
Guillaume Revy
article
Modeling and Simulation. Université de Lyon; Ecole normale supérieure de lyon - ENS LYON, 2009. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00469661/file/Revy09.pdf BibTex
titre
Évaluation efficace de fonctions numériques - Outils et exemples
auteur
Sylvain Chevillard
article
Modélisation et simulation. Université de Lyon; Ecole normale supérieure de lyon - ENS LYON, 2009. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00460776/file/TheseSylvainChevillard.pdf BibTex

Pré-publication, Document de travail

titre
Performing Arithmetic Operations on Round-to-Nearest Representations
auteur
Adrien Panhaleux, Peter Kornerup, Jean-Michel Muller
article
2009
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00441933/file/KoMuPa2009.pdf BibTex
titre
Représentation des nombres et calcul sur ordinateur
auteur
Jean-Michel Muller
article
2009
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00391070/file/ConferenceMLIS.pdf BibTex
titre
Racines carrées multiplicatives sur FPGA
auteur
Florent de Dinechin, Mioara Maria Joldes, Bogdan Pasca, Guillaume Revy
article
2009
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00388064/file/RRLIP2009-19.pdf BibTex
titre
A new binary floating-point division algorithm and its software implementation on the ST231 processor
auteur
Claude-Pierre Jeannerod, Hervé Knochel, Christophe Monat, Guillaume Revy, Gilles Villard
article
2009
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00335892/file/fpdiv-hal-V2.pdf BibTex

2008

Article dans une revue

titre
Fonctions élémentaires en virgule flottante pour les accélérateurs reconfigurables
auteur
Jérémie Detrey, Florent de Dinechin
article
Techniques et Sciences Informatiquess, Editions Hermès, 2008, Architecture des Ordinateurs, 27 (6), pp.673-698. ⟨10.3166/tsi.27.673-698⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00424001/file/detreydinechin.pdf BibTex
titre
Emulation of a FMA and correctly-rounded sums: proved algorithms using rounding to odd
auteur
Sylvie Boldo, Guillaume Melquiond
article
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2008, 57 (4), pp.462-471. ⟨10.1109/TC.2007.70819⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/inria-00080427/file/odd-rounding.pdf BibTex

Communication dans un congrès

titre
An Efficient Method for Evaluating Polynomial and Rational Function Approximations
auteur
Nicolas Brisebarre, Sylvain Chevillard, Milos Ercegovac, Jean-Michel Muller, Serge Torres
article
ASAP 08, Jul 2008, Leuven, Belgium. pp.233 -- 238
Accès au bibtex
BibTex
titre
Discussions on an Interval Arithmetic Standard at Dagstuhl Seminar 08021
auteur
R. Baker Kearfott, John D. Pryce, Nathalie Revol
article
Dagstuhl Seminar 08021: Numerical Validation in Current Hardware Architectures, Cuyt, Annie and Krämer, Walter and Luther, Wolfram and Markstein, Peter, Jan 2008, Dagstuhl, Germany. pp.1-6, ⟨10.1007/978-3-642-01591-5_1⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00545059/file/IntervalDiscussReport02-07.pdf BibTex
titre
Rigorous and efficient short lattice vectors enumeration
auteur
Xavier Pujol, Damien Stehlé
article
Asiacrypt 2008, 2008, Australia. pp.390-405
Accès au bibtex
BibTex
titre
Speeding-up Lattice Reduction with Random Projections
auteur
Ali Akhavi, Damien Stehlé
article
LATIN 2008, 2008, Brazil. pp.293-305
Accès au bibtex
BibTex

Chapitre d'ouvrage

titre
Worst Cases for the Exponential Function in the IEEE 754r decimal64 Format
auteur
Vincent Lefèvre, Damien Stehlé, Paul Zimmermann
article
P. Hertling; C.M. Hoffmann; W. Luther; N. Revol. Reliable Implementation of Real Number Algorithms: Theory and Practice, 5045, Springer, pp.114-126, 2008, Lecture Notes in Computer Science, 978-3-540-85521-7. ⟨10.1007/978-3-540-85521-7_7⟩. ⟨http://www.dagstuhl.de/06021⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00068731/file/decimalexp-postprint.pdf BibTex

Rapport

titre
Compensated Horner algorithm in K times the working precision
auteur
Philippe Langlois, Nicolas Louvet
article
[Research Report] 2008
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00267077/file/LaLo07.pdf BibTex
titre
Worst-Case Hermite-Korkine-Zolotarev Reduced Lattice Bases
auteur
Guillaume Hanrot, Damien Stehlé
article
[Research Report] RR-6422, INRIA. 2008, pp.25
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00211875/file/RR-6422.pdf BibTex

Thèse

titre
mesostructured porous materials: pore and surface engineering towards bio-inspired synthesis of heterogeneous copper catalysts
auteur
Kun Zhang
article
Chemical Sciences. Ecole normale supérieure de lyon - ENS LYON, 2008. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00310153/file/NANOPOROUS_MATERIALS19-2-07.pdf BibTex
titre
Opérateurs arithmétiques matériels optimisés
auteur
Romain Michard
article
Autre [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2008. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00301285/file/these-romain_michard.pdf BibTex

Pré-publication, Document de travail

titre
Computing Correctly Rounded Integer Powers in Floating-Point Arithmetic
auteur
Jean-Michel Muller, Peter Kornerup, Christoph Lauter, Vincent Lefèvre, Nicolas Louvet
article
2008
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00278430/file/power-journalV9.pdf BibTex

2007

Article dans une revue

titre
Fast and correctly rounded logarithms in double precision
auteur
Jean-Michel Muller, Florent de Dinechin, Christoph Lauter
article
RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), EDP Sciences, 2007, 41 (1), pp.85-102. ⟨10.1051/ita:2007003⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00000007/file/log.pdf https://hal-ens-lyon.archives-ouvertes.fr/ensl-00000007/file/RR2005-37.pdf BibTex
titre
A Tool for Unbiased Comparison between Logarithmic and Floating-point Arithmetic
auteur
Florent de Dinechin, Jérémie Detrey
article
Journal of VLSI Signal Processing / J VLSI Sign Process Syst Sign Image Video Technol, Kluwer Academic Publishers, 2007, 49 (1), pp.161-175. ⟨10.1007/s11265-007-0048-7⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00542212/file/DetreyDinechin.pdf BibTex
titre
Formally Certified Floating-Point Filters For Homogeneous Geometric Predicates
auteur
Guillaume Melquiond, Sylvain Pion
article
RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), EDP Sciences, 2007, 41, pp.57-69. ⟨10.1051/ita:2007005⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071232/file/pion_melquiond.pdf BibTex

Communication dans un congrès

titre
Improved Analysis of Kannan's Shortest Lattice Vector Algorithm
auteur
Guillaume Hanrot, Damien Stehlé
article
Advances in Cryptology - Crypto'07, Aug 2007, Santa Barbara, United States. pp.170-186, ⟨10.1007/978-3-540-74143-5_10⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00145049/file/RR-6186.pdf BibTex
titre
Efficient polynomial $L^{\infty}$-approximations
auteur
Nicolas Brisebarre, Sylvain Chevillard
article
18th IEEE Symposium on Computer Arithmetic, Jun 2007, Montpellier, France. pp.169-176, ⟨10.1109/ARITH.2007.17⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00119513/file/RR-6060.pdf BibTex
titre
Worst Cases of a Periodic Function for Large Arguments
auteur
Guillaume Hanrot, Vincent Lefèvre, Damien Stehlé, Paul Zimmermann
article
18th IEEE Symposium in Computer Arithmetic, Jun 2007, Montpellier, France. pp.133-140, ⟨10.1109/ARITH.2007.37⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00126474/file/RR-6106.pdf BibTex
titre
Floating-Point $L^2$-Approximations
auteur
Nicolas Brisebarre, Guillaume Hanrot
article
18th IEEE Symposium in Computer Arithmetic, Jun 2007, Montpellier, France. pp.177-186, ⟨10.1109/ARITH.2007.38⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00119254/file/RR-6058.pdf BibTex

Thèse

titre
Opérateurs arithmétiques matériels pour des applications spécifiques
auteur
Nicolas Veyrat-Charvillon
article
Autre [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2007. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00438603/file/PhD2007-04.pdf BibTex

2006

Article dans une revue

titre
Parameterized floating-point logarithm and exponential functions for FPGAs
auteur
Florent de Dinechin, Jérémie Detrey
article
Microprocessors and Microsystems: Embedded Hardware Design (MICPRO), Elsevier, 2006, 31 (8), pp.537-545. ⟨10.1016/j.micpro.2006.02.008⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00542213/file/DetreyDinechinJMM.pdf BibTex
titre
Leading Guard Digits in Finite-Precision Redundant Representations
auteur
Jean-Michel Muller, Peter Kornerup
article
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2006, 55 (5), pp.541-548. ⟨10.1109/TC.2006.79⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00000001/file/TCMai06.pdf BibTex
titre
Computing machine-efficient polynomial approximations
auteur
Jean-Michel Muller, Nicolas Brisebarre, Arnaud Tisserand
article
ACM Transactions on Mathematical Software, Association for Computing Machinery, 2006, 32 (2), pp.236-256. ⟨10.1145/1141885.1141890⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00086826/file/finalversion.pdf BibTex
titre
Choosing Starting Values for certain Newton-Raphson Iterations
auteur
Jean-Michel Muller, Peter Kornerup
article
Theoretical Computer Science, Elsevier, 2006, 351 (1), pp.101-110. ⟨10.1016/j.tcs.2005.09.056⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00000009/file/FinalNewtonTCS.pdf BibTex

Communication dans un congrès

titre
Generating function approximations at compile time
auteur
Jean-Michel Muller
article
40th Asilomar Conference on signals, systems and computers, USA, Oct 2006, Pacific Grove, California, France. pp.328-331
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00397749/file/0000328.pdf BibTex

Ouvrage (y compris édition critique et traduction)

titre
Elementary Functions, Algorithms and Implementation, 2nd Edition
auteur
Jean-Michel Muller
article
Birkhäuser, pp.266, 2006
Accès au bibtex
BibTex

Rapport

titre
CR-LIBM A library of correctly rounded elementary functions in double-precision
auteur
Catherine Daramy-Loirat, David Defour, Florent de Dinechin, Matthieu Gallet, Nicolas Gast, Christoph Lauter, Jean-Michel Muller
article
[Research Report] LIP,. 2006
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-01529804/file/crlibm.pdf BibTex
titre
A library of Taylor models for PVS automatic proof checker
auteur
Francisco Cháves, Marc Daumas
article
[Research Report] RR-5831, INRIA. 2006, pp.18
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00070194/file/RR-5831.pdf BibTex
titre
A proposal for the C++ standard : Bool_set, multi-valued logic
auteur
Sylvain Pion, Guillaume Melquiond, Hervé Brönnimann
article
[Research Report] RR-5967, INRIA. 2006, pp.22
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00089230/file/RR-5967.pdf BibTex
titre
A Proposal to add Interval Arithmetic to the C++ Standard Library
auteur
Hervé Brönnimann, Guillaume Melquiond, Sylvain Pion
article
[Research Report] RR-5646, INRIA. 2006
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071231/file/RR-5646.pdf BibTex

Thèse

titre
De l'arithmétique d'intervalles à la certification de programmes
auteur
Guillaume Melquiond
article
Arithmétique des ordinateurs. École Normale Supérieure de Lyon, 2006. Français. ⟨NNT : 2006ENSL0388⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01094485/file/06-these.pdf BibTex

Pré-publication, Document de travail

titre
Computing the Kalman form
auteur
Clément Pernet, Aude Rondepierre, Gilles Villard
article
2006
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00009558/file/kalman_kellergehrig.pdf BibTex

2005

Article dans une revue

titre
Motivations for an arbitrary precision interval arithmetic and the MPFI library
auteur
Nathalie Revol, Fabrice Rouillier
article
Reliable Computing, Springer Verlag, 2005, 11 (4), pp.275-290. ⟨10.1007/s11155-005-6891-y⟩
Accès au bibtex
BibTex
titre
Multipartite table methods
auteur
Florent de Dinechin, Arnaud Tisserand
article
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2005, 54 (3), pp.319-330
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00542210/file/2005-TC-Multipartite.pdf BibTex
titre
A new range-reduction algorithm
auteur
Jean-Michel Muller, Nicolas Brisebarre, Peter Kornerup, David Defour, Nathalie Revol
article
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2005, 54 (3), pp.331- 339. ⟨10.1109/TC.2005.36⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00086904/file/RangeReductionIEEETC0305.pdf BibTex
titre
High-Speed Function Approximation using a Minimax Quadratic Interpolator
auteur
Jean-Michel Muller, Stuart Oberman, Jose-Alejandro Pineiro, Javier Bruguera
article
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2005, 54 (3), pp.304-318. ⟨10.1109/TC.2005.52⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00000002/file/QuadraticIEEETC0305.pdf BibTex

Communication dans un congrès

titre
When double rounding is odd
auteur
Sylvie Boldo, Guillaume Melquiond
article
17th IMACS World Congress, Jul 2005, Paris, France. pp.11
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00070603/file/BolMel.pdf BibTex
titre
Correctly rounded multiplication by arbitrary precision constants
auteur
Jean-Michel Muller, Nicolas Brisebarre
article
ARITH'17, 17th IEEE Symposium on Computer Arithmetic, EEE Computer Society Technical Committee on VLSI, Jun 2005, Cape Cod, United States. ⟨10.1109/ARITH.2005.13⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00000010/file/BMArith.pdf BibTex
titre
Some Functions Computable with a Fused-mac
auteur
Sylvie Boldo, Jean-Michel Muller
article
17th IEEE Symposium on Computer Arithmetic, Jun 2005, Cape Cod, Massachusetts, USA, pp.52-58
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00000895/file/ARITH17_Boldo.pdf BibTex

Rapport

titre
Simple Seed Architectures for Reciprocal and Square Root Reciprocal
auteur
Milos Ercegovac, Jean-Michel Muller, Arnaud Tisserand
article
RR-5720, INRIA. 2005, pp.25
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00070298/file/RR-5720.pdf BibTex
titre
Basic building blocks for a triple-double intermediate format
auteur
Christoph Quirin Lauter
article
[Research Report] RR-5702, LIP RR-2005-38, INRIA, LIP. 2005, pp.67
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00070314/file/RR-5702.pdf BibTex
titre
Fast and correctly rounded logarithms in double-precision
auteur
Florent de Dinechin, Christoph Lauter, Jean-Michel Muller
article
[Research Report] RR-5682, LIP RR-2005-37, INRIA, LIP. 2005, pp.15
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00070331/file/RR-5682.pdf BibTex
titre
Assisted verification of elementary functions
auteur
Florent de Dinechin, Christoph Lauter, Guillaume Melquiond
article
RR-5683, INRIA. 2005, pp.17
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00070330/file/RR-5683.pdf BibTex
titre
Étude statistique de l'activité de la fonction de sélection dans l'algorithme de E-méthode
auteur
Romain Michard, Nicolas Veyrat-Charvillon, Arnaud Tisserand
article
RR-5574, INRIA. 2005, pp.10
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00070432/file/RR-5574.pdf BibTex
titre
Small FPGA polynomial approximations with $3$-bit coefficients and low-precision estimations of the powers of x
auteur
Romain Michard, Arnaud Tisserand, Nicolas Veyrat-Charvillon
article
[Research Report] RR-5503, LIP RR-2005-8, INRIA, LIP. 2005, pp.13
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00070504/file/RR-5503.pdf BibTex
titre
Multiplication Algorithms for Radix-$2$ RN-Codings and Two's Complement Numbers
auteur
Jean-Luc Beuchat, Jean-Michel Muller
article
[Research Report] RR-5511, LIP RR-2005-05, INRIA, LIP. 2005, pp.13
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00070495/file/RR-5511.pdf BibTex
titre
On the definition of ulp(x)
auteur
Jean-Michel Muller
article
[Research Report] RR-5504, LIP RR-2005-09, INRIA, LIP. 2005, pp.16
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00070503/file/RR-5504.pdf BibTex

2004

Article dans une revue

titre
Les leçons d’un algorithme délinquant
auteur
Jean-Michel Muller
article
Interstices, INRIA, 2004
Accès au bibtex
BibTex
titre
Nombre de solutions dans une binade de l'équation A^2+B^2=C^2+C
auteur
Jean-Michel Muller, Jean-Louis Nicolas, Xavier-François Roblot
article
L'Enseignement Mathématiques, 2004, 50 (1-2), pp.147-182
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00863116/file/muller2.pdf BibTex
titre
A simple test qualifying the accuracy of Horner's rule for polynomials
auteur
Sylvie Boldo, Marc Daumas
article
Numerical Algorithms, Springer Verlag, 2004, 37 (1-4), pp.45-60. ⟨10.1023/B:NUMA.0000049487.98618.61⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071879/file/RR-4707.pdf BibTex
titre
Accelerating Correctly Rounded Floating-PointDivision when the Divisor is Known in Advance
auteur
Jean-Michel Muller, Nicolas Brisebarre, Saurabh Raina
article
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2004, 53 (8), pp.1069- 1072. ⟨10.1109/TC.2004.37⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00087465/file/DivIEEETC-aug04.pdf BibTex

Communication dans un congrès

titre
Complex Square Root with Operand Prescaling
auteur
Jean-Michel Muller, Milos Ercegovac
article
Application-Specific Systems, Architectures and Processors, 2004., Joseph Cavallaro and Lothar Thiele (general chairs), Sep 2004, Galveston, Texas, United States. pp.52-62, ⟨10.1109/ASAP.2004.1342458⟩
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00086852/file/EMAsap04.pdf BibTex
titre
Generating formally certified bounds on values and round-off errors
auteur
Marc Daumas, Guillaume Melquiond
article
Real Numbers and Computers, 2004, Dagstuhl, Germany. pp.55-70
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00070739/file/RR-5259.pdf BibTex

Rapport

titre
A Family of Modulo (2[power]n + 1) Multipliers
auteur
Jean-Luc Beuchat
article
[Research Report] RR-5316, LIP RR-2004-39, INRIA, LIP. 2004, pp.16
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00070684/file/RR-5316.pdf BibTex
titre
Evaluation de polynômes et de fractions rationnelles sur FPGA avec des opérateurs à additions et décalages en grande base
auteur
Romain Michard, Arnaud Tisserand, Nicolas Veyrat-Charvillon
article
[Rapport de recherche] RR-5437, LIP RR-2004-62, INRIA, LIP. 2004, pp.15
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00070570/file/RR-5437.pdf BibTex
titre
Complex Square Root with Operand Prescaling
auteur
Milos Ercegovac, Jean-Michel Muller
article
[Research Report] RR-5319, LIP RR-2004-42, INRIA, LIP. 2004, pp.18
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00070681/file/RR-5319.pdf BibTex
titre
Correctly rounded multiplication by arbitrary precision constants
auteur
Nicolas Brisebarre, Jean-Michel Muller
article
[Research Report] RR-5354, LIP RR-2004-44, INRIA, LIP. 2004, pp.14
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00070649/file/RR-5354.pdf BibTex
titre
RN-codes : algorithmes d'addition, de multiplication et d'élévation au carré
auteur
Jean-Michel Muller, Jean-Luc Beuchat
article
[Rapport de recherche] RR-5438, LIP RR-2004-60, INRIA, LIP. 2004, pp.17
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00070569/file/RR-5438.pdf BibTex
titre
Fast correct rounding of elementary functions in double precision using double-extended arithmetic
auteur
Florent de Dinechin, David Defour, Christoph Lauter
article
[Research Report] RR-5137, LIP RR-2004-10, INRIA, LIP. 2004
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071446/file/RR-5137.pdf BibTex
titre
Second Order Function Approximation with a Single Small Multiplication
auteur
Jérémie Detrey, Florent de Dinechin
article
[Research Report] RR-5140, LIP RR-2004-13, INRIA, LIP. 2004
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071443/file/RR-5140.pdf BibTex
titre
FPGA Implementation of a Recently Published Signature Scheme
auteur
Jean-Luc Beuchat, Nicolas Sendrier, Arnaud Tisserand, Gilles Villard
article
[Research Report] RR-5158, LIP RR-2004-14, INRIA, LIP. 2004
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00077045/file/RR-5158.pdf BibTex
titre
A floating-point library for integer processors
auteur
C. Bertin, Nicolas Brisebarre, Benoît de Dinechin, Claude-Pierre Jeannerod, C. Monat, Jean-Michel Muller, Saurabh Raina, Arnaud Tisserand
article
[Research Report] RR-5268, INRIA. 2004, pp.17
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00070730/file/RR-5268.pdf BibTex
titre
Towards the post-ultimate libm
auteur
Florent de Dinechin, Nicolas Gast
article
[Research Report] RR-5367, LIP RR 2004-47, INRIA, LIP. 2004, pp.18
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00070636/file/RR-5367.pdf BibTex
titre
Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic
auteur
David Defour, Guillaume Hanrot, Vincent Lefèvre, Jean-Michel Muller, Nathalie Revol, Paul Zimmermann
article
[Research Report] RR-5406, INRIA. 2004
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071249/file/RR-5406.pdf BibTex
titre
Division by Constant for the ST100 DSP Microprocessor
auteur
Jean-Michel Muller, Arnaud Tisserand, Benoît de Dinechin, Christophe Monat
article
[Research Report] RR-5340, LIP RR-2004-45, INRIA, LIP. 2004, pp.14
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00070661/file/RR-5340.pdf BibTex

Thèse

titre
Arithmétique et algorithmique en algèbre linéaire exacte pour la bibliothèque LinBox
auteur
Pascal Giorgi
article
Génie logiciel [cs.SE]. Ecole normale supérieure de lyon - ENS LYON, 2004. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00008951/file/tel-000089511.pdf BibTex

2003

Article dans une revue

titre
Further Reducing the Redundancy of a Notation over a Minimally Redundant Digit Set
auteur
Marc Daumas, David W. Matula
article
Journal of VLSI Signal Processing Systems for Signal, Image, and Video Technology, Springer, 2003, 33 (1-2), pp.7-18. ⟨10.1023/A:1021133616373⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072767/file/RR-3886.pdf BibTex
titre
On-the-Fly Range Reduction
auteur
Vincent Lefèvre, Jean-Michel Muller
article
Journal of VLSI Signal Processing / J VLSI Sign Process Syst Sign Image Video Technol, Kluwer Academic Publishers, 2003, Special Issue on Computer Arithmetic and Applications, 33 (1-2), pp.31-35. ⟨10.1023/A:1021137717282⟩
Accès au bibtex
BibTex
titre
Additive Symmetric: the Non-Negative Case
auteur
Marc Daumas, Philippe Langlois
article
Theoretical Computer Science, Elsevier, 2003, 291 (2), pp.143-157. ⟨10.1016/S0304-3975(02)00223-2⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072516/file/RR-4115.pdf BibTex

Communication dans un congrès

titre
Complex division with prescaling of operands
auteur
Jean-Michel Muller, Milos Ercegovac
article
Application-specific Systems, Architectures and Processors, 2003, Jun 2003, Delft, Netherlands
Accès au texte intégral et bibtex
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00086896/file/EMAsap03.pdf BibTex
titre
Multiple Precision Interval Packages: Comparing Different Approaches
auteur
Markus Grimmer, Knut Petras, Nathalie Revol
article
Dagstuhl Seminar: Numerical Software with Result Verification, Alt, René and Frommer, Andreas and Kearfott, R. Baker and Luther, Wolfram, Jan 2003, Dagstuhl, Germany. pp.64-90, ⟨10.1007/978-3-540-24738-8_4⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00545070/file/GPR.pdf BibTex
titre
The Boost Interval Arithmetic Library
auteur
Hervé Brönnimann, Guillaume Melquiond, Sylvain Pion
article
Real Numbers and Computers, 2003, Lyon, France. pp.65-80
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00348711/file/rnc.pdf BibTex

Rapport

titre
A correctly rounded implementationof the exponential function on the Intel Itanium architecture
auteur
Christoph Quirin Lauter
article
[Research Report] RR-5024, LIP RR 2003-54, INRIA, LIP. 2003
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071560/file/RR-5024.pdf BibTex
titre
Number of solutions to (A^2+B^2=C^2+C) in a binade
auteur
Jean-Michel Muller, Jean-Louis Nicolas, Xavier-François Roblot
article
[Research Report] RR-4945, LIP RR-2003-45, INRIA, LIPP. 2003
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071634/file/RR-4945.pdf BibTex
titre
Opérateurs itératifs de multiplication-addition modulaire pour FPGA
auteur
Jean-Luc Beuchat, Jean-Michel Muller
article
[Rapport de recherche] RR-4937, LIP RR-2003-40, INRIA, LIP. 2003
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071642/file/RR-4937.pdf BibTex
titre
Multiplication-addition modulaire: algorithmes itératifs et implantations sur FPGA
auteur
Jean-Luc Beuchat
article
RR-4840, INRIA. 2003
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071745/file/RR-4840.pdf BibTex
titre
Multiple Precision Interval Packages:Comparing Different Approaches
auteur
M. Grimmer, K. Petras, Nathalie Revol
article
RR-4841, INRIA. 2003
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071744/file/RR-4841.pdf BibTex
titre
Finding the «truncated» polynomial that is closest to a function
auteur
Nicolas Brisebarre, Jean-Michel Muller
article
[Research Report] RR-4787, LIP RR-2003-21, INRIA, LIP. 2003
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071799/file/RR-4787.pdf BibTex
titre
Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY
auteur
Nathalie Revol, K. Makino, M. Berz
article
[Research Report] RR-4737, LIP RR-2003-11, INRIA, LIP. 2003
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071850/file/RR-4737.pdf BibTex
titre
Complex Division with Prescaling of Operands
auteur
Milos Ercegovac, Jean-Michel Muller
article
[Research Report] RR-4731, LIP RR 2003-10, INRIA, LIP. 2003
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071856/file/RR-4731.pdf BibTex
titre
Choosing Starting Values for Newton-Raphson Computation of Reciprocals, Square-Roots and Square-Root Reciprocals
auteur
Peter Kornerup, Jean-Michel Muller
article
[Research Report] RR-4687, LIP RR-2002-48, INRIA,LIP. 2003
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071899/file/RR-4687.pdf BibTex

Thèse

titre
Fonctions élémentaires : algorithmes et implémentations efficaces pour l'arrondi correct en double précision
auteur
David Defour
article
Modélisation et simulation. Ecole normale supérieure de lyon - ENS LYON, 2003. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00006022/file/tel-00006022.pdf BibTex

2002

Communication dans un congrès

titre
Properties of the subtraction valid for any floating point system
auteur
Sylvie Boldo, Marc Daumas
article
7th International Workshop on Formal Methods for Industrial Critical Systems, 2002, Málaga, Spain. pp.137-149
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072115/file/RR-4473.pdf BibTex
titre
Motivations for an arbitrary precision interval arithmetic and the mpfi library
auteur
Nathalie Revol, Fabrice Rouillier
article
SIAM Workshop on Validated Computing 2002, 2002, Toronto, Canada. pp.155-161
Accès au bibtex
BibTex

Rapport

titre
«Partially rounded» Small-Order Approximations for Accurate, Hardware-Oriented, Table-Based Methods
auteur
Jean-Michel Muller
article
[Research Report] RR-4593, LIP RR-2002-39, INRIA, LIP. 2002
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071992/file/RR-4593.pdf BibTex
titre
Modular Multiplication for FPGA Implementation of the IDEA Block Cipher
auteur
Jean-Luc Beuchat
article
RR-4558, INRIA. 2002
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072030/file/RR-4558.pdf BibTex
titre
Accelerating Floating-Point Division When the Divisor is Known in Advance
auteur
Jean-Michel Muller
article
[Research Report] RR-4532, LIP RR-2002-30, INRIA, LIP. 2002
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072056/file/RR-4532.pdf BibTex
titre
High Throughput Implementations of the RC6 Block Cipher Using Virtex-E and Virtex-II Devices
auteur
Jean-Luc Beuchat
article
RR-4495, INRIA. 2002
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072093/file/RR-4495.pdf BibTex
titre
Small Multiplier-based Multiplication and Division Operators for Virtex-II Devices
auteur
Jean-Luc Beuchat, Arnaud Tisserand
article
[Research Report] RR-4494, INRIA. 2002
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072094/file/RR-4494.pdf BibTex
titre
Génération automatique d'architectures de calcul pour des opérations linéaires : application à l'IDCT sur FPGA
auteur
Nicolas Boullis, Arnaud Tisserand
article
[Rapport de recherche] RR-4486, INRIA. 2002
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072102/file/RR-4486.pdf BibTex
titre
Necessary and sufficient conditions for exact floating point operations
auteur
Marc Daumas, Sylvie Boldo
article
[Research Report] RR-4644, LIP RR-2002-44, INRIA, LIP. 2002
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071941/file/RR-4644.pdf BibTex
titre
A new scheme for table-based evaluation of functions
auteur
David Defour, Florent de Dinechin, Jean-Michel Muller
article
[Research Report] RR-4637, LIP RR-2002-45, INRIA, LIP. 2002
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071948/file/RR-4637.pdf BibTex
titre
Motivations for an arbitrary precision interval arithmetic and the MPFI library
auteur
Nathalie Revol, Fabrice Rouillier
article
[Research Report] RR-4498, LIP RR-2002-27, INRIA, LIP. 2002
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072090/file/RR-4498.pdf BibTex
titre
Évaluation polynomiale en-ligne de fonctions élémentaires sur FPGA
auteur
Jean-Luc Beuchat, Arnaud Tisserand
article
[Rapport de recherche] RR-4557, INRIA. 2002
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072031/file/RR-4557.pdf BibTex

2001

Article dans une revue

titre
Arithmétique par intervalles
auteur
Nathalie Revol
article
Calculateurs Parallèles et Systèmes Répartis, Hermes, 2001, L'arithmétique des ordinateurs, 13 (4-5), pp.387-426
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00545026/file/arith-int.pdf BibTex

Communication dans un congrès

titre
A methodology of parallelization for continuous verified global optimization
auteur
Nathalie Revol, Yves Denneulin, Jean-François Méhaut, Benoît Planquelle
article
PPAM 2001: Parallel Processing and Applied Mathematics, Roman Wyrzykowski, Sep 2001, Naleczow, Poland. pp.803-810, ⟨10.1007/3-540-48086-2_90⟩
Accès au bibtex
BibTex
titre
Worst Cases for Correct Rounding of the Elementary Functions in Double Precision
auteur
Vincent Lefèvre, Jean-Michel Muller
article
15th IEEE Symposium on Computer Arithmetic - ARITH 2001, 2001, Vail, Colorado, pp.111-118
Accès au bibtex
BibTex

Rapport

titre
An Automatic Correcting Method
auteur
Philippe Langlois
article
RR-4204, INRIA. 2001
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072418/file/RR-4204.pdf BibTex
titre
Interval Newton Iteration in Multiple Precision for the Univariate Case
auteur
Nathalie Revol
article
[Research Report] RR-4334, INRIA. 2001
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072253/file/RR-4334.pdf BibTex
titre
On digit-recurrence division algorithms for self-timed circuits
auteur
Nicolas Boullis, Arnaud Tisserand
article
[Research Report] RR-4221, INRIA. 2001
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072398/file/RR-4221.pdf BibTex
titre
Multipartite Tables in JBits for the Evaluation of Functions on FPGA
auteur
Jérémie Detrey, Florent de Dinechin
article
[Research Report] RR-4305, LIP RR-2001-44, INRIA, LIP. 2001
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072282/file/RR-4305.pdf BibTex
titre
Introduction à l'arithmétique par intervalles
auteur
Nathalie Revol
article
[Rapport de recherche] RR-4297, INRIA. 2001
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072290/file/RR-4297.pdf BibTex
titre
Correctly Rounded Exponential Function in Double Precision Arithmetic
auteur
David Defour, Florent de Dinechin, Jean-Michel Muller
article
[Research Report] RR-4231, INRIA. 2001
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072387/file/RR-4231.pdf BibTex
titre
Validating Polynomial Numerical Computations with Complementary Automatic Methods
auteur
Philippe Langlois, Nathalie Revol
article
[Research Report] RR-4205, INRIA. 2001
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072417/file/RR-4205.pdf BibTex
titre
Computer Validated Proofs of a Toolset for Adaptable Arithmetic
auteur
Marc Daumas, Claire Moreau-Finot, Laurent Théry
article
[Research Report] RR-4095, LIP RR2001-01, INRIA, LIP. 2001
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072536/file/RR-4095.pdf BibTex
titre
A New Range Reduction Algorithm
auteur
David Defour, Peter Kornerup, Jean-Michel Muller, Nathalie Revol
article
[Research Report] RR-4267, LIP RR-2001-33, INRIA, LIP. 2001
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072320/file/RR-4267.pdf BibTex
titre
Parallelization of Automatic Speech Recognition
auteur
Yahya Ould Mohamed El Hadj, Nathalie Revol
article
[Research Report] RR-4110, LIP RR-2001-02, INRIA, LIP. 2001
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072521/file/RR-4110.pdf BibTex

2000

Article dans une revue

titre
Accelerated Shift-and-Add algorithms
auteur
Nathalie Revol, Jean-Claude Yakoubsohn
article
Reliable Computing, Springer Verlag, 2000, 6 (2), pp.193-205. ⟨10.1023/A:1009921407000⟩
Accès au bibtex
BibTex

Rapport

titre
A Revised Presentation of the CENA Method
auteur
Philippe Langlois
article
RR-4025, INRIA. 2000
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072615/file/RR-4025.pdf BibTex
titre
From Rounding Error Estimation to Automatic Correction with Automatic Differentiation
auteur
Philippe Langlois
article
RR-3967, INRIA. 2000
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072681/file/RR-3967.pdf BibTex
titre
Stochastic Localization of Instability and Deterministic Enhancement of Accuracy for Iterative Algorithms
auteur
Philippe Langlois
article
RR-3966, INRIA. 2000
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072682/file/RR-3966.pdf BibTex
titre
Some Improvements on Multipartite Table Methods
auteur
Florent de Dinechin, Arnaud Tisserand
article
[Research Report] RR-4059, INRIA. 2000
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072577/file/RR-4059.pdf BibTex
titre
Worst Cases for Correct Rounding of the Elementary Functions in Double Precision
auteur
Vincent Lefèvre, Jean-Michel Muller
article
[Research Report] RR-4044, LIP RR-2000-35, INRIA,LIP. 2000
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072594/file/RR-4044.pdf BibTex
titre
Bound on Run of Zeros and Ones for Images of Floating-Point Numbers by Algebraic Functions
auteur
Tomas Lang, Jean-Michel Muller
article
[Research Report] RR-4045, LIP RR-2000-33, INRIA, LIP. 2000
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072593/file/RR-4045.pdf BibTex
titre
On-The-Fly Range Reduction
auteur
Vincent Lefèvre, Jean-Michel Muller
article
[Research Report] RR-4043, LIP RR-2000-34, INRIA, LIP. 2000
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072595/file/RR-4043.pdf BibTex

1999

Communication dans un congrès

titre
Loop Alignment for Memory Accesses Optimization
auteur
Antoine Fraboulet, Guillaume Huard, Anne Mignotte
article
International Symposium on System synthesis (ISSS), Oct 1999, San Jose, United States. pp.71-77
Accès au bibtex
BibTex

Rapport

titre
Automatic Linear Correction of Rounding Errors
auteur
Philippe Langlois
article
RR-3828, INRIA. 1999
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072830/file/RR-3828.pdf BibTex
titre
The Price of Routing in FPGAs
auteur
Florent de Dinechin
article
RR-3772, INRIA. 1999
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072889/file/RR-3772.pdf BibTex
titre
Vers des primitives propres en arithmétique des ordinateurs
auteur
Jean-Michel Muller
article
RR-3755, INRIA. 1999
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072907/file/RR-3755.pdf BibTex
titre
Algorithm, Proof and Performances of a new Division of Floating Point Expansions
auteur
Marc Daumas, Claire Finot
article
[Research Report] RR-3771, INRIA. 1999
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072890/file/RR-3771.pdf BibTex
titre
Radix-10 BKM Algorithm for Computing Transcendentals on Pocket Computers
auteur
Laurent Imbert, Jean-Michel Muller, Fabien Rico
article
[Research Report] RR-3754, LIP RR-1999-43, INRIA, LIP. 1999
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072908/file/RR-3754.pdf BibTex
titre
Towards Portable Hierarchical Placement for FPGAs
auteur
Florent de Dinechin, Wayne Luk, Steve Mckeever
article
[Research Report] RR-3776, LIP RR-1999-50, INRIA, LIP. 1999
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072885/file/RR-3776.pdf BibTex
titre
Improving Goldschmidt Division, Square Root and Square Root Reciprocal
auteur
Milos Ercegovac, Laurent Imbert, David Matula, Jean-Michel Muller, Guoheng Wei
article
[Research Report] RR-3753, LIP RR-1999-41, INRIA, LIP. 1999
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072909/file/RR-3753.pdf BibTex

1998

Article dans une revue

titre
Retiming DAGs
auteur
Pierre-Yves Calland, Anne Mignotte, Olivier Peyran, Yves Robert, Frédéric Vivien
article
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, IEEE, 1998, 17 (12), pp.1319-1325
Accès au bibtex
BibTex

1996

Article dans une revue

titre
Parallel evaluation of arithmetic circuits
auteur
Nathalie Revol, Jean-Louis Roch
article
Theoretical Computer Science, Elsevier, 1996, A, 162 (1), pp.133-150. ⟨10.1016/0304-3975(95)00252-9⟩
Accès au bibtex
BibTex

Suivez Inria