Programming high-performance parallel computations: formal models and graphics processing units

Autor:	P. I. Andon, A. Yu. Doroshenko, Kostiantyn Zhereb
Rok vydání:	2011
Předmět:	Theoretical computer science General Computer Science Computer science Programming language Computation Graphics processing unit Formal methods computer.software_genre Development (topology) Line (geometry) Computer Science::Programming Languages Rewriting Algebraic number Graphics computer
Zdroj:	Cybernetics and Systems Analysis. 47:659-668
ISSN:	1573-8337 1060-0396
DOI:	10.1007/s10559-011-9346-y
Popis:	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.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::af264de89a33951cf0a20130a9681ffe https://doi.org/10.1007/s10559-011-9346-y Zobrazit plný text záznamu Full text from SpringerLink