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

DOI10.1007/S10559-015-9706-0MaRDI QIDQ895102zbMATH OpenOpenAlexWikidataFDO

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

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

algebra of algorithmsalgorithm schemeautomated program designgraphics processing unit (GPU)parallel programming

Mathematics Subject Classification ID

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

Recommendations

• Tools for simulation of parallel computations in a system of algebraic programming
• An automatic parallelization framework for algebraic computation systems
• Development of algorithmic algebra tools to design parallel programs using heuristics
• scientific article; zbMATH DE number 3986623
• Algebra of algorithms and dynamic parallel execution of sequential programs
• scientific article; zbMATH DE number 991771
• scientific article; zbMATH DE number 1534583
• scientific article; zbMATH DE number 125108

Cites work

• A method for numerical solution of a multidimensional convection-diffusion problem
• A rewriting framework for rule-based programming dynamic applications
• Foundations of algebraic specification and formal software development.
• scientific article; zbMATH DE number 1926611 (Why is no real title available?)
• Using ontologies and algebra of algorithms for formalized development of parallel programs

Cited in

(7)

• Tools for simulation of parallel computations in a system of algebraic programming
• Peculiarities of the parallel sorting algorithm with rank formation
• Development of algorithmic algebra tools to design parallel programs using heuristics
• scientific article; zbMATH DE number 2089159 (Why is no real title available?)
• Formal methods of parallel software design automation
• Using ontologies and algebra of algorithms for formalized development of parallel programs
• Formalization of the object classification algorithm

Describes a project that uses

Uses Software

• hiCUDA
• CUDA
• CUDA-lite

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q895102)