scientific article; zbMATH DE number 3978360

MaRDI QIDQ3742697zbMATH OpenFDO

Authors Marina C. Chen

Publication date 1986

zbMATH Keywords

optimal timingparallel computationspipeliningprocess structureprocess synchronizationprogram synthesisprogramming language Crystalwavefront sequence

Mathematics Subject Classification ID

Theory of operating systems (68N25) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A theory of compaction-based parallelization
• Parallel execution of program loops
• scientific article; zbMATH DE number 4064455
• scientific article; zbMATH DE number 4121765
• scientific article; zbMATH DE number 4106264

Cited in

(4)

• PEI: A language and its refinement calculus for parallel programming
• Certifiably Sound Parallelizing Transformations
• scientific article; zbMATH DE number 3938542 (Why is no real title available?)
• A theory of compaction-based parallelization

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 Q3742697)