Exploiting OR-parallelism in logic programs: A review
暂无分享,去创建一个
[1] Lee Naish,et al. Negation and Control in Prolog , 1986, Lecture Notes in Computer Science.
[2] Khayri A. M. Ali,et al. OR-Parallel Speedups in a Knowledge Based System: on Muse and Aurora , 1992, FGCS.
[3] Khayri A. M. Ali. OR-Parallel Execution of Prolog on BC-Machine , 1988, ICLP/SLP.
[4] Ken Satoh,et al. KABU-WAKE: A New Parallel Inference Method and Its Evaluation , 1986, COMPCON.
[5] John S. Conery. Parallel Execution of Logic Programs , 1987 .
[6] Gary Lindstrom,et al. Or-Parallelism on Applicative Architectures , 1984, International Conference on Logic Programming.
[7] Bogumil Hausman. Handling Speculative Work in OR-Parallel Prolog: Evaluation Results , 1990, NACLP.
[8] Hassan Aït-Kaci,et al. Warren's Abstract Machine: A Tutorial Reconstruction , 1991 .
[9] Khayri A. M. Ali,et al. Scheduling Or-Parallelism in Muse , 1991, ICLP.
[10] William F. Clocksin,et al. Programming in Prolog , 1981, Springer Berlin Heidelberg.
[11] Seif Haridi,et al. A Formal Model for Or-Parallel Execution of Logic Programs , 1983, IFIP Congress.
[12] Péter Szeredi,et al. Scheduling Or-parallelism in Aurora: The Manchester Scheduler , 1989, International Conference on Logic Programming.
[13] Michael J. Wise. Prolog multiprocessors , 1986 .
[14] Petros Kefalas,et al. OR-Parallel Prolog and Search Problems in AI Applications , 1990, ICLP.
[15] Scheduling Strategies and Speculative Work , 1991, ICLP Workshop on Parallel Execution of Logic Programs.
[16] Ewing L. Lusk,et al. Experiments with OR-Parallel Logic Programs , 1987, ICLP.
[17] S. Chengzheng,et al. The OR-forest-based parallel execution model of logic programs , 1990 .
[18] David H. D. Warren,et al. The SRI Model for Or-Parallel Execution of Prolog: Abstract Design and Implementation Issues , 1987, SLP.
[19] Gopal Gupta,et al. On Criteria for Or-Parallel Execution Models of Logic Programs , 1990, NACLP.
[20] Laxmikant V. Kalé,et al. Compiled Execution of the Reduce-OR Process Model on Multiprocessors , 1989, NACLP.
[21] Gary Lindstrom,et al. A Performance-Oriented Design for OR-Parallel Logic Programming , 1987, ICLP.
[22] Jeff Reynolds,et al. VLSI for Parallel Execution of Prolog , 1989 .
[23] Andrzej Ciepielewski,et al. Cut and Side-Effects in Or-Parallel Prolog , 1988, FGCS.
[24] Tim Lindholm,et al. Tutorial on the Warren abstract machine for computational logic , 1985 .
[25] Kang Zhang,et al. A Non-shared Binding Scheme for Parallel Prolog Implementation , 1991, IJCAI.
[26] N. Ito,et al. The architecture and preliminary evaluation results of the experimental parallel inference machine PIM-D , 1986, ISCA 1986.
[27] Kang Zhang,et al. DIALOG - A dataflow model for parallel execution of logic programs , 1991, Future Gener. Comput. Syst..
[28] T. J. Reynolds,et al. A message driven OR-parallel machine , 1989, ASPLOS 1989.
[29] David H. D. Warren,et al. Flexible scheduling of or-parallelism is Aurora: the Bristol scheduler , 1991 .
[30] Ehud Shapiro,et al. The family of concurrent logic programming languages , 1989, CSUR.
[31] Kevin Knight,et al. Unification: a multidisciplinary survey , 1989, CSUR.
[32] Mats Carlsson,et al. SICStus Prolog User''s Manual , 1993 .
[33] Péter Szeredi. Performance Analysis of the Aurora Or-Parallel Prolog System , 1989, NACLP.
[34] Seif Haridi,et al. Or-Parallel Prolog on Shared Memory Multiprocessors , 1989, J. Log. Program..
[35] Khayri A. M. Ali. A Method for Implementing Cut in Parallel Execution of Prolog , 1987, SLP.
[36] Krzysztof R. Apt,et al. Logic Programming , 1990, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
[37] Peter M. Kogge,et al. The Architecture of Symbolic Computers , 1990 .
[38] Seif Haridi,et al. Initial evaluation of a virtual machine for Or-parallel execution of logic programs , 1986 .
[39] Philippe Robert,et al. The PEPSys Model: Combining Backtracking, AND- and OR-Parallelism , 1987, SLP.
[40] Chengzheng Sun,et al. The sharing of environment in AND-OR-parallel execution of logic programs , 1987, ISCA '87.
[41] Michael J. Wise,et al. A parallel Prolog: The construction of a data driven model , 1982, LFP '82.
[42] Andrzej Ciepielewski,et al. Performance Evaluation of a Storage Model for OR--Parallel Execution of Logic Programs , 1986, SLP.
[43] Chengzheng Sun,et al. The OR-Forest Description for the Execution of Logic Programs , 1986, ICLP.
[44] Khayri A. M. Ali,et al. The Muse Or-Parallel Prolog Model and its Performance , 1990, NACLP.
[45] A. S. K. Cheng,et al. BRAVE - a parallel logic language for artificial intelligence , 1988, Future Gener. Comput. Syst..
[46] Jim A. Crammond. A comparative study of unification algorithms for OR-parallel execution of logic languages , 1985, IEEE Transactions on Computers.
[47] G .Z. Qadah,et al. Logic machines: A survey , 1899 .