Parallel algorithms and correctness in parallel programs

MaRDI QIDQ1079951zbMATH OpenFDO

Authors N. N. Mirenkov

Publication date 1985

Published in Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

non-deadlocking

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Recommendations

• scientific article; zbMATH DE number 51650
• scientific article; zbMATH DE number 4087003
• Correctness properties in a shared-memory parallel language
• Parallel program schemata
• Correctness of recursive parallel nondeterministic flow programs

Cited in

(16)

• scientific article; zbMATH DE number 4133475 (Why is no real title available?)
• Generic parallel algorithms
• On the programs-as-formulas interpretation of parallel programs in Peano arithmetic
• Correctness properties in a shared-memory parallel language
• Parallel programs implementing abstract data type operations
• Boolean models and planning methods for parallel abstract programs
• scientific article; zbMATH DE number 6533780 (Why is no real title available?)
• scientific article; zbMATH DE number 4087003 (Why is no real title available?)
• Parallel program schemata
• scientific article; zbMATH DE number 4020458 (Why is no real title available?)
• scientific article; zbMATH DE number 3892585 (Why is no real title available?)
• Correctness of recursive parallel nondeterministic flow programs
• P-functions and Boolean matrix factorization. A unified approach for wired, programmed and microprogrammed implementations of discrete algorithms
• scientific article; zbMATH DE number 4117855 (Why is no real title available?)
• scientific article; zbMATH DE number 4092753 (Why is no real title available?)
• Checking the performance of parallel programs with common data

This page was built for publication: Parallel algorithms and correctness in parallel programs

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