Two small parallel programming exercises

DOI10.1016/0167-6423(90)90083-PMaRDI QIDQ751846zbMATH OpenFDO

Authors L. D. J. C. Loyens, Johannes G. G. van de Vorst

Publication date 1990

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

zbMATH Keywords

parallel programmingprogram specificationprogram derivationparameterised invariants

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Distributed algorithms (68W15)

Recommendations

• The derivation of systolic computations
• scientific article; zbMATH DE number 1760065
• scientific article; zbMATH DE number 107589
• Communication relations: A paradigm for parallel program design
• Derivation of efficient parallel programs: An example from genetic sequence analysis

Cited in

(6)

• Derivation of efficient parallel programs: An example from genetic sequence analysis
• The derivation of systolic computations
• scientific article; zbMATH DE number 1760065 (Why is no real title available?)
• The weakest specifunction
• scientific article; zbMATH DE number 1748284 (Why is no real title available?)
• scientific article; zbMATH DE number 1617318 (Why is no real title available?)

This page was built for publication: Two small parallel programming exercises

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