A HARDWARE IMPLEMENTATION OF THE CSP PRIMITIVES AND ITS VERIFICATION

被引：0
|
作者：
RON, D
ROSEMBERG, F
PNUELI, A
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1984年 / 172卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：423 / 435
页数：13
相关论文
共 50 条
  • [31] Hardware Primitives for the Synthesis of Multithreaded Elastic Systems
    Dimitrakopoulos, G.
    Seitanidis, I.
    Psarras, A.
    Tsiouris, K.
    Mattheakis, P. M.
    Cortadella, J.
    [J]. 2014 DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION (DATE), 2014,
  • [32] AN ALTERNATIVE IMPLEMENTATION OF COMMUNICATION PRIMITIVES
    VANDESNEPSCHEUT, JLA
    UDDING, JT
    [J]. INFORMATION PROCESSING LETTERS, 1986, 23 (05) : 231 - 238
  • [33] TEMPORAL LOGIC BASED HARDWARE DESCRIPTION AND ITS VERIFICATION WITH PROLOG
    FUJITA, M
    TANAKA, H
    MOTOOKA, T
    [J]. NEW GENERATION COMPUTING, 1983, 1 (02) : 195 - 203
  • [34] Reduction techniques of workflow verification and its implementation
    李沛武
    卢正鼎
    付湘林
    [J]. Journal of Harbin Institute of Technology(New series), 2004, (01) : 109 - 113
  • [35] IMPLEMENTATION OF A MASK VERIFICATION LANGUAGE AND ITS COMPILER
    BROWN, AD
    THOMAS, PR
    [J]. IEE PROCEEDINGS-E COMPUTERS AND DIGITAL TECHNIQUES, 1990, 137 (03): : 207 - 217
  • [36] Reduction techniques of workflow verification and its implementation
    Li, Pei-Wu
    Lu, Zheng-Ding
    Fu, Xiang-Lin
    [J]. Journal of Harbin Institute of Technology (New Series), 2004, 11 (01) : 109 - 113
  • [37] HARDWARE IMPLEMENTATION AND VERIFICATION OF FIR FILTER UTILIZING M-BIT PDA
    Jeng, Shiann-Shiun
    Lin, Hsing-Chen
    Chen, Chun-Chyuan
    Chang, Shu-Ming
    [J]. JOURNAL OF CIRCUITS SYSTEMS AND COMPUTERS, 2010, 19 (02) : 503 - 517
  • [38] A hardware oriented fuzzification algorithm and its VLSI implementation
    Javadi, Mohammad Haji Seyed
    Mahdiani, Hamid Reza
    Kh, Esmaeil Zeinali
    [J]. SOFT COMPUTING, 2013, 17 (04) : 683 - 690
  • [39] A novel deadlock avoidance algorithm and its hardware implementation
    Lee, J
    Mooney, VJ
    [J]. INTERNATIONAL CONFERENCE ON HARDWARE/SOFTWARE CODESIGN AND SYSTEM SYNTHESIS, 2004, : 200 - 205
  • [40] A packet forwarding layer for DIMMnet and its hardware implementation
    Hamada, Y
    Nishi, H
    Kitamura, A
    Tanabe, N
    Amano, H
    Nakajo, H
    [J]. PDPTA '05: Proceedings of the 2005 International Conference on Parallel and Distributed Processing Techniques and Applications, Vols 1-3, 2005, : 461 - 467
12345