Zobrazeno 1 - 10
of 40
pro vyhledávání: '"Fabienne Jézéquel"'
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.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bfe7a9cf7f28d380d6df6c0ed1bb1f02
https://doi.org/10.1109/tc.2019.2924005
https://doi.org/10.1109/tc.2019.2924005
Autor:
Emmanuel Agullo, Mirco Altenbernd, Hartwig Anzt, Leonardo Bautista-Gomez, Tommaso Benacchio, Luca Bonaventura, Hans-Joachim Bungartz, Sanjay Chatterjee, Florina M Ciorba, Nathan DeBardeleben, Daniel Drzisga, Sebastian Eibl, Christian Engelmann, Wilfried N Gansterer, Luc Giraud, Dominik Göddeke, Marco Heisig, Fabienne Jézéquel, Nils Kohl, Xiaoye Sherry Li, Romain Lion, Miriam Mehl, Paul Mycek, Michael Obersteiner, Enrique S Quintana-Ortí, Francesco Rizzi, Ulrich Rüde, Martin Schulz, Fred Fung, Robert Speck, Linda Stals, Keita Teranishi, Samuel Thibault, Dominik Thönnes, Andreas Wagner, Barbara Wohlmuth
Publikováno v:
International Journal of High Performance Computing Applications
International Journal of High Performance Computing Applications, SAGE Publications, 2021
UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
The international journal of high performance computing applications 36(2), 251-285 (2022). doi:10.1177/10943420211055188
International Journal of High Performance Computing Applications, 2021, pp.10943420211055188. ⟨10.1177/10943420211055188⟩
International Journal of High Performance Computing Applications, SAGE Publications, 2021
UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
The international journal of high performance computing applications 36(2), 251-285 (2022). doi:10.1177/10943420211055188
International Journal of High Performance Computing Applications, 2021, pp.10943420211055188. ⟨10.1177/10943420211055188⟩
This work is based on the seminar titled ``Resiliency in Numerical Algorithm Design for Extreme Scale Simulations'' held March 1-6, 2020 at Schloss Dagstuhl, that was attended by all the authors. Naive versions of conventional resilience techniques w
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b05b71a6a20ec124273ae24745504d60
https://hal.inria.fr/hal-03348787/file/2010.13342.pdf
https://hal.inria.fr/hal-03348787/file/2010.13342.pdf
Autor:
Patrick Amestoy, Olivier Boiteau, Alfredo Buttari, Matthieu Gerest, Fabienne Jézéquel, Jean-Yves L’Excellent, Theo Mary
Publikováno v:
IMA Journal of Numerical Analysis
IMA Journal of Numerical Analysis, Oxford University Press (OUP), 2022, ⟨10.1093/imanum/drac037⟩
IMA Journal of Numerical Analysis, Oxford University Press (OUP), 2022, ⟨10.1093/imanum/drac037⟩
We introduce a novel approach to exploit mixed precision arithmetic for low-rank approximations. Our approach is based on the observation that singular vectors associated with small singular values can be stored in lower precisions while preserving h
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::94c8cf1bd85fe7b1dab6b296ab6bf67c
https://hal.archives-ouvertes.fr/hal-03251738
https://hal.archives-ouvertes.fr/hal-03251738
Publikováno v:
1st Workshop on Code Quality and Security (CQS 2021) in conjunction with WorldCIST'21 (9th World Conference on Information Systems and Technologies)
1st Workshop on Code Quality and Security (CQS 2021) in conjunction with WorldCIST'21 (9th World Conference on Information Systems and Technologies), Mar 2021, Terceira Island, Azores, Portugal
RAIM (Rencontres Arithmétiques de l'Informatique Mathématique)
RAIM (Rencontres Arithmétiques de l'Informatique Mathématique), May 2021, Paris, France
Advances in Intelligent Systems and Computing ISBN: 9783030726539
WorldCIST (4)
1st Workshop on Code Quality and Security (CQS 2021) in conjunction with WorldCIST'21 (9th World Conference on Information Systems and Technologies), Mar 2021, Terceira Island, Azores, Portugal
RAIM (Rencontres Arithmétiques de l'Informatique Mathématique)
RAIM (Rencontres Arithmétiques de l'Informatique Mathématique), May 2021, Paris, France
Advances in Intelligent Systems and Computing ISBN: 9783030726539
WorldCIST (4)
International audience; In this article, we show how to control the numerical quality of half precision computations using stochastic arithmetic. The CADNA library that is used to estimate rounding errors and detect numerical instabilities in floatin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::443940b3e9b247e92fc676be1f2b32bc
https://hal.archives-ouvertes.fr/hal-03138494/document
https://hal.archives-ouvertes.fr/hal-03138494/document
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
Publikováno v:
Applied Mathematics and Computation
Applied Mathematics and Computation, Elsevier, 2018, 329, pp.339-363. ⟨10.1016/j.amc.2018.02.004⟩
Applied Mathematics and Computation, Elsevier, 2018, 329, pp.339-363. ⟨10.1016/j.amc.2018.02.004⟩
International audience; Compensated algorithms consist in computing the rounding error 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.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cd4366b02bdeefe2eb44e955399281d0
https://hal.archives-ouvertes.fr/hal-01367769
https://hal.archives-ouvertes.fr/hal-01367769
Publikováno v:
TNC'18. Trusted Numerical Computations
TNC'18. Minisymposium on Trusted Numerical Computations. International Conference on Emerging Trends in Applied Mathematics and Mechanics
TNC'18. Minisymposium on Trusted Numerical Computations. International Conference on Emerging Trends in Applied Mathematics and Mechanics, Jun 2018, Krakow, Poland. pp.38-53, ⟨10.29007/5c91⟩
TNC'18. Minisymposium on Trusted Numerical Computations. International Conference on Emerging Trends in Applied Mathematics and Mechanics
TNC'18. Minisymposium on Trusted Numerical Computations. International Conference on Emerging Trends in Applied Mathematics and Mechanics, Jun 2018, Krakow, Poland. pp.38-53, ⟨10.29007/5c91⟩
International audience; Discrete Stochastic Arithmetic (DSA) enables one to estimate rounding errors and to detect numerical instabilities in simulation programs. DSA is implemented in the CADNA library that can analyze the numerical quality of singl
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a9b588fe495a8879a86033592798697d
https://hal.archives-ouvertes.fr/hal-01777397/file/article_TNC.pdf
https://hal.archives-ouvertes.fr/hal-01777397/file/article_TNC.pdf
Publikováno v:
19th IEEE International Workshop on Parallel and Distributed Scientific and Engineering Computing (PDSEC) in conjunction with the 32nd International Parallel and Distributed Processing Symposium (IPDPS)
2018 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW)
2018 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW), May 2018, Vancouver, Canada. pp.1016-1025, ⟨10.1109/IPDPSW.2018.00156⟩
IPDPS Workshops
2018 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW)
2018 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW), May 2018, Vancouver, Canada. pp.1016-1025, ⟨10.1109/IPDPSW.2018.00156⟩
IPDPS Workshops
International audience; The quantification of rounding errors is crucial for numerical simulations on massively parallel architectures such as GPUs. The CADNA library enables one to estimate rounding errors in simulation programs. A version of CADNA
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2d1fccbc62ae2cfac32b18b289de9c75
https://hal.sorbonne-universite.fr/hal-01858537
https://hal.sorbonne-universite.fr/hal-01858537
Publikováno v:
8th International Workshop on Numerical Software Verification, NSV 2015
8th International Workshop on Numerical Software Verification, NSV 2015, Apr 2015, Seattle, United States. pp.55-69, ⟨10.1016/j.entcs.2015.10.007⟩
8th International Workshop on Numerical Software Verification, NSV 2015, Apr 2015, Seattle, United States. pp.55-69, ⟨10.1016/j.entcs.2015.10.007⟩
International audience; Compensated summation algorithms are designed to improve the accuracy of ill-conditioned sums. They are based on algorithms, such as FastTwoSum, which are proved to provide, with rounding to nearest, the sum of two floating-po
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4ab10ebc6b29f6cc21abe93f731508db
Publikováno v:
Journal of computational science
Journal of computational science, Elsevier, 2019, 36, pp.101017. ⟨10.1016/j.jocs.2019.07.004⟩
Journal of computational science, Elsevier, 2019, 36, pp.101017. ⟨10.1016/j.jocs.2019.07.004⟩
International audience; The type length chosen for floating-point numbers (e.g. 32 bits or 64 bits) may have an impact on the execution time, especially on SIMD (Single Instruction Multiple Data) units. Furthermore optimizing the types used in a nume
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f7752a91068cb6cbed4e61659d994141
https://doi.org/10.1016/j.jocs.2019.07.004
https://doi.org/10.1016/j.jocs.2019.07.004