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 条

[41] Specification-based testing of Ada units with low encapsulation
Reyes, AA
Richardson, DJ
13TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 1998, : 22 - 31
[42] ADA: Arithmetic Operations with Adaptive TCAM Population in Programmable Switches
Malekpourshahraki, Mojtaba
Stephens, Brent E.
Vamanan, Balajee
2022 IEEE 42ND INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS (ICDCS 2022), 2022, : 381 - 391
[43] ANSI/ADA SPECIFICATION NO 64-STAR FOR DENTAL EXPLORERS
不详
JOURNAL OF THE AMERICAN DENTAL ASSOCIATION, 1986, 113 (04) : 675 - 675
[44] COUNCIL ADOPTS LABELING REQUIREMENT AND A CHANGE IN ADA SPECIFICATION NO 17
不详
JOURNAL OF THE AMERICAN DENTAL ASSOCIATION, 1963, 67 (05) : 756 - &
[45] ANSI ADA SPECIFICATION NO-57 FOR ENDODONTIC FILLING MATERIALS
不详
JOURNAL OF THE AMERICAN DENTAL ASSOCIATION, 1984, 108 (01) : 88 - 88
[46] AN ALGEBRAIC SPECIFICATION OF THE PARTIAL ORDERS GENERATED BY CONCURRENT ADA COMPUTATIONS
BRYAN, D
TRI-ADA 89 : INDUSTRY, ACADEMIA, GOVERNMENT: ADA TECHNOLOGY IN CONTEXT : APPLICATION, DEVELOPMENT, AND DEPLOYMENT, 1989, : 225 - 241
[47] REVISED ANSI ADA SPECIFICATION NO-4 FOR INLAY WAX
不详
JOURNAL OF THE AMERICAN DENTAL ASSOCIATION, 1984, 108 (01) : 88 - 88
[48] Environment for the development and specification of real-time Ada programs
González, A
Crespo, A
RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE' 99, 1999, 1622 : 124 - 135
[49] INTELLIGENT SCIENTIFIC COMPUTATION
KANT, E
KELLER, R
STEINBERG, S
AI MAGAZINE, 1993, 14 (01) : 11 - 12
[50] BEGINNINGS OF SCIENTIFIC COMPUTATION
GOLDSTIN.HH
SCRIPTA MATHEMATICA, 1973, 29 (3-4): : 379 - 389

← 1 2 3 4 5 →