scientific article; zbMATH DE number 4020458
From MaRDI portal
Publication:3763577
zbMATH Open0627.68021MaRDI QIDQ3763577FDOQ3763577
Authors: N. N. Mirenkov 
Publication date: 1987
Title of this publication is not available (Why is that?)
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
Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)
Cited In (10)
- Analysis of recursively parallel programs
- Towards an Architecture-Independent Analysis of Parallel Algorithms
- Precise interprocedural dependence analysis of parallel programs
- Automatic Static Cost Analysis for Parallel Programs
- Parallel program analysis via range splitting
- Stability aspects in using parallel algorithms
- New shape analysis and interprocedural techniques for automatic parallelization of C codes
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
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)
