Login / Signup

Multi-core systems modeling for formal verification of parallel algorithms.

Mathieu DesnoyersPaul E. McKenneyMichel R. Dagenais
Published in: ACM SIGOPS Oper. Syst. Rev. (2013)
Keyphrases
  • parallel algorithm
  • formal verification
  • shared memory
  • multi core systems
  • parallel programming
  • model checking
  • multi core processors
  • parallel computation
  • general purpose
  • parallel execution