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 条
  • [41] Logico-Numerical Abstract Acceleration and Application to the Verification of Data-Flow Programs
    Schrammel, Peter
    Jeannet, Bertrand
    STATIC ANALYSIS, 2011, 6887 : 233 - 248
  • [42] PROGRAMMING THE LORAL LDF-100 DATA-FLOW MACHINE
    KAPLAN, I
    SIGPLAN NOTICES, 1987, 22 (05): : 47 - 57
  • [43] NETWORK DESIGN AND ALLOCATION CONSIDERATIONS IN THE HUGHES DATA-FLOW MACHINE
    EXUM, MR
    GAUDIOT, JL
    PARALLEL COMPUTING, 1990, 13 (01) : 17 - 34
  • [44] Optimal and Perfectly Parallel Algorithms for On-demand Data-flow Analysis
    Chatterjee, Krishnendu
    Goharshady, Amir Kafshdar
    Ibsen-Jensen, Rasmus
    Pavlogiannis, Andreas
    PROGRAMMING LANGUAGES AND SYSTEMS ( ESOP 2020): 29TH EUROPEAN SYMPOSIUM ON PROGRAMMING, 2020, 12075 : 112 - 140
  • [45] DATA-FLOW QUERY EXECUTION IN A PARALLEL MAIN-MEMORY ENVIRONMENT
    WILSCHUT, AN
    APERS, PMG
    DISTRIBUTED AND PARALLEL DATABASES, 1993, 1 (01) : 103 - 128
  • [46] Supporting design patterns in a visual parallel data-flow programming environment
    Toyoda, M
    Shizuki, B
    Takahashi, S
    Matsuoka, S
    Shibayama, E
    1997 IEEE SYMPOSIUM ON VISUAL LANGUAGES, PROCEEDINGS, 1997, : 76 - 83
  • [47] Automating the synthesis of AltaRica Data-Flow models from SysML
    David, P.
    Idasiak, V.
    Kratz, F.
    RELIABILITY, RISK AND SAFETY: THEORY AND APPLICATIONS VOLS 1-3, 2010, : 105 - 112
  • [48] Detection and Resolution of Data-Flow Differences in Business Process Models
    Jovanovikj, Ivan
    Yigitbas, Enes
    Gerth, Christian
    Sauer, Stefan
    Engels, Gregor
    INFORMATION SYSTEMS ENGINEERING IN RESPONSIBLE INFORMATION SYSTEMS, CAISE FORUM 2019, 2019, 350 : 145 - 157
  • [49] A RECONFIGURABLE DATA-FLOW MACHINE FOR IMPLEMENTING FUNCTIONAL PROGRAMMING-LANGUAGES
    GIRAUDCARRIER, C
    SIGPLAN NOTICES, 1994, 29 (09): : 22 - 28
  • [50] METHODOLOGIES IN DEVELOPMENT AND TESTING OF THE DATA-FLOW MACHINE-EM-4
    OKAMOTO, K
    KODAMA, Y
    SAKAI, S
    YAMAGUCHI, Y
    PARALLEL COMPUTING, 1992, 18 (08) : 901 - 912
12345