Sign in

Clarifying and compiling C/C++ concurrency: from C++11 to POWER.

Mark BattyKayvan MemarianScott OwensSusmit SarkarPeter Sewell
Published in: POPL (2012)
Keyphrases
  • power consumption
  • database systems
  • data flow
  • artificial intelligence
  • power distribution
  • multi agent
  • hidden markov models
  • energy consumption
  • concurrency control