Checking the performance of parallel programs with common data

MaRDI QIDQ1082068zbMATH OpenFDO

Authors V. V. Parshentsev

Publication date 1986

Published in Automation and Remote Control (Search for Journal in Brave)

zbMATH Keywords

partial correctnessprogram terminability

Mathematics Subject Classification ID

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

Recommendations

• Analysis of the correctness of a parallel program for set partitioning
• Parallel algorithms and correctness in parallel programs
• Designing checkers for programs that run in parallel
• Checking sequential correctness in shared-memory parallel programs
• Correctness properties in a shared-memory parallel language

Cited in

(5)

• Correctness properties in a shared-memory parallel language
• Search for places for creation of consistent checkpoints in parallel programs by analyzing the program trace
• Checking sequential correctness in shared-memory parallel programs
• scientific article; zbMATH DE number 3978353 (Why is no real title available?)
• Program testing in parallel computing systems with single control stream

This page was built for publication: Checking the performance of parallel programs with common data

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