Specification Guideline Violations by MPI_Dims_create.

Jesper Larsson Träff Felix Donatus Lübbe

Published in: EuroMPI (2015)

Keyphrases

general purpose
automatically generate
high level
decision support system
message passing
data sets
parallel algorithm
parallel implementation
formal verification
database
real time
neural network
information retrieval
knowledge based systems
high performance computing
message passing interface