SINGLE-CHIP ACCELERATORS SPEED FLOATING-POINT AND BINARY COMPUTATIONS

被引：0

作者：

QUONG, D

PERLMAN, R

机构：

来源：

关键词：

D O I：

暂无

中图分类号：

TM [电工技术]; TN [电子技术、通信技术];

学科分类号：

0808 ; 0809 ;

摘要：

引用

页码：246 / &

共 50 条

[1] 24-BIT SINGLE-CHIP MULTIPLIER EASES FLOATING-POINT COMPUTATIONS
不详
[J]. EDN MAGAZINE-ELECTRICAL DESIGN NEWS, 1978, 23 (11): : 156 - 156
[2] FLOATING-POINT MILESTONE - SINGLE-CHIP PROCESSORS
LINEBACK, JR
[J]. ELECTRONICS, 1988, 61 (06): : 77 - 77
[3] FLOATING-POINT MILESTONE: SINGLE-CHIP PROCESSORS.
Lineback, J.Robert
[J]. Electronics, 1988, 61 (06):
[4] Single-chip IBM system/390 floating-point processor in CMOS
[J]. Dao-Trong, S., 1600, (36):
[5] A SINGLE-CHIP IBM SYSTEM/390 FLOATING-POINT PROCESSOR IN CMOS
DAOTRONG, S
HELWIG, K
[J]. IBM JOURNAL OF RESEARCH AND DEVELOPMENT, 1992, 36 (04) : 733 - 749
[6] 40-MHZ SINGLE-CHIP DEVICE PROCESSES FLOATING-POINT INSTRUCTIONS FOR SPARC
DONLIN, M
[J]. COMPUTER DESIGN, 1989, 28 (13): : 91 - 91
[7] Termination of Floating-Point Computations
Alexander Serebrenik
Danny De Schreye
[J]. Journal of Automated Reasoning, 2005, 34 : 141 - 177
[8] Termination of floating-point computations
Serebrenik, A
De Schreye, D
[J]. JOURNAL OF AUTOMATED REASONING, 2005, 34 (02) : 141 - 177
[9] The pitfalls of verifying floating-point computations
Monniaux, David
[J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2008, 30 (03):
[10] Verified Compilation of Floating-Point Computations
Sylvie Boldo
Jacques-Henri Jourdan
Xavier Leroy
Guillaume Melquiond
[J]. Journal of Automated Reasoning, 2015, 54 : 135 - 163