DATA-FLOW AND LOGICFLOW MODELS FOR DEFINING A PARALLEL PROLOG ABSTRACT MACHINE

被引：0
|
作者：
KACSUK, P
机构：
来源：
PARALLEL ARCHITECTURES AND COMPILATION TECHNIQUES | 1994年 / 50卷
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
The Generalized Dataflow Model is introduced for OR- and pipeline AND-parallel execution of logic programs. A higher level abstraction of the dataflow model called the Logicflow Model is applied to implement Prolog on massively parallel distributed memory computers. The paper describes the main features of the two models explaining their firing rules and transition functions respectively.
引用
收藏
页码：289 / 298
页数：10
相关论文
共 50 条
  • [21] SEQUENTIAL AND DATA-FLOW MODELS OF PROCESSING
    PIOTROWSKI, JA
    COMPUTERS & MATHEMATICS WITH APPLICATIONS, 1994, 27 (01) : 81 - 96
  • [22] DATA-FLOW EQUATIONS FOR EXPLICITLY PARALLEL PROGRAMS
    GRUNWALD, D
    SRINIVASAN, H
    SIGPLAN NOTICES, 1993, 28 (07): : 159 - 168
  • [23] Models for data-flow sequential processes
    Josephs, MB
    COMMUNICATING SEQUENTIAL PROCESSES: THE FIRST 25 YEARS, 2005, 3525 : 85 - 97
  • [24] CONTROL OF PARALLELISM IN THE MANCHESTER DATA-FLOW MACHINE
    RUGGIERO, CA
    SARGEANT, J
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 274 : 1 - 15
  • [25] PROCESSOR ALLOCATION IN A MULTIRING DATA-FLOW MACHINE
    BARAHONA, PMCC
    GURD, JR
    JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 1986, 3 (03) : 305 - 327
  • [26] A FULLY ABSTRACT TRACE MODEL FOR DATA-FLOW AND ASYNCHRONOUS NETWORKS
    JONSSON, B
    DISTRIBUTED COMPUTING, 1994, 7 (04) : 197 - 212
  • [27] THE COMBINING DAG - A TECHNIQUE FOR PARALLEL DATA-FLOW ANALYSIS
    KRAMER, R
    GUPTA, R
    SOFFA, ML
    IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 1994, 5 (08) : 805 - 813
  • [28] CONTROL VERSUS DATA-FLOW IN PARALLEL DATABASE MACHINES
    TEEUW, WB
    BLANKEN, HM
    IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 1993, 4 (11) : 1265 - 1279
  • [29] A data-flow language for business process models
    Bruno, Giorgio
    CENTERIS 2014 - CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS / PROJMAN 2014 - INTERNATIONAL CONFERENCE ON PROJECT MANAGEMENT / HCIST 2014 - INTERNATIONAL CONFERENCE ON HEALTH AND SOCIAL CARE INFORMATION SYSTEMS AND TECHNOLOGIES, 2014, 16 : 128 - 137
  • [30] THE REDUCTION METHOD OF WAITING OPERANDS IN DATA-FLOW MACHINE
    NAGASE, H
    TAWA, K
    KAJI, M
    NAKAYAMA, H
    SUZUKI, H
    KAKUMA, M
    INFORMATION PROCESSING '94, VOL I: TECHNOLOGY AND FOUNDATIONS, 1994, 51 : 141 - 146
12345