An and-parallel execution model of logic programs

ESOP 86 - Lecture Notes in Computer Science ◽

10.1007/3-540-16442-1_22 ◽

1986 ◽

pp. 289-300 ◽

Author(s):

Bernd Schwinn ◽

Gerhard Barth

Keyword(s):

Parallel Execution ◽

Logic Programs ◽

Execution Model

Download Full-text

A parallel execution model of logic programs

ACM SIGARCH Computer Architecture News ◽

10.1145/1067651.801673 ◽

1983 ◽

Vol 11 (3) ◽

pp. 349-355 ◽

Author(s):

Shinji Umeyama ◽

Koichiro Tamura

Keyword(s):

Parallel Execution ◽

Logic Programs ◽

Execution Model

Download Full-text

A parallel execution model of logic programs

IEEE Transactions on Parallel and Distributed Systems ◽

10.1109/71.80191 ◽

1991 ◽

Vol 2 (1) ◽

pp. 79-92 ◽

Author(s):

A.C. Chen ◽

C.-I. Wu

Keyword(s):

Parallel Execution ◽

Logic Programs ◽

Execution Model

Download Full-text

The OR-forest-based parallel execution model of logic programs

Future Generation Computer Systems ◽

10.1016/0167-739x(90)90006-y ◽

1990 ◽

Vol 6 (1) ◽

pp. 25-34 ◽

Author(s):

Sun Chengzheng ◽

Ci Yungui

Keyword(s):

Parallel Execution ◽

Logic Programs ◽

Execution Model

Download Full-text

A parallel execution model of logic programs

Proceedings of the 10th annual international symposium on Computer architecture - ISCA '83 ◽

10.1145/800046.801673 ◽

1983 ◽

Author(s):

Shinji Umeyama ◽

Koichiro Tamura

Keyword(s):

Parallel Execution ◽

Logic Programs ◽

Execution Model

Download Full-text

A Paradigm of Extensions of Parallel Execution Model

2012 International Conference on Computer Science and Service System ◽

10.1109/csss.2012.553 ◽

2012 ◽

Author(s):

Zhao Jun ◽

Zhang Li-Lun ◽

Song Jun-Qiang

Keyword(s):

Parallel Execution ◽

Execution Model

Download Full-text

General Parallel Execution Model for Large Matrix Workloads

Advances in Intelligent Systems and Computing - The 8th International Conference on Computer Engineering and Networks (CENet2018) ◽

10.1007/978-3-030-14680-1_3 ◽

2019 ◽

pp. 22-28

Author(s):

Song Deng ◽

Xueke Xu ◽

Fan Zhou ◽

Haojing Weng ◽

Wen Luo

Keyword(s):

Parallel Execution ◽

Large Matrix ◽

Execution Model

Download Full-text

An abstract execution model for temporal logic programs

Proceedings of TENCON '93. IEEE Region 10 International Conference on Computers, Communications and Automation ◽

10.1109/tencon.1993.320116 ◽

2002 ◽

Author(s):

M.A. Orgun

Keyword(s):

Temporal Logic ◽

Logic Programs ◽

Execution Model

Download Full-text

Parallel Execution of Logic Programs

Handbook of Advanced Semiconductor Technology and Computer Systems ◽

10.1007/978-94-011-7056-7_25 ◽

1988 ◽

pp. 797-825

Author(s):

Doug DeGroot

Keyword(s):

Parallel Execution ◽

Download Full-text

Book review: Parallel Execution of Logic Programs by John S. Conery (Kluwer Academic Publiishers 1987)

ACM SIGART Bulletin ◽

10.1145/44019.1058035 ◽

1988 ◽

pp. 14

Author(s):

Ben Choi ◽

Dik Lee

Keyword(s):

Parallel Execution ◽

Download Full-text

Improving parallel execution performance for logic programs using mode information

Proceedings of 1994 6th IEEE Symposium on Parallel and Distributed Processing ◽

10.1109/spdp.1994.346171 ◽

2002 ◽

Author(s):

J.J.P. Tsai ◽

Bing Li

Keyword(s):

Parallel Execution ◽

Download Full-text