Filter your results
- 123
- 29
- 1
- 53
- 51
- 28
- 9
- 7
- 3
- 1
- 1
- 26
- 146
- 5
- 5
- 44
- 27
- 21
- 21
- 6
- 3
- 3
- 5
- 4
- 3
- 8
- 9
- 3
- 5
- 7
- 4
- 6
- 8
- 8
- 5
- 6
- 8
- 9
- 11
- 7
- 3
- 3
- 3
- 3
- 1
- 2
- 1
- 2
- 3
- 3
- 1
- 139
- 14
- 148
- 119
- 15
- 13
- 9
- 9
- 7
- 7
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 4
- 3
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 153
- 24
- 20
- 15
- 12
- 12
- 10
- 10
- 9
- 8
- 8
- 8
- 7
- 7
- 7
- 6
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
153 Results
|
Arithmetic algorithms for extended precision using floating-point expansionsIEEE Transactions on Computers, 2016, 65 (4), pp.1197 - 1210. ⟨10.1109/TC.2015.2441714⟩
Journal articles
hal-01111551v2
|
||
|
Guest Editors' Introduction: Special Section on Computer ArithmeticIEEE Transactions on Computers, 2009, 58 (2), pp.145-147
Journal articles
ensl-00383561v1
|
||
|
BKM: a new hardware algorithm for complex elementary functionsIEEE Transactions on Computers, 1994, 43 (8), pp.955-963. ⟨10.1109/12.295857⟩
Journal articles
ensl-00086894v1
|
||
|
Horner's Rule-Based Multiplication over Fp and Fp^n: A SurveyInternational Journal of Electronics, 2008, 95 (7), pp.669-685
Journal articles
ensl-00148210v1
|
||
|
Implementing decimal floating-point arithmetic through binary: some suggestions21st IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP 2010), Jul 2010, Rennes, France. pp.317-320, ⟨10.1109/ASAP.2010.5540969⟩
Conference papers
ensl-00463353v2
|
||
|
Sharp error bounds for complex floating-point inversionNumerical Algorithms, 2016, 73 (3), pp.735-760. ⟨10.1007/s11075-016-0115-x⟩
Journal articles
ensl-01195625v2
|
||
|
Fast and correctly rounded logarithms in double-precision[Research Report] RR-5682, LIP RR-2005-37, INRIA, LIP. 2005, pp.15
Reports
inria-00070331v1
|
||
Les leçons d’un algorithme délinquantInterstices, 2004
Journal articles
hal-01350243v1
|
|||
|
On Ziv's rounding testACM Transactions on Mathematical Software, 2013, 39 (4), pp.26
Journal articles
ensl-00693317v2
|
||
Evaluating Elementary FunctionsNicholas Higham. Princeton Companion to Applied Mathematics, Princeton University Press, pp.2, 2014
Book sections
ensl-00989001v1
|
|||
|
Formal correctness of comparison algorithms between binary64 and decimal64 floating-point numbersNumerical Software Verification, Jul 2017, Heidelberg, Germany
Conference papers
hal-01512294v1
|
||
|
Avoiding double roundings in scaled Newton-Raphson divisionAsilomar Conference on Signals, Systems, and Computers, Nov 2013, Pacific Grove, CA, United States. 4 p
Conference papers
ensl-00875366v1
|
||
Edition d'un numéro spécial "Numerical Software: Design, Analysis and VerificationElsevier, 90 part A, pp.1, 2014
Books
ensl-01070771v1
|
|||
|
Les calculs sur ordinateurs de plus en plus fiables et sûrsCollection "20 ans d'avancées et de perspectives en sciences du numérique", 2012, 2 p
Journal articles
hal-00813205v1
|
||
Des ordinateurs capables de calculer plus justeLa Recherche, 2014, pp.46-53
Journal articles
ensl-01069744v1
|
|||
Digital ArithmeticBenjamin Wah. Wiley Encyclopedia of Computer Science and Engineering, Wiley, pp.935-948, 2009
Book sections
ensl-00542215v1
|
|||
|
On-The-Fly Range Reduction[Research Report] RR-4043, LIP RR-2000-34, INRIA, LIP. 2000
Reports
inria-00072595v1
|
||
|
Accelerating Floating-Point Division When the Divisor is Known in Advance[Research Report] RR-4532, LIP RR-2002-30, INRIA, LIP. 2002
Reports
inria-00072056v1
|
||
|
On the definition of ulp(x)[Research Report] RR-5504, LIP RR-2005-09, INRIA, LIP. 2005, pp.16
Reports
inria-00070503v1
|
||
|
Accurate Complex Multiplication in Floating-Point ArithmeticARITH 2019 - 26th IEEE Symposium on Computer Arithmetic, Jun 2019, Kyoto, Japan. pp.1-7
Conference papers
hal-02001080v2
|
||
Handbook of Floating-Point ArithmeticBirkhauser Boston, pp.572, 2010
Books
ensl-00379167v1
|
|||
|
Hardware operators for function evaluation using sparse-coefficient polynomialsElectronics Letters, 2006, 42 (25), pp.1441-1442. ⟨10.1049/el:20062373⟩
Journal articles
lirmm-00125483v2
|
||
Design of a VLSI circuit for on-line evaluation of several elementary functions using their Taylor expansionsProceedings.-International-Conference-on-Application-Specific-Array-Processors-Cat.-No.93TH0572-8. 1993:, 1993, Venice, Italy. pp.526-35, ⟨10.1109/ASAP.1993.397172⟩
Conference papers
hal-00014928v1
|
|||
|
Error analysis of some operations involved in the Cooley-Tukey Fast Fourier TransformACM Transactions on Mathematical Software, 2020, 46 (2), pp.1-34. ⟨10.1145/3368619⟩
Journal articles
hal-01949458v2
|
||
|
Implementation and performance evaluation of an extended precision floating-point arithmetic library for high-accuracy semidefinite programmingIEEE Symposium on Computer Arithmetic (Arith24), Jul 2017, London, United Kingdom
Conference papers
hal-01491255v2
|
||
|
Error bounds on complex floating-point multiplication with an FMAMathematics of Computation, 2017, 86 (304), pp. 881-898. ⟨10.1090/mcom/3123⟩
Journal articles
hal-00867040v5
|
||
|
Simple Seed Architectures for Reciprocal and Square-Root Reciprocal39th Asilomar Conference on Signals, Systems and Computers, Oct 2005, Pacific Grove, California, United States. pp.1167-1171
Conference papers
ensl-00087002v1
|
||
|
Design and Implementation of a Radix-4 Complex Division Unit with Prescaling20th IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP'09), Jul 2009, Boston, United States
Conference papers
ensl-00379147v2
|
||
|
On the Computation of Correctly-Rounded Sums[Research Report] RR-7262, INRIA. 2010, pp.24
Reports
inria-00475279v1
|
||
|
Some notes on the possible under/overflow of the most common elementary functions2007
Preprints, Working Papers, ...
ensl-00149414v1
|