PROBABILITY ANALYSIS OF ROUND-OFF ERRORS IN FLOATING-POINT ARITHMETIC

被引：0
|
作者：
LYASHENKO, NN
NIKULIN, MS
机构：
来源：
THEORY OF PROBABILITY AND ITS APPLICATIONS | 1990年 / 35卷 / 01期
关键词：
D O I：
10.1137/1135006
中图分类号：
O21 [概率论与数理统计]; C8 [统计学];
学科分类号：
020208 ; 070103 ; 0714 ;
摘要：
引用
收藏
页码：66 / 74
页数：9
相关论文
共 50 条
  • [1] Round-off errors in floating-point solutions for Chebyshev collocation points
    Tsuji, K
    SEVENTH INTERNATIONAL COLLOQUIUM ON DIFFERENTIAL EQUATIONS, PROCEEDINGS, 1997, : 421 - 428
  • [2] Automatic Estimation of Verified Floating-Point Round-Off Errors via Static Analysis
    Moscato, Mariano
    Titolo, Laura
    Dutle, Aaron
    Munoz, Cesar A.
    COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2017, 2017, 10488 : 213 - 229
  • [3] Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions
    Solovyev, Alexey
    Jacobsen, Charles
    Rakamaric, Zvonimir
    Gopalakrishnan, Ganesh
    FM 2015: FORMAL METHODS, 2015, 9109 : 532 - 550
  • [4] Rigorous Estimation of Floating-Point Round-Off Errors with Symbolic Taylor Expansions
    Solovyev, Alexey
    Baranowski, Marek S.
    Briggs, Ian
    Jacobsen, Charles
    Rakamaric, Zvonimir
    Gopalakrishnan, Ganesh
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2019, 41 (01):
  • [5] Rigorous Floating-Point Round-Off Error Analysis in PRECiSA 4.0
    Titolol, Laura
    Moscato, Mariano
    Feliu, Marco A.
    Masci, Paolo
    Munoz, Cesar A.
    FORMAL METHODS, PT II, FM 2024, 2025, 14934 : 20 - 38
  • [6] Floating-point numbers round-off error analysis by constraint programming
    Rémy Garcia
    Constraints, 2023, 28 (3) : 515 - 515
  • [7] An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs
    Titolo, Laura
    Feliu, Marco A.
    Moscato, Mariano
    Munoz, Cesar A.
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION (VMCAI 2018), 2018, 10747 : 516 - 537
  • [8] Analysis of floating-point round-off error in linear algebra routines for graph clustering
    Yang, L. Minah
    Fox, Alyson
    2020 IEEE HIGH PERFORMANCE EXTREME COMPUTING CONFERENCE (HPEC), 2020,
  • [9] Investigation of floating-point round-off errors within time-domain electromagnetic field computations
    Simons, NRS
    Bridges, GE
    Ghosh, B
    Cuhaci, M
    IEEE ANTENNAS AND PROPAGATION SOCIETY INTERNATIONAL SYMPOSIUM - ANTENNAS: GATEWAYS TO THE GLOBAL NETWORK, VOLS 1-4, 1998, : 260 - 263
  • [10] Round-off error of optimal control problems in floating-point number systems
    Tsuji, K
    PROCEEDINGS OF THE SECOND ISAAC CONGRESS, VOLS 1 AND 2, 2000, 7 : 929 - 944
12345