Login / Signup
Specification and properties of a cache coherence protocol model.
Claude Girault
C. Chatelain
Serge Haddad
Published in:
European Workshop on Applications and Theory of Petri Nets (1986)
Keyphrases
</>
high level
probabilistic model
computational model
formal model
agent model
modelling language
prior knowledge
cost function
probability distribution
theoretical analysis
database systems
markov chain
em algorithm
parameter estimation
mathematical model
colored petri nets