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 条

[31] PARALLEL PROCESSING OF RECURSIVE QUERIES IN DISTRIBUTED ARCHITECTURES
HULIN, G
VERY LARGE DATA BASES - PROCEEDINGS, 1989, : 87 - 96
[32] XTW, a parallel and distributed logic simulator
Xu, Qing
Tropper, Carl
ASP-DAC 2005: PROCEEDINGS OF THE ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE, VOLS 1 AND 2, 2005, : 1064 - 1069
[33] XTW, a parallel and distributed logic simulator
Xu, Q
Tropper, C
WORKSHOP ON PRINCIPLES OF ADVANCED AND DISTRIBUTED SIMULATION, PROCEEDINGS, 2005, : 181 - 188
[34] PERFORMANCE EVALUATION OF PARALLEL PROGRAMS IN PARALLEL AND DISTRIBUTED SYSTEMS
MOHR, B
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 457 : 176 - 187
[35] An abstract interpretation approach to termination of logic programs
Gori, R
LOGIC FOR PROGRAMMING AND AUTOMATED REASONING, PROCEEDINGS, 2000, 1955 : 362 - 380
[36] TOWARDS A FRAMEWORK FOR THE ABSTRACT INTERPRETATION OF LOGIC PROGRAMS
NILSSON, U
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 348 : 68 - 82
[37] Abstract interpretation based verification of logic programs
Comini, M
Gori, R
Levi, G
Volpe, P
SCIENCE OF COMPUTER PROGRAMMING, 2003, 49 (1-3) : 89 - 123
[38] A PRACTICAL FRAMEWORK FOR THE ABSTRACT INTERPRETATION OF LOGIC PROGRAMS
BRUYNOOGHE, M
JOURNAL OF LOGIC PROGRAMMING, 1991, 10 (02): : 91 - 124
[39] 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
[40] COMPARING 2 PARALLEL LOGIC-PROGRAMMING ARCHITECTURES
TICK, E
IEEE SOFTWARE, 1989, 6 (04) : 71 - 80

← 1 2 3 4 5 →