Extended dynamic dependent and-parallelism in ACE
PASCO '97 Proceedings of the second international symposium on Parallel symbolic computation
Natural language multiprocessing: a case study
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
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
Backtracking in Independent And-Parallel Implementations of Logic Programming Languages
IEEE Transactions on Parallel and Distributed Systems
Novel Models for Or-Parallel Logic Programs: A Performance Analysis
Euro-Par '00 Proceedings from the 6th 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
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 |