Process Algebraic Model of Superscalar Processor Programs for Instruction Level Timing Analysis.

Hee-Jun Yoo Jin-Young Choi

Published in: PaCT (2003)

Keyphrases

high level
computational model
mathematical model
probabilistic model
metamodel
conceptual model
reasoning process
management system
process model
memory hierarchy
multimedia
diffusion process
formal model
theoretical framework
high speed
probability distribution
similarity measure