The following pages link to DASWAM (Q16802):
Displayed 12 items.
- Data structures for order-sensitive predicates in parallel nondeterministic systems (Q1581897) (← links)
- Parallelizing irregular and pointer-based computations automatically: Perspectives from logic and constraint programming (Q1583370) (← links)
- Enhancing DLV instantiator by backjumping techniques (Q2426106) (← links)
- Minimizing the overheads of dependent AND-parallelism (Q2909152) (← links)
- Parallel backtracking with answer memoing for independent and-parallelism (Q3087444) (← links)
- Automatic compile-time parallelization of logic programs for restricted, goal level, independent and parallelism (Q4245928) (← links)
- (Q4260335) (← links)
- (Q4536899) (← links)
- (Q4944867) (← links)
- Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs (Q5504598) (← links)
- Two WAM Implementations of Action Rules (Q5504685) (← links)
- A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism (Q5504687) (← links)