Login / Signup

Modularising Opacity Verification for Hybrid Transactional Memory.

Alasdair ArmstrongBrijesh Dongol
Published in: FORTE (2017)
Keyphrases
  • transactional memory
  • speculative execution
  • model checking
  • real time
  • source code
  • data processing