THE SHARING OF ENVIRONMENT IN AND-PARALLEL AND OR-PARALLEL EXECUTIONS OF LOGIC PROGRAMS

被引：0

|

作者：

SUN, CZ

CI, YG

机构：

来源：

SCIENCE IN CHINA SERIES A-MATHEMATICS PHYSICS ASTRONOMY | 1990年 / 33卷 / 04期

关键词：

D O I：

暂无

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

引用

收藏

页码：467 / 476

页数：10

相关论文

共 50 条

[21] Backtracking in independent and-parallel implementations of logic programming languages
Pontelli, E
Gupta, G
IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 2001, 12 (11) : 1169 - 1189
[22] Testing parallel programs using controlled executions
Ronsse, M
Christiaens, M
De Bosschere, K
PDPTA'2001: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, 2001, : 1654 - 1659
[23] Parallel scheme for the execution of logic programs in a multiprocessor environment
Pennsylvania State Univ, University Park, United States
Microcomput Appl, 3 (81-93):
[24] VIRTUAL MEMORY SUPPORT FOR OR-PARALLEL LOGIC PROGRAMMING SYSTEMS
VERON, A
XU, JY
DELGADORANNAURO, SA
SCHUERMAN, K
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 506 : 421 - 438
[25] Comparative metric semantics for commit in or-parallel logic programming
Todoran, E
denHartog, J
deVink, E
LOGIC PROGRAMMING - PROCEEDINGS OF THE 1997 INTERNATIONAL SYMPOSIUM, 1997, : 101 - 115
[26] Abstract and-parallel machines
Lindenstrauss, N
Dershowitz, N
COMPUTERS AND ARTIFICIAL INTELLIGENCE, 2000, 19 (05): : 475 - 493
[27] An and/or-parallel implementation of AKL
Montelius, J
Ali, KAM
NEW GENERATION COMPUTING, 1996, 14 (01) : 31 - 52
[28] A DISTRIBUTED FAIR POLLING SCHEME APPLIED TO OR-PARALLEL LOGIC PROGRAMMING
ZHENG, L
INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, 1992, 20 (04) : 315 - 339
[29] INDEPENDENT AND-PARALLEL IMPLEMENTATION OF NARROWING
KUCHEN, H
MORENONAVARRO, JJ
HERMENEGILDO, MV
LECTURE NOTES IN COMPUTER SCIENCE, 1992, 631 : 24 - 38
[30] STUDY OF A PARALLEL INFERENCE MACHINE FOR PARALLEL EXECUTION OF LOGIC PROGRAMS
YAOQING, G
CHENGZHENG, S
SHOUREN, H
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 457 : 143 - 153

← 1 2 3 4 5 →