Zobrazeno 1 - 10
of 47
pro vyhledávání: '"Stef Graillat"'
Publikováno v:
CCF Transactions on High Performance Computing.
Autor:
Thomas R. Cameron, Stef Graillat
Publikováno v:
ETNA - Electronic Transactions on Numerical Analysis. 55:401-423
Publikováno v:
Proceedings of the International Conference on High Performance Computing in Asia-Pacific Region.
Krylov subspace algorithms are important methods for solving linear systems. In order to solve large-scale linear systems and speed up the solution of linear systems, one has to use parallelism techniques. However, parallelism often enlarge the non-a
Publikováno v:
Parallel Processing and Applied Mathematics ISBN: 9783031304415
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::59c8dae113fe6484776aa9c0ac30dcac
https://doi.org/10.1007/978-3-031-30442-2_2
https://doi.org/10.1007/978-3-031-30442-2_2
Autor:
Fabienne Jézéquel, Stef Graillat
Publikováno v:
18th international symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2018)
18th international symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2018), Sep 2018, Tokyo, Japan. pp.86-87
IEEE Transactions on Computers
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2020, 69 (12), pp.1774-1783. ⟨10.1109/TC.2019.2924005⟩
18th international symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2018), Sep 2018, Tokyo, Japan. pp.86-87
IEEE Transactions on Computers
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2020, 69 (12), pp.1774-1783. ⟨10.1109/TC.2019.2924005⟩
International audience; Compensated algorithms consist in computing the rounding errors of individual operations and then adding them later on to the computed result. This makes it possible to increase the accuracy of the computed result efficiently.
Publikováno v:
RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
instname
The International Journal of High Performance Computing Applications
Repositori Universitat Jaume I
Universitat Jaume I
instname
The International Journal of High Performance Computing Applications
Repositori Universitat Jaume I
Universitat Jaume I
[EN] The Preconditioned Conjugate Gradient method is often employed for the solution of linear systems of equations arising in numerical simulations of physical phenomena. While being widely used, the solver is also known for its lack of accuracy whi
Publikováno v:
Parallel Computing. 115:102996
Publikováno v:
Journal of Computational and Applied Mathematics. 406:113827
In this paper, we present a new parallel accurate algorithm called PAccSumK for computing summation of floating-point numbers. It is based on AccSumK algorithm. In the experiment, for the summation problems with large condition numbers, our algorithm
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030636173
VSTTE
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Software Verification
NSV'20, 13th International Workshop on Numerical Software Verification
NSV'20, 13th International Workshop on Numerical Software Verification, Jul 2020, Los Angeles, CA, United States
VSTTE
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Software Verification
NSV'20, 13th International Workshop on Numerical Software Verification
NSV'20, 13th International Workshop on Numerical Software Verification, Jul 2020, Los Angeles, CA, United States
International audience; Numerical validation enables one to ensure the reliability of numerical computations that rely on floating-point operations. Discrete Stochastic Arithmetic (DSA) makes it possible to validate the accuracy of floating-point com
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2280c897afcdf19ec5edaeb3ecb3eaeb
https://doi.org/10.1007/978-3-030-63618-0_10
https://doi.org/10.1007/978-3-030-63618-0_10
Autor:
Stef Graillat
Publikováno v:
Applied Mathematics and Computation
Applied Mathematics and Computation, Elsevier, 2018, 337, pp.494-503. ⟨10.1016/j.amc.2018.05.039⟩
Applied Mathematics and Computation, Elsevier, 2018, 337, pp.494-503. ⟨10.1016/j.amc.2018.05.039⟩
International audience; Several different techniques intend to improve the accuracy of results computed in floating-point precision. Here, we focus on a method to improve the accuracy of the evaluation of rational functions. We present a compensated