Hypersonic: Model Analysis and Checking in the Cloud.

Vlad Acretoaie Harald Störrle

Published in: BigMDE@STAF (2014)

Keyphrases

mathematical model
statistical analysis
probability distribution
network model
experimental data
least squares
real time
probabilistic model
high level
genetic algorithm
machine learning
data analysis
management system
image segmentation
conceptual model
sensitivity analysis
databases