An Approach to Verification of MPI Applications Defined in a High-Level Model.

Ondrej Meca Stanislav Böhm Marek Behalek Petr Jancar

Published in: ACSD (2016)

Keyphrases

high level
experimental data
neural network
statistical model
computational model
low level
probabilistic model
general purpose
simulation model
conceptual model
theoretical analysis
cost function
higher level
real time
mathematical model
multi agent
objective function
multiscale
decision trees
prediction model