Algorithms for Stochastically Rounded Elementary Arithmetic Operations in IEEE 754 Floating-Point Arithmetic

被引：0
|
作者：
Fasi, Massimiliano [1 ]
Mikaitis, Mantas [1 ]
机构：
[1] Univ Manchester, Dept Math, 5292 Manchester, Manchester, Lancs, England
来源：
2021 IEEE 28TH SYMPOSIUM ON COMPUTER ARITHMETIC (ARITH 2021) | 2021年
关键词：
D O I：
10.1109/ARITH51176.2021.00024
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
引用
收藏
页码：69 / 69
页数：1
相关论文
共 50 条
  • [1] Algorithms for Stochastically Rounded Elementary Arithmetic Operations in IEEE 754 Floating-Point Arithmetic
    Fasi, Massimiliano
    Mikaitis, Mantas
    [J]. IEEE TRANSACTIONS ON EMERGING TOPICS IN COMPUTING, 2021, 9 (03) : 1451 - 1466
  • [2] Revisions to the IEEE 754 standard for floating-point arithmetic
    Schwarz, E
    [J]. 16TH IEEE SYMPOSIUM ON COMPUTER ARITHMETIC, PROCEEDINGS, 2003, : 112 - 112
  • [3] An Automatable Formal Semantics for IEEE-754 Floating-Point Arithmetic
    Brain, Martin
    Tinelli, Cesare
    Rummer, Philipp
    Wahl, Thomas
    [J]. IEEE 22ND SYMPOSIUM ON COMPUTER ARITHMETIC ARITH 22, 2015, : 160 - 167
  • [4] Correct approximation of IEEE 754 floating-point arithmetic for program verification
    Bagnara, Roberto
    Bagnara, Abramo
    Biselli, Fabio
    Chiari, Michele
    Gori, Roberta
    [J]. CONSTRAINTS, 2022, 27 (1-2) : 29 - 69
  • [5] APPLICATIONS OF THE PROPOSED IEEE-754 STANDARD FOR FLOATING-POINT ARITHMETIC
    HOUGH, D
    [J]. COMPUTER, 1981, 14 (03) : 70 - 74
  • [6] Correct approximation of IEEE 754 floating-point arithmetic for program verification
    Roberto Bagnara
    Abramo Bagnara
    Fabio Biselli
    Michele Chiari
    Roberta Gori
    [J]. Constraints, 2022, 27 : 29 - 69
  • [7] Software implementation of the IEEE 754R decimal floating-point arithmetic
    Cornea, Marius
    Anderson, Cristina
    Tsen, Charles
    [J]. SOFTWARE AND DATA TECHNOLOGIES, 2008, 10 : 97 - 109
  • [8] Software implementation of the IEEE 754R decimal floating-point arithmetic
    Cornea, Marius
    Anderson, Cristina
    Tsen, Charles
    [J]. ICSOFT 2006: Proceedings of the First International Conference on Software and Data Technologies, Vol 1, 2006, : 13 - 20
  • [9] RADIX CONVERSION FOR IEEE754-2008 MIXED RADIX FLOATING-POINT ARITHMETIC
    Kupriianova, Olga
    Lauter, Christoph
    Muller, Jean-Michel
    [J]. 2013 ASILOMAR CONFERENCE ON SIGNALS, SYSTEMS AND COMPUTERS, 2013, : 1134 - 1138
  • [10] A floating-point unit using stochastic arithmetic compliant with the IEEE-754 standard
    Chotin, R
    Mehrez, H
    [J]. ICES 2002: 9TH IEEE INTERNATIONAL CONFERENCE ON ELECTRONICS, CIRCUITS AND SYSTEMS, VOLS I-111, CONFERENCE PROCEEDINGS, 2002, : 603 - 606
12345