S. A. Dyubryux, V. V. Susin, D. B. Borzov, V. S. Titov

The method to identify overlap among the sections of cyclic sequential programs for finding circular plots, analyze the information links between them and identify their possible parallel execution is presented. In airborne systems and rapid processes of high technology such as problems of defense, military industry, operating systems, machine vision sequential programs are used, containing a large number of cyclic sections. Since each cycle contains within itself a linear plot, a similar method is applicable for parallelizing linear plots of sequential programs, which are the bodies of cycles. In this paper we present a mathematical model of such a method.