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...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Cybernetics and systems analysis Jg. 51; H. 1; S. 142 - 149
Hauptverfasser: Andon, F. I., Doroshenko, A. E., Beketov, A. G., Iovchev, V. A., Yatsenko, E. A.
Format: Journal Article
Sprache:Englisch
Veröffentlicht: Boston Springer US 01.01.2015
Springer
Springer Nature B.V
Schlagworte:
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-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.
Bibliographie: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