Parallelization of parametric synthesis by ``problems portfolio scheme based on MPI technology

From MaRDI portal
(Redirected from Publication:5743887)
Parallelization of parametric synthesis by ``problems portfolio'' scheme based on MPI technology















This page was built for publication: Parallelization of parametric synthesis by ``problems portfolio scheme based on MPI technology

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5743887)