Abstract: This article presents methods for correct decomposition for high performance computations related to large sets of graphs. These computations contain large number of calls of sequential, ...