Filtrer vos résultats
- 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 résultats
|
|
triés par
|
|
MPDI: A Decimal Multiple-Precision Interval Arithmetic LibraryReliable Computing Journal, 2017, Volume 25 (Special volume containing refereed papers from SCAN 2016), 25, pp.38-52
Article dans une revue
hal-01451162v1
|
||
|
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⟩
Article dans une revue
inria-00388501v1
|
||
|
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⟩
Communication dans un congrès
hal-01083879v3
|
||
|
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
Communication dans un congrès
hal-02473300v1
|
||
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
Communication dans un congrès
hal-01282272v1
|
|||
|
Efficient Calculations of Faithfully Rounded l2-Norms of n-VectorsACM Transactions on Mathematical Software, 2015, 41 (4), pp.24:1. ⟨10.1145/2699469⟩
Article dans une revue
hal-01511120v1
|
||
|
Metalibm: A Mathematical Functions Code Generator4th International Congress on Mathematical Software (ICMS 2004), Aug 2014, Seoul, South Korea. pp.713-717, ⟨10.1007/978-3-662-44199-2_106⟩
Communication dans un congrès
hal-01513490v1
|
||
|
Certified and fast computation of supremum norms of approximation errors19th IEEE Symposium on Computer Arithmetic (ARITH 19), Jun 2009, Portland, United States. pp.169 -- 176
Communication dans un congrès
ensl-00334545v1
|
||
|
Comparison between binary64 and decimal64 floating-point numbers21st IEEE Symposium on Computer Arithmetic, Apr 2013, Austin, TX, United States. pp.145-152, ⟨10.1109/ARITH.2013.23⟩
Communication dans un congrès
ensl-00737881v4
|
||
|
Computing Correctly Rounded Integer Powers in Floating-Point Arithmetic2008
Pré-publication, Document de travail
ensl-00278430v1
|
||
|
A new open-source SIMD vector libm fully implemented with high-level scalar C2016 50th Asilomar Conference on Signals, Systems and Computers , Nov 2016, Pacific Grove, United States. pp.407 - 411, ⟨10.1109/ACSSC.2016.7869070⟩
Communication dans un congrès
hal-01511131v1
|
||
|
Comparison between binary and decimal floating-point numbersIEEE Transactions on Computers, 2016, 65 (7), pp.2032-2044. ⟨10.1109/TC.2015.2479602⟩
Article dans une revue
hal-01021928v2
|
||
|
Fast and correctly rounded logarithms in double precisionRAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2007, 41 (1), pp.85-102. ⟨10.1051/ita:2007003⟩
Article dans une revue
ensl-00000007v2
|
||
There's no Reliable Computing without Reliable Access to Rounding ModesSCAN'2012, Sep 2012, Novosibirsk, Russia. pp.99-100
Communication dans un congrès
hal-01272417v1
|
|||
|
Fast correct rounding of elementary functions in double precision using double-extended arithmetic[Research Report] RR-5137, LIP RR-2004-10, INRIA, LIP. 2004
Rapport
inria-00071446v1
|
||
|
Basic building blocks for a triple-double intermediate format[Research Report] RR-5702, LIP RR-2005-38, INRIA, LIP. 2005, pp.67
Rapport
inria-00070314v1
|
||
|
Exact and mid-point rounding cases of power(x,y)2006
Pré-publication, Document de travail
ensl-00117433v1
|
||
|
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⟩
Communication dans un congrès
hal-01893801v1
|
||
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
Communication dans un congrès
hal-01539130v1
|
|||
|
A Decimal Multiple-Precision Interval Arithmetic Library17th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics. , Sep 2016, Uppsala, Sweden
Communication dans un congrès
hal-01539158v1
|
||
|
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⟩
Communication dans un congrès
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⟩
Communication dans un congrès
hal-00761644v1
|
||
|
Optimizing polynomials for floating-point implementation2008
Pré-publication, Document de travail
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
Communication dans un congrès
ensl-00119810v2
|
||
|
An efficient rounding boundary test for pow(x,y) in double precision2007
Pré-publication, Document de travail
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⟩
Article dans une revue
ensl-00200830v2
|
||
|
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⟩
Article dans une revue
hal-01918650v2
|
||
|
Emulating round-to-nearest ties-to-zero "augmented" floating-point operations using round-to-nearest ties-to-even arithmeticIEEE Transactions on Computers, 2021, 70 (7), pp.1046 - 1058. ⟨10.1109/TC.2020.3002702⟩
Article dans une revue
hal-02137968v4
|
||
|
Assisted verification of elementary functionsRR-5683, INRIA. 2005, pp.17
Rapport
inria-00070330v1
|
||
|
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⟩
Communication dans un congrès
hal-01308403v1
|
- 1
- 2