Login / Signup

Verification of Transactional Memory in POWER8.

Allon AdirDave GoodmanDaniel HershcovichOz HershkovitzBryan G. HickersonKaren HoltzWisam KadryAnatoly KoyfmanJohn M. LuddenCharles MeissnerAmir NahirRandall R. PrattMike SchiffliBrett St. OngeBrian W. ThomptoElena TsankoAvi Ziv
Published in: DAC (2014)
Keyphrases
  • transactional memory
  • power consumption
  • speculative execution
  • model checking
  • computing systems
  • image processing
  • low cost
  • parallel processing
  • memory subsystem