Minimizing the overheads of dependent AND-parallelism

DOI10.4230/LIPICS.ICLP.2011.128MaRDI QIDQ2909152zbMATH OpenOpenAlexWikidataFDO

Authors Zoltan Somogyi, Peter Wang

Publication date 29 August 2012

Full work available at URL http://subs.emis.de/LIPIcs/frontdoor_1646.html

zbMATH Keywords

program transformationsynchronization

Mathematics Subject Classification ID

Logic programming (68N17) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Logic Programming
• scientific article; zbMATH DE number 4128360
• scientific article; zbMATH DE number 1862076
• A methodology for granularity-based control of parallelism in logic programs
• A cost model for the AND-parallel execution of logic programs

Cited in

(1)

• scientific article; zbMATH DE number 3965422 (Why is no real title available?)

Describes a project that uses

Uses Software

• DASWAM
• Prolog
• wamcc
• Mercury

This page was built for publication: Minimizing the overheads of dependent AND-parallelism

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