Algebraic Models of Correctness for Microprocessors.

Anthony C. J. Fox Neal A. Harman

Published in: Formal Aspects Comput. (2000)

Keyphrases

real time
complex systems
modeling framework
data sets
databases
real world
three dimensional
bayesian networks
multiscale
probabilistic model
statistical model
experimental data
computer architecture