scientific article; zbMATH DE number 1760065

MaRDI QIDQ4537008zbMATH OpenFDO

Authors John T. O'Donnell, Gudula Rünger

Publication date 6 November 2002

Mathematics Subject Classification ID

Theory of programming languages (68N15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 1748284
• Two small parallel programming exercises
• The derivation of systolic computations
• scientific article; zbMATH DE number 1254025
• Derivation of a parallel algorithm for balancing binary trees

Cited in

(11)

• Deriving parallel programs from specifications using cost information
• scientific article; zbMATH DE number 1617318 (Why is no real title available?)
• scientific article; zbMATH DE number 3938542 (Why is no real title available?)
• Derivation of a parallel algorithm for balancing binary trees
• scientific article; zbMATH DE number 1254025 (Why is no real title available?)
• scientific article; zbMATH DE number 1262870 (Why is no real title available?)
• A parallel virtual machine for programs composed of abstract data types
• scientific article; zbMATH DE number 1748284 (Why is no real title available?)
• Two small parallel programming exercises
• Costing stepwise refinements of parallel programs
• The derivation of systolic computations

This page was built for publication:

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