A Unified Processor Model for Compiler Verification and Simulation Using ASM.

Roland Lezuo Andreas Krall

Published in: ABZ (2012)

Keyphrases

simulation model
mathematical model
computational model
high level
statistical model

unified model
formal model
programming language
simulation study
prior knowledge

energy function
probabilistic model
object model
mathematical models
agent model

analytical model
simulation models
discrete event
neural network