A FRAMEWORK FOR THE SYNTHESIS OF HARDWARE FROM OCCAM

被引：1

作者：

DOWSING, R ^{[1
]}

ELLIOTT, R ^{[1
]}

TEMPLETON, M ^{[1
]}

WILLIAMS, G ^{[1
]}

WOODHAMS, F ^{[1
]}

机构：

[1] UNIV E ANGLIA,SCH INFORMAT SYST,NORWICH NR4 7TJ,NORFOLK,ENGLAND

来源：

MICROPROCESSING AND MICROPROGRAMMING | 1989年 / 27卷 / 1-5期

关键词：

D O I：

10.1016/0165-6074(89)90077-X

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：373 / 379

页数：7

共 17 条

[1]

Baird H. S., 1975, 12th Design Automations Conference, P414

[2]

BARBACCI MR, 1985, COMPUTER HARDWARE DE, P272

[3]

COLLIS G, 1988, THESIS U MANCHESTER

[4]

DENYER P, 1988, 1988 UKDA WORKSH BEH

[5]

DIETMEYER DL, 1975, DIGITAL SYSTEM DESIG

[6]

EVEKING H, 1983, IFIP C SYSTEM DESCRI, P315

[7]

Hoare C.A.R., 1985, COMMUNICATING SEQUEN

[8]

MARSHALL RM, 1986, THESIS U EDINBURGH E

MARTIN, AJ .

[10]

MAY D, 1988, INMOS23 INM TECHN NO