A cost model for the AND-parallel execution of logic programs

MaRDI QIDQ5309549zbMATH OpenFDO

Authors Monica Vancea, Alexandru Vancea

Publication date 9 October 2007

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)

Recommendations

• scientific article; zbMATH DE number 3942996
• An execution model for exploiting AND-parallelism in logic programs
• scientific article; zbMATH DE number 4045121
• scientific article; zbMATH DE number 712424
• Strict and nonstrict independent and-parallelism in logic programs: Correctness, efficiency, and compile-time conditions

Cited in

(7)

• An execution model for exploiting AND-parallelism in logic programs
• A methodology for granularity-based control of parallelism in logic programs
• Minimizing the overheads of dependent AND-parallelism
• scientific article; zbMATH DE number 3942996 (Why is no real title available?)
• scientific article; zbMATH DE number 4045121 (Why is no real title available?)
• scientific article; zbMATH DE number 1782202 (Why is no real title available?)
• A general framework for static cost analysis of parallel logic programs

This page was built for publication: A cost model for the AND-parallel execution of logic programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5309549)