Programming high-performance parallel computations: formal models and graphics processing units |
| |
| Authors: | P I Andon A Yu Doroshenko K A Zhereb |
| |
| Affiliation: | 1.Institute of Software Systems,National Academy of Sciences of Ukraine,Kyiv,Ukraine |
| |
| Abstract: | 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. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
