Verifying Concurrency in an Adaptive Ocean Circulation Model.

Alper Altuntas John W. Baugh Jr.

Published in: CORRECTNESS@SC (2017)

Keyphrases

probabilistic model
high level
theoretical analysis
computational model
theoretical framework
experimental data
simulation model
data sets
genetic algorithm
probability distribution
object oriented
input data
statistical model
network structure
prediction model