DASWAM

MaRDI QIDQ16802swMATHFDO

Official website http://www.sciencedirect.com/science/article/pii/S0743106696000799

Described by source

• Overview of DASWAM: Exploitation of dependent and-parallelism

Cited in

(18)

• scientific article; zbMATH DE number 1420803 (Why is no real title available?)
• Enhancing DLV instantiator by backjumping techniques
• Data structures for order-sensitive predicates in parallel nondeterministic systems
• scientific article; zbMATH DE number 1333354 (Why is no real title available?)
• Minimizing the overheads of dependent AND-parallelism
• Parallelizing irregular and pointer-based computations automatically: Perspectives from logic and constraint programming
• A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism
• Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs
• Automatic compile-time parallelization of logic programs for restricted, goal level, independent and parallelism
• Two WAM Implementations of Action Rules
• CDAOstore
• NoMoRe
• Ciao
• nomore++
• April
• HaLoop
• scientific article; zbMATH DE number 1759985 (Why is no real title available?)
• Parallel backtracking with answer memoing for independent and-parallelism

This page was built for software: DASWAM