Formal methods of parallel software design automation
DOI10.15407/DOPOVIDI2020.06.015zbMATH Open1463.68016OpenAlexW3039930600MaRDI QIDQ5135960FDOQ5135960
Authors: A. Yu. Doroshenko, O. A. Yatsenko 
Publication date: 24 November 2020
Published in: Reports of the National Academy of Sciences of Ukraine (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.15407/dopovidi2020.06.015
Recommendations
- Software tools for automation of parallel programming on the basis of algebra of algorithms
- Structural synthesis of parallel programs (methodology and tools)
- Using ontologies and algebra of algorithms for formalized development of parallel programs
- scientific article; zbMATH DE number 193739
- scientific article; zbMATH DE number 3949698
parallel computationformal methodsterm rewritingalgebra of algorithmsautomated designgraphics processing
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Grammars and rewriting systems (68Q42) (n)-body problems (70F10) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) General topics in the theory of algorithms (68W01) Mathematical modeling or simulation for problems pertaining to mechanics of particles and systems (70-10)
Cited In (6)
- Modeling and verification methods for application design in heterogeneous architectures
- A conception for creating a system of parametric design of parallel algorithms and their software implementations
- Title not available (Why is that?)
- Formal approach to derivation of concurrent implementations in software product lines
- Using ontologies and algebra of algorithms for formalized development of parallel programs
- A formal model of a system for automated program parallelization
Uses Software
This page was built for publication: Formal methods of parallel software design automation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5135960)
