Parallel execution of prolog programs: a survey
ACM Transactions on Programming Languages and Systems (TOPLAS)
Approaches Based on Permutations for Partitioning Sparse Matrices on Multiprocessors
The Journal of Supercomputing
Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs
Logic-Based Program Synthesis and Transformation
A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Non-strict independence-based program parallelization using sharing and freeness information
Theoretical Computer Science
PADL'08 Proceedings of the 10th international conference on Practical aspects of declarative languages
A pattern language for parallelizing irregular algorithms
Proceedings of the 2010 Workshop on Parallel Programming Patterns
Hi-index | 0.00 |