Login / Signup

Formal Verification of Coherence for a Shared Memory Multiprocessor Model.

Manuel Barrio-SolórzanoMaria Encarnación Beato GutiérrezCarlos Enrique Cuesta QuinteroPablo de la Fuente
Published in: PaCT (2001)
Keyphrases
  • computational model
  • formal verification
  • database systems
  • pairwise
  • dynamic programming
  • probabilistic model
  • parallel algorithm