On the construction of a prolog-based verifier for systolic array designs
學年 83
學期 2
出版（發表）日期 1995-02-01
作品名稱 On the construction of a prolog-based verifier for systolic array designs
作品名稱（其他語言）
著者 施國琛; Shih, Timothy K.; Ling, Nam; Davis, Ruth; Lin, Fuyau
單位 淡江大學資訊工程學系
出版者 Wiley-Blackwell
著錄名稱、卷期、頁數 Computational intelligence 11(1), pp.172-221
摘要
關鍵字
語言 en
ISSN 0824-7935
期刊性質 國外
收錄於
產學合作
通訊作者
審稿制度 否
國別 USA
公開徵稿
出版型式 ,電子版
相關連結

機構典藏連結 ( http://tkuir.lib.tku.edu.tw:8080/dspace/handle/987654321/45442 )

機構典藏連結