30 résultats  enregistrer la recherche


...
inria-00423977v1  Communication dans un congrès
Jean-Luc BeuchatNicolas BrisebarreJérémie DetreyEiji OkamotoFrancisco Rodríguez-HenríquezA comparison between hardware accelerators for the modified Tate pairing over $\mathbb{F}_{2^m}$ and $\mathbb{F}_{3^m}$
Steven D. Galbraith and Kenneth G. Paterson. Second International Conference on Pairing-Based Cryptography – Pairing 2008, Sep 2008, Egham, United Kingdom. Springer, 5209, pp.297-315, 2008, Lecture Notes in Computer Science; Pairing-Based Cryptography – Pairing 2008. <10.1007/978-3-540-85538-5_20>
ensl-00379167v1  Ouvrage (y compris édition critique et traduction)
Jean-Michel MullerNicolas BrisebarreFlorent De DinechinClaude-Pierre JeannerodVincent Lefèvre et al.  Handbook of Floating-Point Arithmetic
Birkhauser Boston, pp.572, 2010
...
ensl-00472509v2  Communication dans un congrès
Nicolas BrisebarreMioara Maria JoldesChebyshev Interpolation Polynomial-based Tools for Rigorous Computing
ISSAC '10, 2010 International Symposium on Symbolic and Algebraic Computation, 2010, Münich, Germany. ACM New York, NY, USA, pp.147-154, 2010, <10.1145/1837934.1837966>
...
ensl-00137918v1  Communication dans un congrès
Jean-Luc BeuchatNicolas BrisebarreJérémie DetreyEiji OkamotoArithmetic Operators for Pairing-Based Cryptography
Pascal Paillier, Ingrid Verbauwhede. 9th Invernational Workshop on Cryptographic Hardware and Embedded Systems – CHES 2007, Sep 2007, Vienne, Austria. Springer, pp.239-255, 2007, LNCS 4727. <10.1007/978-3-540-74735-2_17>
...
ensl-00759912v1  Communication dans un congrès
Nicolas BrisebarreMilos ErcegovacJean-Michel Muller(M,p,k)-friendly points: a table-based method for trigonometric function evaluation
2012 IEEE 23rd International Conference on Application-Specific Systems, Architectures and Processors, Jul 2012, Delft, Netherlands. IEEE Computer Society, p. 46-52, ISBN: 978-1-4673-2243-0, 2012, <10.1109/ASAP.2012.17>
hal-00761652v1  Communication dans un congrès
Nicolas BrisebarreSylvain ChevillardMilos ErcegovacJean-Michel MullerSerge TorresAn Efficient Method for Evaluating Polynomial and Rational Function Approximations
ASAP 08, Jul 2008, Leuven, Belgium. IEEE, pp.233 -- 238, 2008, 19th International Conference on Application-Specific Systems, Architectures and Processors (Asap 08)
...
ensl-00000010v1  Communication dans un congrès
Jean-Michel MullerNicolas BrisebarreCorrectly rounded multiplication by arbitrary precision constants
Paolo Montuschi; Eric Schwarz. ARITH'17, 17th IEEE Symposium on Computer Arithmetic, Jun 2005, Cape Cod, United States. IEEE Computer Society, 2005, <10.1109/ARITH.2005.13>
...
ensl-00269219v1  Communication dans un congrès
Nicolas BrisebarreFlorent De DinechinJean-Michel MullerInteger and Floating-Point Constant Multipliers for FPGAs
International Conference on Application-Specific Systems, Architectures and Processors, 2008, Jul 2008, Leuven, Belgium. IEEE, pp.239-244, 2008, <10.1109/ASAP.2008.4580184>
...
ensl-00463353v2  Communication dans un congrès
Nicolas BrisebarreMilos ErcegovacNicolas LouvetÉrik Martin-DorelJean-Michel Muller et al.  Implementing decimal floating-point arithmetic through binary: some suggestions
21st IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP'2010), Jul 2010, Rennes, France. IEEE, pp.317-320, 2010
...
ensl-00086826v1  Article dans une revue
Jean-Michel MullerNicolas BrisebarreArnaud TisserandComputing machine-efficient polynomial approximations
ACM Transactions on Mathematical Software, Association for Computing Machinery, 2006, 32 (2), pp.236-256. <10.1145/1141885.1141890>
...
inria-00119254v2  Communication dans un congrès
Nicolas BrisebarreGuillaume HanrotFloating-Point $L^2$-Approximations
Peter Kornerup and Jean-Michel Muller. 18th IEEE Symposium in Computer Arithmetic, Jun 2007, Montpellier, France. IEEE, pp.177-186, 2007, <10.1109/ARITH.2007.38>
...
ensl-00737881v4  Communication dans un congrès
Nicolas BrisebarreMarc MezzarobbaJean-Michel MullerChristoph LauterComparison between binary64 and decimal64 floating-point numbers
Alberto Nannarelli and Peter-Michael Seidel and Ping Tak Peter Tang. 21st IEEE Symposium on Computer Arithmetic, Apr 2013, Austin, TX, United States. IEEE Computer Society, pp.145-152, 2013, <10.1109/ARITH.2013.23>
...
ensl-00653460v2  Communication dans un congrès
Nicolas BrisebarreMioara Maria JoldesÉrik Martin-DorelMicaela MayeroJean-Michel Muller et al.  Rigorous Polynomial Approximation using Taylor Models in Coq
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
...
ensl-00545591v2  Communication dans un congrès
Nicolas BrisebarreMioara Maria JoldesPeter KornerupÉrik Martin-DorelJean-Michel MullerAugmented precision square roots, 2-D norms, and discussion on correctly rounding {x^2+y^2}
20th IEEE Symposium on Computer Arithmetic (ARITH-20), Jul 2011, Tübingen, Germany. IEEE Computer Society, pp.23-30, 2011, <10.1109/ARITH.2011.13>
...
hal-01021928v2  Article dans une revue
Nicolas BrisebarreChristoph LauterMarc MezzarobbaJean-Michel MullerComparison between binary and decimal floating-point numbers
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2016, 65 (7), pp.2032-2044. <10.1109/TC.2015.2479602>
...
ensl-00087465v1  Article dans une revue
Jean-Michel MullerNicolas BrisebarreSaurabh RainaAccelerating Correctly Rounded Floating-PointDivision when the Divisor is Known in Advance
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2004, 53 (8), pp.1069- 1072. <10.1109/TC.2004.37>
...
ensl-00086904v1  Article dans une revue
Jean-Michel MullerNicolas BrisebarrePeter KornerupDavid DefourNathalie RevolA new range-reduction algorithm
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2005, 54 (3), pp.331- 339. <10.1109/TC.2005.36>
...
inria-00423993v1  Article dans une revue
Jean-Luc BeuchatNicolas BrisebarreJérémie DetreyEiji OkamotoMasaaki Shirase et al.  Algorithms and arithmetic operators for computing the $\eta_T$ pairing in characteristic three
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2008, Special Section on Special-Purpose Hardware for Cryptography and Cryptanalysis, 57 (11), pp.1454-1468. <10.1109/TC.2008.103>
...
ensl-01001673v1  Article dans une revue
Dong WangJean-Michel MullerNicolas BrisebarreMilos Ercegovac(M, p, k)-Friendly Points: A Table-based Method to Evaluate Trigonometric Function
IEEE Transactions on Circuits and Systems Part 2 Analog and Digital Signal Processing, Institute of Electrical and Electronics Engineers (IEEE), 2014, 61 (9), pp.711-715. <10.1109/TCSII.2014.2331094>
...
ensl-00143230v1  Article dans une revue
Jean-Michel MullerNicolas BrisebarreCorrect rounding of algebraic functions
RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), EDP Sciences, 2007, 41 (1), pp.71-83. <10.1051/ita:2007002>