An OpenMP Epoch Model for Correctness Checking.
Tim CramerSimon SchwitanskiJan Felix MünchhalfenChristian TerbovenMatthias S. MüllerPublished in: ICPP Workshops (2016)
Keyphrases
- computational model
- formal model
- high level
- theoretical analysis
- statistical model
- probabilistic model
- experimental data
- multiscale
- mathematical model
- probability distribution
- graphical models
- conceptual model
- theoretical framework
- distributed systems
- neural network
- prior knowledge
- bayesian networks
- decision trees
- social networks
- genetic algorithm