Java']Java and floating-point math

被引：0
|
作者：
不详
机构：
来源：
COMPUTER | 1997年 / 30卷 / 04期
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：25 / 26
页数：2
相关论文
共 50 条
  • [1] Practically Accurate Floating-Point Math
    Toronto, Neil
    McCarthy, Jay
    [J]. COMPUTING IN SCIENCE & ENGINEERING, 2014, 16 (04) : 80 - +
  • [2] CONSIDER ALTERNATIVES TO FLOATING-POINT MATH
    HALL, B
    [J]. EDN, 1989, 34 (02) : 35 - 35
  • [3] Combining rule- and SMT-based reasoning for verifying floating-point Java']Java programs in KeY
    Abbasi, Rosa
    Schiffl, Jonas
    Darulova, Eva
    Ulbrich, Mattias
    Ahrendt, Wolfgang
    [J]. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2023, 25 (02) : 185 - 204
  • [4] 32-BIT FLOATING-POINT MATH
    WILLIAMS, A
    [J]. DR DOBBS JOURNAL, 1993, 18 (06): : 70 - &
  • [5] A matrix math library for Java']Java
    Smith, TH
    Gower, AE
    Boning, DS
    [J]. CONCURRENCY-PRACTICE AND EXPERIENCE, 1997, 9 (11): : 1127 - 1137
  • [6] FLOATING-POINT MATH CHIPS FOR DSP BOAST THROUGHPUT RECORDS
    LEONARD, M
    [J]. ELECTRONIC DESIGN, 1988, 36 (08) : 53 - 55
  • [7] GRAPHICS COPROCESSORS MEET INCREASING DEMANDS FOR FLOATING-POINT MATH
    WILLIAMS, T
    [J]. COMPUTER DESIGN, 1988, 27 (15): : 29 - 31
  • [8] FLOATING-POINT MATH CHIP DELIVERS 200 MFLOPS PEAK
    BURSKY, D
    [J]. ELECTRONIC DESIGN, 1990, 38 (04) : 51 - &
  • [9] MEMORY-MAPPED COPROCESSOR SPEEDS FLOATING-POINT MATH
    BONOMI, M
    TICE, C
    [J]. EDN, 1987, 32 (17) : 203 - 209
  • [10] Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY
    Abbasi, Rosa
    Schiffl, Jonas
    Darulova, Eva
    Ulbrich, Mattias
    Ahrendt, Wolfgang
    [J]. International Journal on Software Tools for Technology Transfer, 2023, 25 (02): : 185 - 204
12345