DocumentCode
3273242
Title
Extended restricted AND-parallelism execution model
Author
Chang, Si-En ; Manwaring, Mark L. ; Chiang, Y. Paul
Author_Institution
Dept. of Electr. & Comput. Eng., Washington State Univ., Pullman, WA, USA
fYear
1990
fDate
9-13 Dec 1990
Firstpage
471
Lastpage
474
Abstract
The authors present an extended RAP execution model and its abstract machine to support intelligent backtracking and side effects. An abstract interpretation based compiler technique to extract backtracking literals from a program is developed. The complete forward and backtracking algorithms for the extended execution model have been developed. An extended abstract machine is designed with few additional registers and instructions to support the forward and backtracking algorithms
Keywords
artificial intelligence; parallel processing; program compilers; supervisory programs; RAP execution model; abstract interpretation; abstract machine; compiler; intelligent backtracking; logic programs; parallel execution; restricted AND-parallelism execution; Algorithm design and analysis; Artificial intelligence; Computational efficiency; Costs; Logic; Machine intelligence; Parallel processing; Program processors; Resource management; Statistics;
fLanguage
English
Publisher
ieee
Conference_Titel
Parallel and Distributed Processing, 1990. Proceedings of the Second IEEE Symposium on
Conference_Location
Dallas, TX
Print_ISBN
0-8186-2087-0
Type
conf
DOI
10.1109/SPDP.1990.143585
Filename
143585
Link To Document