Sign in

Implementing Multithreaded Protocols for Release Consistency on Top of the Generic DSM-PM Platform.

Gabriel AntoniuLuc Bougé
Published in: IWCC (2001)
Keyphrases
  • communication protocol
  • domain specific
  • real time
  • consistency checking
  • multi user
  • linear hashing
  • metadata
  • high level
  • generic model
  • concurrency control protocols
  • correctness criteria