Login / Signup

Verifying safety and liveness for the FlexTM hybrid transactional memory.

Parosh Aziz AbdullaSandhya DwarkadasAhmed RezineArrvindh ShriramanYunyun Zhu
Published in: DATE (2013)
Keyphrases
  • transactional memory
  • speculative execution
  • model checking
  • data model
  • object oriented
  • concurrency control
  • computing systems
  • massively parallel