An Algebraic Model of Correctness for Superscalar Microprocessors.

Anthony C. J. Fox Neal A. Harman

Published in: FMCAD (1996)

Keyphrases

computational model
mathematical model
objective function
management system
theoretical analysis
statistical model
clustering algorithm
high level
cost function
network model
database
formal model
simulation model
theoretical framework
multiscale
artificial intelligence
genetic algorithm