Login / Signup

Practical verification of high-level dataraces in transactional memory programs.

Vasco PessanhaRicardo J. DiasJoão LourençoEitan FarchiDiogo Sousa
Published in: PADTAD (2011)
Keyphrases
  • high level
  • high level programming
  • model checking
  • transactional memory
  • database
  • massively parallel
  • object oriented
  • programming language
  • low cost
  • message passing
  • blue gene