Designing a high performance parallel logic programming system
ACM SIGARCH Computer Architecture News
Coming to grips with a RISC: a report of the progress of the LOW RISC design group
ACM SIGARCH Computer Architecture News
Task granularity analysis in logic programs
PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Constructs and evaluations strategies for intelligent speculative parallelism—armageddon revisited
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
Parallel Logic Programming for Problem Solving
International Journal of Parallel Programming
Parallel execution of prolog programs: a survey
ACM Transactions on Programming Languages and Systems (TOPLAS)
Parallel symbolic computation in ACE
Annals of Mathematics and Artificial Intelligence
A Parallel Execution Model of Logic Programs
IEEE Transactions on Parallel and Distributed Systems
Machine Independent AND and OR Parallel Execution of Logic Programs: Part I-The Binding Environment
IEEE Transactions on Parallel and Distributed Systems
Machine Independent AND and OR Parallel Execution of Logic Programs: Part II-Compiled Execution
IEEE Transactions on Parallel and Distributed Systems
Backtracking in Independent And-Parallel Implementations of Logic Programming Languages
IEEE Transactions on Parallel and Distributed Systems
On applying or-parallelism and tabling to logic programs
Theory and Practice of Logic Programming
SELECTED AI-RELATED DISSERTATIONS
ACM SIGART Bulletin
Unrestricted and-parallel execution of logic programs with dependency directed backtracking
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
A segment-swapping approach for executing trapped computations
PADL'12 Proceedings of the 14th international conference on Practical Aspects of Declarative Languages
| Hi-index | 0.00 |