FLOATING-POINT SURVIVAL KIT

被引：0
|
作者：
WILSON, P [1 ]
机构：
[1] INMOS CORP,COLORADO SPRINGS,CO
来源：
BYTE | 1988年 / 13卷 / 03期
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：217 / &
相关论文
共 50 条
  • [1] Accurate Floating-point Operation using Controlled Floating-point Precision
    Zaki, Ahmad M.
    Bahaa-Eldin, Ayman M.
    El-Shafey, Mohamed H.
    Aly, Gamal M.
    2011 IEEE PACIFIC RIM CONFERENCE ON COMMUNICATIONS, COMPUTERS AND SIGNAL PROCESSING (PACRIM), 2011, : 696 - 701
  • [2] Floating-point arithmetic
    Boldo, Sylvie
    Jeannerod, Claude-Pierre
    Melquiond, Guillaume
    Muller, Jean-Michel
    ACTA NUMERICA, 2023, 32 : 203 - 290
  • [3] On floating-point summation
    Espelid, TO
    SIAM REVIEW, 1995, 37 (04) : 603 - 607
  • [4] FLOATING-POINT COMPUTATION
    STERBENZ, P
    TRANSACTIONS OF THE NEW YORK ACADEMY OF SCIENCES, 1974, 36 (06): : 591 - 591
  • [5] Floating-point tricks
    Blinn, JF
    IEEE COMPUTER GRAPHICS AND APPLICATIONS, 1997, 17 (04) : 80 - 84
  • [6] FLOATING-POINT REPLY
    WILLIAMS, A
    DR DOBBS JOURNAL, 1993, 18 (13): : 10 - 10
  • [7] FLOATING-POINT ARITHMETICS
    WADEY, WG
    JOURNAL OF THE ACM, 1960, 7 (02) : 129 - 139
  • [8] Floating-point verification
    Harrison, J
    FM 2005: FORMAL METHODS, PROCEEDINGS, 2005, 3582 : 529 - 532
  • [9] Floating-point verification
    Harrison, John
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2007, 13 (05) : 629 - 638
  • [10] FLOATING-POINT COUNTERS
    KALUGIN, VV
    INSTRUMENTS AND EXPERIMENTAL TECHNIQUES, 1982, 25 (05) : 1131 - 1133
12345