ARITHMETIC SPECIFICATION FOR SCIENTIFIC COMPUTATION IN ADA

被引：0

|

作者：

KLATTE, R

ULLRICH, CP

VONGUDENBERG, JW

机构：

来源：

IEEE TRANSACTIONS ON COMPUTERS | 1985年 / 34卷 / 11期

关键词：

D O I：

暂无

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

收藏

页码：996 / 1005

页数：10

相关论文

共 50 条

[1] A NEW ARITHMETIC FOR SCIENTIFIC COMPUTATION
KULISCH, U
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 235 : 18 - 30
[2] A STOCHASTIC ARITHMETIC FOR RELIABLE SCIENTIFIC COMPUTATION
VIGNES, J
MATHEMATICS AND COMPUTERS IN SIMULATION, 1993, 35 (03) : 233 - 261
[3] A residue arithmetic extension for reliable scientific computation
Kinoshita, E
Lee, KJ
IEEE TRANSACTIONS ON COMPUTERS, 1997, 46 (02) : 129 - 138
[4] A NEW ARITHMETIC FOR SCIENTIFIC COMPUTATION WITH EXACT EVALUATION OF EXPRESSIONS
KULISCH, U
LECTURE NOTES IN COMPUTER SCIENCE, 1985, 203 : 114 - 123
[5] DECIMAL ARITHMETIC IN ADA
BROSGOL, BM
EACHUS, RI
EMERY, DE
LECTURE NOTES IN COMPUTER SCIENCE, 1992, 603 : 138 - 149
[6] High-precision floating-point arithmetic in scientific computation
Bailey, DH
COMPUTING IN SCIENCE & ENGINEERING, 2005, 7 (03) : 54 - 61
[7] ADA MODEL ARITHMETIC - COSTS AND BENEFITS
WALLIS, PJL
IEE PROCEEDINGS-E COMPUTERS AND DIGITAL TECHNIQUES, 1982, 129 (02): : 75 - 80
[8] SPECIAL ISSUE ON SPECIFICATION AND TASKING IN ADA
HANNA, FK
IEE PROCEEDINGS-E COMPUTERS AND DIGITAL TECHNIQUES, 1982, 129 (02): : 37 - 37
[9] AN OVERVIEW OF ANNA, A SPECIFICATION LANGUAGE FOR ADA
LUCKHAM, DC
VONHENKE, FW
IEEE SOFTWARE, 1985, 2 (02) : 9 - 22
[10] Specification and implementation of a tree interface for ada
Hartwig, M.
Stein, E.
Strobel, R.
Journal of Information Processing and Cybernetics, 1991, 27 (04):

← 1 2 3 4 5 →