Filtrer vos résultats
- 36
- 29
- 1
- 29
- 15
- 12
- 3
- 3
- 1
- 1
- 1
- 1
- 11
- 66
- 6
- 1
- 26
- 5
- 2
- 1
- 3
- 1
- 3
- 4
- 5
- 6
- 9
- 3
- 2
- 2
- 3
- 3
- 4
- 6
- 1
- 1
- 1
- 1
- 58
- 8
- 62
- 54
- 6
- 5
- 5
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 66
- 9
- 8
- 6
- 6
- 5
- 4
- 4
- 4
- 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
66 résultats
|
|
Multiple Precision Interval Packages: Comparing Different Approaches[Research Report] LIP RR-2003-32, Laboratoire de l'informatique du parallélisme. 2003, 2+24p
Rapport
hal-02101997v1
|
||
Digital ArithmeticBenjamin Wah. Wiley Encyclopedia of Computer Science and Engineering, Wiley, pp.935-948, 2009
Chapitre d'ouvrage
ensl-00542215v1
|
|||
IEEE-1788 standardization of interval arithmetic: work in progress (a personal view)IFIP Working Group 2.5 on Numerical Software, Jul 2012, Santander, Spain
Communication dans un congrès
hal-00759206v1
|
|||
JDEV 2013 : Développer pour Calculer : Des outils pour calculer avec précision & Comment calculer avec des intervallesHigh-Performance Computing Magazine, 2013, pp.1-5
Article dans une revue
hal-00921492v1
|
|||
Handbook of Floating-Point ArithmeticBirkhauser Boston, pp.572, 2010
Ouvrages
ensl-00379167v1
|
|||
|
|
Latest Developments on the IEEE 1788 Effort for the Standardization of Interval ArithmeticICVRAM & ISUMA - Second International Conference on Vulnerability and Risk Analysis and Management & Sixth International Symposium on Uncertainty Modelling and Analysis, Michael Beer, Jul 2014, Liverpool, United Kingdom. pp.1-10
Communication dans un congrès
hal-00920662v2
|
||
Numerical reproducibility in HPC: the interval point of viewPPAM'2013: 10th International Conference on Parallel Processing and Applied Mathematics, Sep 2013, Warsaw, Poland
Communication dans un congrès
hal-00922117v1
|
|||
Qualité des calculs sur ordinateurMasson, 165 p., 1997, 2-225-85534-X
Ouvrages
hal-01629547v1
|
|||
|
|
Numerical reproducibility in HPC: issues in interval arithmeticSWIM'2013: Small Workshop on Interval Methods, Jun 2013, Brest, France
Communication dans un congrès
hal-00922114v1
|
||
A validated real function calculusMathematics in Computer Science, 2011, 5 (4), pp.437-467
Article dans une revue
hal-00641648v1
|
|||
|
|
Validating Polynomial Numerical Computations with Complementary Automatic Methods[Research Report] RR-4205, INRIA. 2001
Rapport
inria-00072417v1
|
||
|
|
Informatique et mathématiques : pourquoi mettre les femmes à l'honneur ?MathémaTICE, 2023, 86
Article dans une revue
hal-04160309v1
|
||
|
|
A new range-reduction algorithmIEEE Transactions on Computers, 2005, 54 (3), pp.331- 339. ⟨10.1109/TC.2005.36⟩
Article dans une revue
ensl-00086904v1
|
||
|
|
Parallel evaluation of arithmetic circuitsTheoretical Computer Science, 1996, A, 162 (1), pp.133-150. ⟨10.1016/0304-3975(95)00252-9⟩
Article dans une revue
inria-00545017v1
|
||
L'effort de normalisation IEEE-1788 de l'arithmétique par intervallesRAIM 2012 : Rencontres "Arithmétique de l'Informatique Mathématique", Jun 2012, Dijon, France
Communication dans un congrès
hal-00750019v1
|
|||
Accuracy issues in linear algebra using interval arithmeticSCAN 2010: 14th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, Revol, Nathalie and de Dinechin, Florent and Jeannerod, Claude-Pierre and Lefèvre, Vincent and Louvet, Nicolas and Morin, Sèverine and Nguyen, Hong Diep, Sep 2010, Lyon, France
Communication dans un congrès
inria-00544805v1
|
|||
High performance linear algebra using interval arithmeticPASCO'10 4th International Workshop in Parallel and Symbolic Computation, Moreno Maza, Marc and Roch, Jean-Louis, Jul 2010, Grenoble, France. ⟨10.1145/1837210.1837236⟩
Communication dans un congrès
inria-00544800v1
|
|||
|
|
The MPFI Library: Towards IEEE 1788-2015 CompliancePPAM 2019 - 13th International Conference on Parallel Processing and Applied Mathematics, Sep 2019, Bialystok, Poland. pp.353-363, ⟨10.1007/978-3-030-43222-5_31⟩
Communication dans un congrès
hal-02162346v1
|
||
Code generation for argument filtering and argument reduction in elementary functionsSCAN 2010: 14th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, Revol, Nathalie and de Dinechin, Florent and Jeannerod, Claude-Pierre and Lefèvre, Vincent and Louvet, Nicolas and Morin, Sèverine and Nguyen, Hong Diep, Sep 2010, Lyon, France
Communication dans un congrès
inria-00544808v1
|
|||
|
|
Parallelization of Automatic Speech Recognition[Research Report] RR-4110, LIP RR-2001-02, INRIA, LIP. 2001
Rapport
inria-00072521v1
|
||
|
|
Parallel Implementation of Interval Matrix MultiplicationReliable Computing, 2013, 19 (1), pp.91-106
Article dans une revue
hal-00801890v2
|
||
|
|
Tradeoffs between Accuracy and Efficiency for Optimized and Parallel Interval Matrix MultiplicationPARA 2012 - Workshop on the State-of-the-Art in Scientific and Parallel Computing, Jun 2012, Helsinki, Finland
Communication dans un congrès
hal-00704288v1
|
||
|
|
Introduction à l'arithmétique par intervalles[Rapport de recherche] RR-4297, INRIA. 2001
Rapport
inria-00072290v1
|
||
|
|
Numerical Reproducibility and Parallel Computations: Issues for Interval AlgorithmsIEEE Transactions on Computers, 2014, 63 (8), pp.1915-1924. ⟨10.1109/TC.2014.2322593⟩
Article dans une revue
hal-00916931v2
|
||
Refining and verifying efficiently the solution of a linear systemDagstuhl Seminar 11371: Uncertainty modeling and analysis with intervals: Foundations, tools, applications, Sep 2011, Dagstuhl, Germany
Communication dans un congrès
hal-00641669v1
|
|||
|
|
Certification of a Numerical Result: Use of Interval Arithmetic and Multiple PrecisionNSV-3: Third International Workshop on Numerical Software Verification., Fainekos, Georgios and Goubault, Eric and Putot, Sylvie, Jul 2010, Edinburgh, United Kingdom
Communication dans un congrès
inria-00544798v1
|
||
|
|
LEMA: Towards a Language for Reliable Arithmetic[Research Report] RR-7258, INRIA. 2010, pp.15
Rapport
inria-00473767v1
|
||
|
|
Affine Iterations and Wrapping Effect: Various ApproachesActa Cybernetica, 2023, 26 (1), pp.129-147. ⟨10.14232/actacyb.295251⟩
Article dans une revue
hal-03505854v1
|
||
A library for arbitrary precision interval arithmetic10th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (scan2002), 2002, Paris, France
Communication dans un congrès
hal-01434758v1
|
|||
|
|
Introduction to the IEEE 1788-2015 Standard for Interval Arithmetic10th International Workshop on Numerical Software Verification - NSV 2017, workshop of CAV 2017, Jul 2017, Heidelberg, Germany. pp.14-21, ⟨10.1007/978-3-319-63501-9⟩
Communication dans un congrès
hal-01559955v1
|