Parallelization of Parametric Synthesis by «Problems Portfolio» Scheme Based on MPI Technology (Q5743887)
From MaRDI portal
scientific article; zbMATH DE number 6540060
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Parallelization of Parametric Synthesis by «Problems Portfolio» Scheme Based on MPI Technology |
scientific article; zbMATH DE number 6540060 |
Statements
Parallelization of Parametric Synthesis by «Problems Portfolio» Scheme Based on MPI Technology (English)
0 references
8 February 2016
0 references
controlled hybrid dynamical systems
0 references
MPI
0 references
parallel programming
0 references
