Symbolic Simulation of Microprocessor Models using Type Classes in Haskell.

Nancy A. Day Jeffrey R. Lewis Byron Cook

Published in: CHARME (1999)

Keyphrases

simulation models
probabilistic model
analytical model
statistical models
connectionist models
simulation model
database
data sets
high level
prior knowledge
model selection
parameter estimation
complex systems
statistical model
symbolic description
process model
high speed
d objects
real time