Deriving parallel programs from specifications using cost information

DOI10.1016/0167-6423(93)90014-GMaRDI QIDQ1261492zbMATH OpenOpenAlexFDO

Authors D. B. Skillicorn

Publication date 3 October 1993

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0167-6423(93)90014-g

zbMATH Keywords

cost algebrasderivational software developmentlatencyparallel slacknessprogramming calculirefinement

Mathematics Subject Classification ID

Theory of software (68N99) Distributed algorithms (68W15)

Recommendations

• Costing stepwise refinements of parallel programs
• Costing parallel programs as a function of shapes
• A cost calculus for parallel functional programming
• scientific article; zbMATH DE number 1760065
• scientific article; zbMATH DE number 1940295

Cited in

(5)

• Costing parallel programs as a function of shapes
• Parallelization of divide-and-conquer in the Bird-Meertens formalism
• scientific article; zbMATH DE number 2090576 (Why is no real title available?)
• Costing stepwise refinements of parallel programs
• Derivation of efficient parallel programs: An example from genetic sequence analysis

This page was built for publication: Deriving parallel programs from specifications using cost information

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