scientific article; zbMATH DE number 4020458

MaRDI QIDQ3763577zbMATH OpenFDO

Authors N. N. Mirenkov

Publication date 1987

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 729658
• scientific article; zbMATH DE number 107950
• Parallel algorithms and correctness in parallel programs
• scientific article; zbMATH DE number 108570
• scientific article; zbMATH DE number 53193
• scientific article; zbMATH DE number 46072
• COMPILE-TIME ANALYSIS AND OPTIMIZATION OF EXPLICITLY PARALLEL PROGRAMS*
• Analysis of recursively parallel programs

Cited in

(10)

• Analysis of recursively parallel programs
• Precise interprocedural dependence analysis of parallel programs
• Towards an Architecture-Independent Analysis of Parallel Algorithms
• Automatic Static Cost Analysis for Parallel Programs
• Parallel program analysis via range splitting
• Stability aspects in using parallel algorithms
• scientific article; zbMATH DE number 4117855 (Why is no real title available?)
• New shape analysis and interprocedural techniques for automatic parallelization of C codes
• scientific article; zbMATH DE number 1822437 (Why is no real title available?)
• scientific article; zbMATH DE number 5954655 (Why is no real title available?)

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