Zobrazeno 1 - 10
of 23
pro vyhledávání: '"Nguyen Hong Diep"'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Nguyen, Hong Diep, Revol, Nathalie
Publikováno v:
SCAN 2010: 14th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics
SCAN 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
SCAN 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
International audience; In this paper we treat the case of some fundamental interval matrix operations, namely the matrix multiplication and the linear system solving. Interval matrix multiplication implemented naively is very slow, compared to optim
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::4b153a0df8ffc4e561235d9822642c40
https://inria.hal.science/inria-00544805
https://inria.hal.science/inria-00544805
Publikováno v:
Numerical Software 2012: Design, Analysis and Verification
Numerical Software 2012: Design, Analysis and Verification, Jul 2012, Santander, Spain
Numerical Software 2012: Design, Analysis and Verification, Jul 2012, Santander, Spain
International audience; Interval arithmetic is mathematically defined as set arithmetic. For implementation issues, it is necessary to detail the representation of intervals and to detail formulas for the arithmetic operations. Two main representatio
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::a4ce50f38d9f96d549d4f9b9771d809e
https://hal.science/hal-00750021
https://hal.science/hal-00750021
Publikováno v:
PARA 2012-Workshop on the State-of-the-Art in Scientific and Parallel Computing
PARA 2012-Workshop on the State-of-the-Art in Scientific and Parallel Computing, Jun 2012, Helsinki, Finland
PARA 2012-Workshop on the State-of-the-Art in Scientific and Parallel Computing, Jun 2012, Helsinki, Finland
International audience; Interval arithmetic is mathematically defined as set arithmetic. For implementation issues, it is necessary to detail the representation of intervals and to detail formulas for the arithmetic operations. Two main representatio
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::b2e9cef9a55fb38e6d41851c43c5342e
https://hal.inria.fr/hal-00704288
https://hal.inria.fr/hal-00704288
Autor:
Revol, Nathalie, Nguyen, Hong Diep
Publikováno v:
Dagstuhl Seminar 11371: Uncertainty modeling and analysis with intervals: Foundations, tools, applications
Dagstuhl Seminar 11371: Uncertainty modeling and analysis with intervals: Foundations, tools, applications, Sep 2011, Dagstuhl, Germany
Dagstuhl Seminar 11371: Uncertainty modeling and analysis with intervals: Foundations, tools, applications, Sep 2011, Dagstuhl, Germany
International audience; The problem considered in this talk is to solve and mainly to refine an approximate, numerical, solution of a linear system. The refinement step is computed simultaneously with an enclosure of the error between this approximat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::99a4236de8fa6acb8fbeb3eff413e7ec
https://hal.inria.fr/hal-00641669
https://hal.inria.fr/hal-00641669
Autor:
Nguyen, Hong Diep
L'arithmétique par intervalles permet de calculer et simultanément vérifier des résultats. Cependant, une application naïve de cette arithmétique conduit à un encadrement grossier des résultats. De plus, de tels calculs peuvent être lents.No
Externí odkaz:
http://www.theses.fr/2011ENSL0617/document
Autor:
Nguyen, Hong Diep
Publikováno v:
Other [cs.OH]. Ecole normale supérieure de lyon-ENS LYON, 2011. English. ⟨NNT : 2011ENSL0617⟩
Interval arithmetic is a means to compute verified results. However, a naive use of interval arithmetic does not provide accurate enclosures of the exact results. Moreover, interval arithmetic computations can be time-consuming. We propose several ac
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::268e6df311b87649d00d1d572ea8b357
https://theses.hal.science/tel-00680352/file/NGUYEN_Hong_-_Diep_2011_These.pdf
https://theses.hal.science/tel-00680352/file/NGUYEN_Hong_-_Diep_2011_These.pdf
Autor:
Nguyen, Hong Diep, Revol, Nathalie
Publikováno v:
Reliable Computing
Reliable Computing, Springer Verlag, 2011, 15 (2), pp.120-131
Reliable Computing, 2011, 15 (2), pp.120-131
Reliable Computing, Springer Verlag, 2011, 15 (2), pp.120-131
Reliable Computing, 2011, 15 (2), pp.120-131
The Reliable Computing journal has no more paper publication, only free, electronic publication.; International audience; Using floating-point arithmetic to solve a linear system yields a computed result, which is an approximation of the exact soluti
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::5275c9a686f73f14c4a2a91d4af92097
https://hal.inria.fr/inria-00546856/document
https://hal.inria.fr/inria-00546856/document
Autor:
Nguyen, Hong Diep, Revol, Nathalie
Publikováno v:
NSV-3: Third International Workshop on Numerical Software Verification.
NSV-3: Third International Workshop on Numerical Software Verification., Fainekos, Georgios and Goubault, Eric and Putot, Sylvie, Jul 2010, Edinburgh, United Kingdom
NSV-3: Third International Workshop on Numerical Software Verification., Fainekos, Georgios and Goubault, Eric and Putot, Sylvie, Jul 2010, Edinburgh, United Kingdom
International audience; Using floating-point arithmetic to solve a numerical problem yields a computed result, which is an approximation of the exact solution because of roundoff errors. In this paper, we present an approach to certify the computed s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::c60c472613e23796ad9874fd531904fa
https://inria.hal.science/inria-00544798/document
https://inria.hal.science/inria-00544798/document
Publikováno v:
Proceedings of the Workshop on Reliable Engineering Computing
The Workshop on Reliable Engineering Computing
The Workshop on Reliable Engineering Computing, Feb 2008, Savannah, Georgia, United States. pp.333-350
The Workshop on Reliable Engineering Computing
The Workshop on Reliable Engineering Computing, Feb 2008, Savannah, Georgia, United States. pp.333-350
International audience; The CELL processor [1] jointly developed by Sony, Toshiba, and IBM provides a great potential for scientific computing with a peak performance in single precision of 204.8 Gflop/s. But, this performance is obtained with an SIM
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::d2f5db47f3edbb2f84ef1cc91354c76a
https://hal.archives-ouvertes.fr/hal-01303660
https://hal.archives-ouvertes.fr/hal-01303660