THE PARALLEL INTERPRETATION OF LOGIC PROGRAMS IN DISTRIBUTED ARCHITECTURES

被引：3

作者：

CORSINI, P

FROSINI, G

SPERANZA, G

机构：

[1] UNIV PISA,FAC INGN,IST ELETTR & TELECOMMUN,VIA DIOTISALVA 2,I-56100 PISA,ITALY

[2] INGN DEI SIST SPA,PISA,ITALY

来源：

COMPUTER JOURNAL | 1989年 / 32卷 / 01期

关键词：

D O I：

10.1093/comjnl/32.1.29

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：29 / 35

页数：7

共 50 条

[1] Parallel interpretation of logic programs in distributed architectures
Corsini, P., 1600, (32):
[2] Testing parallel and distributed programs with temporal logic specifications
Frey, M
Oberhuber, M
SECOND INTERNATIONAL WORKSHOP ON SOFTWARE ENGINEERING FOR PARALLEL AND DISTRIBUTED SYSTEMS, PROCEEDINGS, 1997, : 62 - 72
[3] A SHARED ENVIRONMENT PARALLEL LOGIC PROGRAMMING SYSTEM ON DISTRIBUTED MEMORY ARCHITECTURES
DELGADORANNAURO, SA
DOROCHEVSKY, M
SCHUERMAN, K
VERON, A
XU, JY
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 487 : 371 - 380
[4] A PREDICATE-TRANSITION NET MODEL FOR PARALLEL INTERPRETATION OF LOGIC PROGRAMS
MURATA, T
ZHANG, D
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1988, 14 (04) : 481 - 497
[5] MAPPING PROGRAMS ON REGULAR DISTRIBUTED ARCHITECTURES
PERRIN, GR
CLAUSS, P
DAMY, S
HYPERCUBE AND DISTRIBUTED COMPUTERS, 1989, : 175 - 187
[6] SIMULATING PARALLEL ARCHITECTURES IN A DISTRIBUTED ENVIRONMENT
LI, XB
CHANG, YL
JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 1990, 9 (02) : 218 - 223
[7] Performance evaluation of or-parallel logic programming systems on distributed shared-memory architectures
Calegario, VM
Dutra, ID
EURO-PAR'99: PARALLEL PROCESSING, 1999, 1685 : 1484 - 1491
[8] STRUCTURING PARALLEL AND DISTRIBUTED PROGRAMS
MAGEE, J
DULAY, N
KRAMER, J
SOFTWARE ENGINEERING JOURNAL, 1993, 8 (02): : 73 - 82
[9] Visualization of parallel and distributed programs
Zibarov, A. (zibarov.alexey@gmail.com), 1600, Begell House Inc. (21): : 1 - 4
[10] DENOTATIONAL ABSTRACT INTERPRETATION OF LOGIC PROGRAMS
MARRIOTT, K
SONDERGAARD, H
JONES, ND
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1994, 16 (03): : 607 - 648

← 1 2 3 4 5 →