DocumentCode
2304449
Title
The competition model-a comparison
Author
Ng, K.W.
Author_Institution
Dept. of Comput. Sci., New South Wales Univ., Kensington, NSW, Australia
fYear
1990
fDate
24-27 Sep 1990
Firstpage
146
Abstract
The competition model is a parallel execution model for logic programs developed in the same framework as the AND/OR process model supporting both AND- and OR-parallelism. It allows a high degree of parallelism, avoids the reconstruction of the data dependency graph, and causes fewer literals to be reset. The competition model is presented and then compared with other AND/OR process models. The competition model consists of two algorithms: the forward execution algorithm and the backward execution algorithm. In the presentation of each algorithm, an informal description is given before the formal algorithm
Keywords
logic programming; parallel algorithms; AND/OR process model; backward execution algorithm; competition model; formal algorithm; forward execution algorithm; logic programs; parallel algorithms; parallel execution model; Computer science; Concurrent computing; Gold; Logic programming; Parallel processing;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer and Communication Systems, 1990. IEEE TENCON'90., 1990 IEEE Region 10 Conference on
Print_ISBN
0-87942-556-3
Type
conf
DOI
10.1109/TENCON.1990.152586
Filename
152586
Link To Document