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