Login / Signup
Designing a CPU model: from a pseudo-formal document to fast code
Frédéric Blanqui
Claude Helmstetter
Vania Joloboff
Jean-François Monin
Xiaomu Shi
Published in:
CoRR (2011)
Keyphrases
</>
probabilistic model
formal model
mathematical model
computational model
data sets
social networks
digital libraries
cost function
source code
formal models