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 条

[41] ON THE PROGRAMS-AS-FORMULAS INTERPRETATION OF PARALLEL PROGRAMS IN PEANO ARITHMETIC
FARKAS, EJ
SZABO, ME
ANNALS OF PURE AND APPLIED LOGIC, 1988, 37 (02) : 111 - 127
[42] STATIC SCHEDULING OF PARALLEL PROGRAMS FOR MESSAGE PASSING ARCHITECTURES
GERASOULIS, A
YANG, T
LECTURE NOTES IN COMPUTER SCIENCE, 1992, 634 : 601 - 612
[43] Simulation of scientific programs on parallel architectures with MIMESIS environment
Kempf, G
Caremoli, C
Damm, G
Thang, WY
vanderSteen, A
PROCEEDINGS OF THE 29TH ANNUAL SIMULATION SYMPOSIUM, 1996, : 36 - 43
[44] PATH FOR AND-PARALLEL EXECUTION OF LOGIC PROGRAMS
LEE, SH
KIM, DH
CHOE, KM
INFORMATION PROCESSING LETTERS, 1994, 52 (04) : 191 - 199
[45] SEQUENTIALIZATION OF PARALLEL LOGIC PROGRAMS WITH MODE ANALYSIS
MASSEY, BC
TICK, E
LOGIC PROGRAMMING AND AUTOMATED REASONING, 1993, 698 : 205 - 216
[46] Capturing parallel circumscription with disjunctive logic programs
Janhunen, T
Oikarinen, E
LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2004, 3229 : 134 - 146
[47] Parallel execution of logic programs by load sharing
Lin, Z
JOURNAL OF LOGIC PROGRAMMING, 1997, 30 (01): : 25 - 51
[48] THE PARALLEL COMPLEXITY OF SINGLE RULE LOGIC PROGRAMS
AFRATI, F
DISCRETE APPLIED MATHEMATICS, 1992, 40 (02) : 107 - 126
[49] AN AND-PARALLEL EXECUTION MODEL OF LOGIC PROGRAMS
SCHWINN, B
BARTH, G
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 213 : 289 - 300
[50] A study on parallel semantics of constrint logic programs
Sun, JG
Zhang, YG
PROCEEDINGS OF 2005 INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND CYBERNETICS, VOLS 1-9, 2005, : 2182 - 2187

← 1 2 3 4 5 →