Complexity of the method of block paralleling structured programs

zbMath0645.68035MaRDI QIDQ1103392

A. P. Barban

Publication date: 1987

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

zbMATH Keywords

multiprocessor computing systemsanalysis of program parallelismfully structured programsIsolation of program fragmentsparalleling algorithms

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01) Theory of operating systems (68N25) Theory of software (68N99)

This page was built for publication: Complexity of the method of block paralleling structured programs