Login / Signup
Formal Automatic Verification of Cache Coherence in Multiprocessors with Relaxed Memory Models.
Fong Pong
Michel Dubois
Published in:
IEEE Trans. Parallel Distributed Syst. (2000)
Keyphrases
</>
statistical model
probabilistic model
databases
website
database systems
image sequences
multi agent
information processing
classification models
computing power
cognitive functions