Sign in

Understanding Transactional Memory (Extended Abstract).

João Lourenço
Published in: Haifa Verification Conference (2010)
Keyphrases
  • extended abstract
  • database
  • parallel algorithm
  • transactional memory
  • speculative execution