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

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Cybernetics and systems analysis Ročník 51; číslo 1; s. 142 - 149
Hlavní autoři: Andon, F. I., Doroshenko, A. E., Beketov, A. G., Iovchev, V. A., Yatsenko, E. A.
Médium: Journal Article
Jazyk:angličtina
Vydáno: Boston Springer US 01.01.2015
Springer
Springer Nature B.V
Témata:
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
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí: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.
Bibliografie: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