Research Area
Parallel Processing
ACE:And/Or-parallel Copying-based Execution of Logic Programs
Analysis of Or-Parallel Models for Logic Programs
And-Or Parallelism in Full Prolog with Paged Binding Arrays
And-Or Parallel Prolog: A Recomputation Based Ap proach
AO-WAM: A WAM Extension for Compiled And-Or Parallelism
Complete and Efficient Methods for Supporting Side-Effects and Cuts in And-Or Parallel Prolog
Dynamic Parallel Evaluation of Cross-product Sets
Geometric Techniques for Parallelizing and Scheduling Fortran Do-loops
IDIOM: Integrating Dependent and-, Independent and-, and Or-Parallelism
Implementation and Performance of &ACE: An Independent And-Parallel System
Last Parallel Call Optimization and Fast Backtracking in And-parallel Logic Programming Systems
Optimal Implementation of And-Or Parallel Prolog
Optimizing And-Or Parallel Implementations
Parallel Execution of Prolog Programs: A Survey
Shared Paged Binding Array: A Universal Data-Structure for Parallel Logic Programming
A Systematic Approach to Exploiting Implicit Parallelism in Prolog
Parallel Proc. Page
Research Page
Lab Home Page