Simulation-based Equivalence Checking between SystemC Models at Different Levels of Abstraction.
Daniel GroßeMarkus GroßUlrich KühneRolf DrechslerPublished in: MBMV (2011)
Keyphrases
- levels of abstraction
- abstraction levels
- statistical models
- least squares
- model selection
- statistical model
- complex systems
- process model
- machine learning algorithms
- computational models
- experimental data
- information retrieval
- probability distribution
- probabilistic model
- learning environment
- multi agent
- decision trees