PROGRAMMING HIGH-PERFORMANCE PARALLEL COMPUTATIONS: FORMAL MODELS AND GRAPHICS PROCESSING UNITS

摘要

This article presents a line of development of formal design methods that is based on the concepts of algebraic programming and algebraic dynamic program models using rewriting rules for the automated design of efficient programs for graphics processing units. The developed formal methods are illustrated by examples that show high efficiency of transformations