Formal methods of parallel software design automation
From MaRDI portal
algebra of algorithmsautomated designformal methodsgraphics processingparallel computationterm rewriting
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Grammars and rewriting systems (68Q42) General topics in the theory of algorithms (68W01) Mathematical modeling or simulation for problems pertaining to mechanics of particles and systems (70-10) (n)-body problems (70F10)
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
Cited in
(8)- Formal methods, language, and tools for the synthesis of celluar automata and architectures
- Structural synthesis of parallel programs (methodology and tools)
- 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
- Formal approach to derivation of concurrent implementations in software product lines
- scientific article; zbMATH DE number 2013195 (Why is no real title available?)
- Using ontologies and algebra of algorithms for formalized development of parallel programs
- A formal model of a system for automated program parallelization
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)
