Automated semantics-preserving parallel decomposition of finite component and connector architectures.
Oliver KautzBernhard RumpeAndreas WortmannPublished in: Autom. Softw. Eng. (2020)
Keyphrases
- multi core processors
- parallel architectures
- semi automated
- fully automated
- automated analysis
- formal semantics
- parallel processing
- neural network
- parallel implementation
- logic programming
- logic programs
- software components
- shared memory
- parallel computing
- multiscale
- decomposition method
- knowledge base
- operational semantics
- genetic algorithm
- databases