Distributed last call optimization for portable parallel logic programming
ACM Letters on Programming Languages and Systems (LOPLAS)
Analysis of Or-parallel execution models
ACM Transactions on Programming Languages and Systems (TOPLAS)
Parallel logic programming systems
ACM Computing Surveys (CSUR)
An introduction to intelligent operating system KZ2
ACM SIGOPS Operating Systems Review
An evaluation of Penny: a system for fine grain implicit parallelism
PASCO '97 Proceedings of the second international symposium on Parallel symbolic computation
Evaluating parallel logic programming systems on scalable multiprocessors
PASCO '97 Proceedings of the second international symposium on Parallel symbolic computation
Extended dynamic dependent and-parallelism in ACE
PASCO '97 Proceedings of the second international symposium on Parallel symbolic computation
A parallel implementation of cost-based abductive reasoning
PASCO '97 Proceedings of the second international symposium on Parallel symbolic computation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Parallel symbolic computation in ACE
Annals of Mathematics and Artificial Intelligence
SPS-Parallelism + SETHEO = SPTHEO
Journal of Automated Reasoning
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
PALS: An Or-Parallel Implementation of Prolog on Beowulf Architectures
Proceedings of the 17th International Conference on Logic Programming
Optimization Schemas for Parallel Implementation of Nondeterministic Languages and Systems
IPPS '97 Proceedings of the 11th International Symposium on Parallel Processing
Experiments in Parallel Execution of Answer Set Programs
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
A Novel Implementation of the Extended Andorra Model
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
Construction and Optimization of a Parallel Engine for Answer Set Programming
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
Novel Models for Or-Parallel Logic Programs: A Performance Analysis
Euro-Par '00 Proceedings from the 6th International Euro-Par Conference on Parallel Processing
DAOS - Scalable And-Or Parallelism
Euro-Par '99 Proceedings of the 5th International Euro-Par Conference on Parallel Processing
The Impact of Cache Coherence Protocols on Parallel Logic Programming Systems
CL '00 Proceedings of the First International Conference on Computational Logic
Nested Parallel Call Optimization
IPPS '96 Proceedings of the 10th International Parallel Processing Symposium
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
PADL'08 Proceedings of the 10th international conference on Practical aspects of declarative languages
High-level multi-threading programming in logtalk
PADL'08 Proceedings of the 10th international conference on Practical aspects of declarative languages
Sicstus prolog-the first 25 years
Theory and Practice of Logic Programming - Prolog Systems
A segment-swapping approach for executing trapped computations
PADL'12 Proceedings of the 14th international conference on Practical Aspects of Declarative Languages
Relating data-parallelism and (and-) parallelism in logic programs
Computer Languages
An optimal data structure to handle dynamic environments in non-deterministic computations
Computer Languages, Systems and Structures
| Hi-index | 0.00 |