Login / Signup

Efficient methods for formally verifying safety properties of hierarchical cache coherence protocols.

Xiaofang ChenYu YangGanesh GopalakrishnanChing-Tsun Chou
Published in: Formal Methods Syst. Des. (2010)
Keyphrases
  • computationally expensive
  • database
  • computational cost
  • databases
  • machine learning
  • knowledge base
  • probabilistic model
  • empirical studies
  • computationally intensive