Filter your results
- 37
- 6
- 22
- 11
- 6
- 4
- 5
- 43
- 3
- 1
- 2
- 1
- 3
- 4
- 6
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 1
- 1
- 43
- 24
- 22
- 20
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 43
- 10
- 9
- 5
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
43 Results
|
|
sorted by
|
|
A correctly rounded implementationof the exponential function on the Intel Itanium architecture[Research Report] RR-5024, LIP RR 2003-54, INRIA, LIP. 2003
Reports
inria-00071560v1
|
||
|
Fast and correctly rounded logarithms in double-precision[Research Report] RR-5682, LIP RR-2005-37, INRIA, LIP. 2005, pp.15
Reports
inria-00070331v1
|
||
A Parallel Compensated Horner SchemeCSE 2017, SIAM Conference on Computational Science and Engineering (CSE), Feb 2017, Atlanta, United States
Conference papers
hal-01539819v1
|
|||
|
On Ziv's rounding testACM Transactions on Mathematical Software, 2013, 39 (4), pp.26
Journal articles
ensl-00693317v2
|
||
|
Code generators for mathematical functions22d IEEE Symposium on Computer Arithmetic, Jun 2015, Lyon, France
Conference papers
hal-01084726v2
|
||
|
Easing development of precision-sensitive applications with a beyond-quad-precision library2015 49th Asilomar Conference on Signals, Systems and Computers , Nov 2015, Pacific Grove, United States. pp.742 - 746, ⟨10.1109/ACSSC.2015.7421232⟩
Conference papers
hal-01511128v1
|
||
|
Reliable verification of digital implemented filters against frequency specifications24th IEEE Symposium on Computer Arithmetic (ARITH 24), Jul 2017, London, United Kingdom
Conference papers
hal-01432000v3
|
||
An efficient rounding boundary test for pow(x,y) in double precisionIEEE Transactions on Computers, 2009, 58 (2), pp.197-207. ⟨10.1109/TC.2008.202⟩
Journal articles
inria-00583988v1
|
|||
|
A Framework for Semi-Automatic Precision and Accuracy Analysis for Fast and Rigorous Deep LearningIEEE Symposium on Computer Arithmetic (ARITH), Jun 2020, Portland, United States
Conference papers
hal-02473300v1
|
||
|
Computing Correctly Rounded Integer Powers in Floating-Point ArithmeticACM Transactions on Mathematical Software, 2010, 37 (1), pp.4:1-4:23. ⟨10.1145/1644001.1644005⟩
Journal articles
inria-00388501v1
|
||
The libieee754 compliance library for the IEEE 754-2008 standardThe 15’th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations, 2012, Sep 2012, Novosibirsk, Russia
Conference papers
hal-01282272v1
|
|||
|
Reliable evaluation of the Worst-Case Peak Gain matrix in multiple precisionARITH 22 - 22nd IEEE Symposium on Computer Arithmetic, Jun 2015, Lyon, France. pp.96-103, ⟨10.1109/ARITH.2015.14⟩
Conference papers
hal-01083879v3
|
||
|
Arithmetic approaches for rigorous design of reliable Fixed-Point LTI filtersIEEE Transactions on Computers, 2020, 69 (4), pp.489 - 504. ⟨10.1109/TC.2019.2950658⟩
Journal articles
hal-01918650v2
|
||
|
Optimizing polynomials for floating-point implementation2008
Preprints, Working Papers, ...
ensl-00260563v1
|
||
|
A certified infinite norm for the implementation of elementary functionsSeventh International Conference on Quality Software, Oct 2007, Portland, United States. pp.153 -- 160
Conference papers
ensl-00119810v2
|
||
|
An efficient rounding boundary test for pow(x,y) in double precision2007
Preprints, Working Papers, ...
ensl-00169409v2
|
||
|
Certifying the floating-point implementation of an elementary function using GappaIEEE Transactions on Computers, 2011, 60 (2), pp.242-253. ⟨10.1109/TC.2010.128⟩
Journal articles
ensl-00200830v2
|
||
|
Fast correct rounding of elementary functions in double precision using double-extended arithmetic[Research Report] RR-5137, LIP RR-2004-10, INRIA, LIP. 2004
Reports
inria-00071446v1
|
||
|
Basic building blocks for a triple-double intermediate format[Research Report] RR-5702, LIP RR-2005-38, INRIA, LIP. 2005, pp.67
Reports
inria-00070314v1
|
||
|
Exact and mid-point rounding cases of power(x,y)2006
Preprints, Working Papers, ...
ensl-00117433v1
|
||
A method of calculating faithful rounding of l2-norm for n-vectors16th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computation (SCAN), Sep 2014, Wuerzburg, Germany. pp.60-61
Conference papers
hal-01539130v1
|
|||
|
A Decimal Multiple-Precision Interval Arithmetic Library17th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics. , Sep 2016, Uppsala, Sweden
Conference papers
hal-01539158v1
|
||
|
A Correctly Rounded Mixed-Radix Fused-Multiply-Add2018 IEEE 25th Symposium on Computer Arithmetic (ARITH), Jun 2018, Amherst, MA, United States. ⟨10.1109/ARITH.2018.8464818⟩
Conference papers
hal-01893801v1
|
||
|
A Domain Splitting Algorithm for the Mathematical Functions Code GeneratorACSSC 2014 - 48th Asilomar Conference on Signals, Systems and Computers, Nov 2014, Pacific Grove, CA, United States. pp.1271-1275, ⟨10.1109/ACSSC.2014.7094664⟩
Conference papers
hal-01118915v1
|
||
|
Sollya: an environment for the development of numerical codesThird International Congress on Mathematical Software - ICMS 2010, Sep 2010, Kobe, Japan. pp.28 -- 31, ⟨10.1007/978-3-642-15582-6_5⟩
Conference papers
hal-00761644v1
|
||
|
Assisted verification of elementary functionsRR-5683, INRIA. 2005, pp.17
Reports
inria-00070330v1
|
||
|
Computing the Worst-Case Peak Gain of Digital Filter in Interval Arithmetic17th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics. , Sep 2016, Uppsala, Sweden
Conference papers
hal-01347634v1
|
||
|
Semi-Automatic Floating-Point Implementation of Special FunctionsIEEE 22nd Symposium on Computer Arithmetic, ARITH 22, Jun 2015, Lyon, France. pp.58-65, ⟨10.1109/ARITH.2015.12⟩
Conference papers
hal-01137953v1
|
||
|
CR-LIBM A library of correctly rounded elementary functions in double-precision[Research Report] LIP,. 2006
Reports
ensl-01529804v1
|
||
|
Determining fixed-point formats for a digital filter implementation using the worst-case peak gain measure49th Asilomar Conference on Signals, Systems and Computers , Nov 2015, Pacific Grove, CA United States. pp.737-741, ⟨10.1109/ACSSC.2015.7421231⟩
Conference papers
hal-01308403v1
|
- 1
- 2