Software tools for automation of parallel programming on the basis of algebra of algorithms

DOI10.1007/S10559-015-9706-0zbMath1327.68077OpenAlexW1976236005WikidataQ114852401 ScholiaQ114852401MaRDI QIDQ895102

A. G. Beketov, E. A. Yatsenko, A. E. Doroshenko, F. I. Andon, V. A. Iovchev

Publication date: 26 November 2015

Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10559-015-9706-0

zbMATH Keywords

parallel programminggraphics processing unit (GPU)algebra of algorithmsalgorithm schemeautomated program design

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Peculiarities of the parallel sorting algorithm with rank formation ⋮ Formalization of the object classification algorithm

Uses Software

• CUDA
• hiCUDA
• CUDA-lite

Cites Work

• Foundations of algebraic specification and formal software development.
• A method for numerical solution of a multidimensional convection-diffusion problem
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Software tools for automation of parallel programming on the basis of algebra of algorithms