SUPERSCALAR FLOATING-POINT VECTOR COMPUTATION IN SCHEME

被引：0

|

作者：

SRINIVAS, S

DYBVIG, K

机构：

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1992年 / 634卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：811 / 812

页数：2

相关论文

共 50 条

[31] Floating-point tricks
Blinn, JF
IEEE COMPUTER GRAPHICS AND APPLICATIONS, 1997, 17 (04) : 80 - 84
[32] FLOATING-POINT REPLY
WILLIAMS, A
DR DOBBS JOURNAL, 1993, 18 (13): : 10 - 10
[33] FLOATING-POINT ARITHMETICS
WADEY, WG
JOURNAL OF THE ACM, 1960, 7 (02) : 129 - 139
[34] Floating-point verification
Harrison, J
FM 2005: FORMAL METHODS, PROCEEDINGS, 2005, 3582 : 529 - 532
[35] Floating-point verification
Harrison, John
JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2007, 13 (05) : 629 - 638
[36] FLOATING-POINT COUNTERS
KALUGIN, VV
INSTRUMENTS AND EXPERIMENTAL TECHNIQUES, 1982, 25 (05) : 1131 - 1133
[37] THE USE OF FLOATING-POINT AND INTERVAL ARITHMETIC IN THE COMPUTATION OF ERROR-BOUNDS
LOZIER, DW
IEEE TRANSACTIONS ON COMPUTERS, 1983, 32 (04) : 411 - 417
[38] Controlling Computation Granularity through Fusion in Improving Floating-Point Numbers
Saito, Momoka
Iwasaki, Hideya
Kawabata, Hideyuki
Komiya, Tsuneyasu
PROCEEDINGS OF THE 17TH ACM SIGPLAN INTERNATIONAL SYMPOSIUM ON HASKELL, HASKELL 2024, 2024, : 83 - 96
[39] Optimization and Tradeoffs in Secure Floating-Point Computation: Products, Powers, and Polynomials
Catrina, Octavian
PROCEEDINGS OF THE 6TH CONFERENCE ON THE ENGINEERING OF COMPUTER BASED SYSTEMS (ECBS 2019), 2020,
[40] Extension of floating-point filters to absolute and relative errors for numerical computation
Ohta, Yuki
Ozaki, Katsuhisa
INTERNATIONAL CONFERENCE ON MATHEMATICS: PURE, APPLIED AND COMPUTATION, 2019, 1218

← 1 2 3 4 5 →