Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

45 résultats
Image document

Integer and Floating-Point Constant Multipliers for FPGAs

Nicolas Brisebarre , Florent de Dinechin , Jean-Michel Muller
International Conference on Application-Specific Systems, Architectures and Processors, 2008, IMEC, Jul 2008, Leuven, Belgium. pp.239-244, ⟨10.1109/ASAP.2008.4580184⟩
Communication dans un congrès ensl-00269219v1
Image document

A new range-reduction algorithm

Jean-Michel Muller , Nicolas Brisebarre , Peter Kornerup , David Defour , Nathalie Revol
IEEE Transactions on Computers, 2005, 54 (3), pp.331- 339. ⟨10.1109/TC.2005.36⟩
Article dans une revue ensl-00086904v1

An Efficient Method for Evaluating Polynomial and Rational Function Approximations

Nicolas Brisebarre , Sylvain Chevillard , Milos Ercegovac , Jean-Michel Muller , Serge Torres
ASAP 08, Jul 2008, Leuven, Belgium. pp.233 -- 238
Communication dans un congrès hal-00761652v1
Image document

A path-norm toolkit for modern networks: consequences, promises and challenges

Antoine Gonon , Nicolas Brisebarre , Elisa Riccietti , Rémi Gribonval
2023
Pré-publication, Document de travail hal-04225201v4
Image document

(M, p, k)-Friendly Points: A Table-based Method to Evaluate Trigonometric Function

Dong Wang , Jean-Michel Muller , Nicolas Brisebarre , Milos Ercegovac
IEEE Transactions on Circuits and Systems Part 2 Analog and Digital Signal Processing, 2014, 61 (9), pp.711-715. ⟨10.1109/TCSII.2014.2331094⟩
Article dans une revue ensl-01001673v1
Image document

Algorithms and arithmetic operators for computing the $\eta_T$ pairing in characteristic three

Jean-Luc Beuchat , Nicolas Brisebarre , Jérémie Detrey , Eiji Okamoto , Masaaki Shirase , et al.
IEEE Transactions on Computers, 2008, Special Section on Special-Purpose Hardware for Cryptography and Cryptanalysis, 57 (11), pp.1454-1468. ⟨10.1109/TC.2008.103⟩
Article dans une revue inria-00423993v1
Image document

Accelerating Correctly Rounded Floating-PointDivision when the Divisor is Known in Advance

Jean-Michel Muller , Nicolas Brisebarre , Saurabh Raina
IEEE Transactions on Computers, 2004, 53 (8), pp.1069- 1072. ⟨10.1109/TC.2004.37⟩
Article dans une revue ensl-00087465v1
Image document

A comparison between hardware accelerators for the modified Tate pairing over $\mathbb{F}_{2^m}$ and $\mathbb{F}_{3^m}$

Jean-Luc Beuchat , Nicolas Brisebarre , Jérémie Detrey , Eiji Okamoto , Francisco Rodríguez-Henríquez
Second International Conference on Pairing-Based Cryptography – Pairing 2008, Sep 2008, Egham, United Kingdom. pp.297-315, ⟨10.1007/978-3-540-85538-5_20⟩
Communication dans un congrès inria-00423977v1
Image document

(M,p,k)-friendly points: a table-based method for trigonometric function evaluation

Nicolas Brisebarre , Milos Ercegovac , Jean-Michel Muller
2012 IEEE 23rd International Conference on Application-Specific Systems, Architectures and Processors, Jul 2012, Delft, Netherlands. p. 46-52, ISBN: 978-1-4673-2243-0, ⟨10.1109/ASAP.2012.17⟩
Communication dans un congrès ensl-00759912v1
Image document

Computing machine-efficient polynomial approximations

Jean-Michel Muller , Nicolas Brisebarre , Arnaud Tisserand
ACM Transactions on Mathematical Software, 2006, 32 (2), pp.236-256. ⟨10.1145/1141885.1141890⟩
Article dans une revue ensl-00086826v1
Image document

Error in ulps of the multiplication or division by a correctly-rounded function or constant in binary floating-point arithmetic

Nicolas Brisebarre , Jean-Michel Muller , Joris Picot
IEEE Transactions on Emerging Topics in Computing, In press, ⟨10.1109/TETC.2023.3294986⟩
Article dans une revue hal-04044716v2

A New Lower Bound on the Hilbert Number for Quartic Systems

Florent Bréhard , Nicolas Brisebarre , Mioara Joldes , Warwick Tucker
2019
Pré-publication, Document de travail hal-02085895v1
Image document

Efficient polynomial $L^{\infty}$-approximations

Nicolas Brisebarre , Sylvain Chevillard
18th IEEE Symposium on Computer Arithmetic, Jun 2007, Montpellier, France. pp.169-176, ⟨10.1109/ARITH.2007.17⟩
Communication dans un congrès inria-00119513v2
Image document

Comparison between binary and decimal floating-point numbers

Nicolas Brisebarre , Christoph Lauter , Marc Mezzarobba , Jean-Michel Muller
IEEE Transactions on Computers, 2016, 65 (7), pp.2032-2044. ⟨10.1109/TC.2015.2479602⟩
Article dans une revue hal-01021928v2
Image document

Towards Machine-Efficient Rational L ∞ -Approximations of Mathematical Functions

Nicolas Brisebarre , Silviu-Ioan Filip
30th IEEE International Symposium on Computer Arithmetic ARITH 2023, Sep 2023, Portland, United States
Communication dans un congrès hal-04093020v2
Image document

Finding the «truncated» polynomial that is closest to a function

Nicolas Brisebarre , Jean-Michel Muller
[Research Report] RR-4787, LIP RR-2003-21, INRIA, LIP. 2003
Rapport inria-00071799v1
Image document

On a two-valued sequence and related continued fractions in power series fields

Bill Allombert , Nicolas Brisebarre , Alain Lasjaunias
Ramanujan Journal, 2018, 45 (3), pp.859-871. ⟨10.1007/s11139-017-9892-7⟩
Article dans une revue hal-01348576v3
Image document

Hardware operators for function evaluation using sparse-coefficient polynomials

Jean-Michel Muller , Arnaud Tisserand , Serge Torres , Nicolas Brisebarre
Electronics Letters, 2006, 42 (25), pp.1441-1442. ⟨10.1049/el:20062373⟩
Article dans une revue lirmm-00125483v2
Image document

Efficient and Validated Numerical Evaluation of Abelian Integrals

Florent Bréhard , Nicolas Brisebarre , Mioara Joldeş , Warwick Tucker
ACM Transactions on Mathematical Software, In press, ⟨10.1145/3637550⟩
Article dans une revue hal-03561096v2

Le dilemme du fabricant de tables

Sylvie Boldo , Nicolas Brisebarre , Jean-Michel Muller
La Recherche, 2023, 572
Article dans une revue hal-03932037v1
Image document

Error analysis of some operations involved in the Cooley-Tukey Fast Fourier Transform

Nicolas Brisebarre , Mioara Joldes , Jean-Michel Muller , Ana-Maria Naneş , Joris Picot
ACM Transactions on Mathematical Software, 2020, 46 (2), pp.1-34. ⟨10.1145/3368619⟩
Article dans une revue hal-01949458v2
Image document

A Lattice Basis Reduction Approach for the Design of Finite Wordlength FIR Filters

Nicolas Brisebarre , Silviu-Ioan Filip , Guillaume Hanrot
IEEE Transactions on Signal Processing, 2018, 66 (10), pp.2673-2684. ⟨10.1109/TSP.2018.2812739⟩
Article dans une revue hal-01308801v3

Differential-Difference Properties of Hypergeometric Series

Nicolas Brisebarre , Bruno Salvy
Proceedings of the American Mathematical Society, 2023, 151 (6), pp.2603--2617. ⟨10.1090/proc/16316⟩
Article dans une revue hal-03712632v1
Image document

Implementing decimal floating-point arithmetic through binary: some suggestions

Nicolas Brisebarre , Milos Ercegovac , Nicolas Louvet , Érik Martin-Dorel , Jean-Michel Muller , et al.
21st IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP 2010), Jul 2010, Rennes, France. pp.317-320, ⟨10.1109/ASAP.2010.5540969⟩
Communication dans un congrès ensl-00463353v2
Image document

Chebyshev Interpolation Polynomial-based Tools for Rigorous Computing

Nicolas Brisebarre , Mioara Maria Joldes
ISSAC '10, 2010 International Symposium on Symbolic and Algebraic Computation, 2010, Münich, Germany. pp.147-154, ⟨10.1145/1837934.1837966⟩
Communication dans un congrès ensl-00472509v2
Image document

Floating-Point $L^2$-Approximations

Nicolas Brisebarre , Guillaume Hanrot
18th IEEE Symposium in Computer Arithmetic, Jun 2007, Montpellier, France. pp.177-186, ⟨10.1109/ARITH.2007.38⟩
Communication dans un congrès inria-00119254v2

Handbook of Floating-Point Arithmetic

Jean-Michel Muller , Nicolas Brisebarre , Florent de Dinechin , Claude-Pierre Jeannerod , Vincent Lefèvre , et al.
Birkhauser Boston, pp.572, 2010
Ouvrages ensl-00379167v1
Image document

Integer points close to a transcendental curve and correctly-rounded evaluation of a function

Nicolas Brisebarre , Guillaume Hanrot
2023
Pré-publication, Document de travail hal-03240179v4
Image document

Approximation speed of quantized vs. unquantized ReLU neural networks and beyond

Antoine Gonon , Nicolas Brisebarre , Rémi Gribonval , Elisa Riccietti
IEEE Transactions on Information Theory, 2023, 69 (6), pp.3960-3977. ⟨10.1109/TIT.2023.3240360⟩
Article dans une revue hal-03672166v2
Image document

Correct rounding of algebraic functions

Jean-Michel Muller , Nicolas Brisebarre
RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2007, 41 (1), pp.71-83. ⟨10.1051/ita:2007002⟩
Article dans une revue ensl-00143230v1