PROLOG TO DATA-FLOW PROCESS NETWORKS

被引：0
|
作者：
ODONNELL, RA
机构：
来源：
PROCEEDINGS OF THE IEEE | 1995年 / 83卷 / 05期
关键词：
D O I：
暂无
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
引用
收藏
页码：771 / 772
页数：2
相关论文
共 50 条
  • [1] DATA-FLOW PROCESS NETWORKS
    LEE, EA
    PARKS, TM
    PROCEEDINGS OF THE IEEE, 1995, 83 (05) : 773 - 799
  • [2] LIVE-STRUCTURE DATA-FLOW ANALYSIS FOR PROLOG
    MULKERS, A
    WINSBOROUGH, W
    BRUYNOOGHE, M
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1994, 16 (02): : 205 - 258
  • [3] USING PROCESS ALGEBRAS FOR THE SEMANTIC ANALYSIS OF DATA-FLOW NETWORKS
    BERNARDESCHI, C
    BONDAVALLI, A
    SIMONCINI, L
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 1995, E78D (08) : 959 - 968
  • [4] DATA-FLOW NETWORKS ARE FIBRATIONS
    STARK, EW
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 530 : 261 - 281
  • [5] DATA-FLOW BASED EXECUTION MECHANISMS OF PARALLEL AND CONCURRENT PROLOG
    ITO, N
    SHIMIZU, H
    KISHI, M
    KUNO, E
    ROKUSAWA, K
    NEW GENERATION COMPUTING, 1985, 3 (01) : 15 - 41
  • [6] A DATA-FLOW PROLOG EXECUTION MODEL AND ITS ARCHITECTURAL SUPPORT
    ZHANG, K
    THOMAS, R
    MICROPROCESSING AND MICROPROGRAMMING, 1991, 33 (02): : 119 - 130
  • [7] DATA-FLOW AND LOGICFLOW MODELS FOR DEFINING A PARALLEL PROLOG ABSTRACT MACHINE
    KACSUK, P
    PARALLEL ARCHITECTURES AND COMPILATION TECHNIQUES, 1994, 50 : 289 - 298
  • [8] STABILITY AND SEQUENTIALITY IN DATA-FLOW NETWORKS
    PANANGADEN, P
    SHANBHOGUE, V
    STARK, EW
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 443 : 308 - 321
  • [9] DATA-FLOW GRAPH OPTIMIZATION FOR DATA-FLOW ARCHITECTURES - A DATA-FLOW OPTIMIZING COMPILER
    KYO, S
    OKAZAKI, S
    MIZOGUCHI, M
    NEC RESEARCH & DEVELOPMENT, 1994, 35 (01): : 96 - 107
  • [10] FULL ABSTRACTION FOR NONDETERMINISTIC DATA-FLOW NETWORKS
    RUSSELL, JR
    30TH ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE, 1989, : 170 - 175
12345