Software Tools for Automation of Parallel Programming on the Basis of Algebra of Algorithms

The development of the algebra-algorithmic methodology and tools for automated design and generation of programs for graphics processing units is proposed. A particular feature of the proposed approach is the use of high-level specifications that are close to natural-language specifications and also...

Full description

Saved in:
Bibliographic Details
Published in:Cybernetics and systems analysis Vol. 51; no. 1; pp. 142 - 149
Main Authors: Andon, F. I., Doroshenko, A. E., Beketov, A. G., Iovchev, V. A., Yatsenko, E. A.
Format: Journal Article
Language:English
Published: Boston Springer US 01.01.2015
Springer
Springer Nature B.V
Subjects:
Algebra
Algorithms
Artificial Intelligence
Automation
Central processing units
Computer programming
Computer programs
Computer software industry
Control
CPUs
Cybernetics
Mathematical analysis
Mathematics
Mathematics and Statistics
Meteorology
Parallel processing
Parallel programming
Processor Architectures
Software
Software Engineering/Programming and Operating Systems
Software utilities
Software–Hardware Systems
Specifications
Studies
Systems Theory
Technology application
graphics processing unit (GPU)
algorithm scheme
automated program design and generation
algebra of algorithms
parallel programming
ISSN:1060-0396, 1573-8337
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:The development of the algebra-algorithmic methodology and tools for automated design and generation of programs for graphics processing units is proposed. A particular feature of the proposed approach is the use of high-level specifications that are close to natural-language specifications and also the application of a method that ensures the syntactical correctness of algorithms and programs being designed. The approach was implemented in a toolkit destined for interactively designing algorithm schemes and generating programs. The use of this toolkit is illustrated by the development of a parallel program in the field of meteorology.
Bibliography:SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 14
ObjectType-Article-1
ObjectType-Feature-2
content type line 23
ISSN:1060-0396
1573-8337
DOI:10.1007/s10559-015-9706-0