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

Mark Batty Kayvan Memarian Scott Owens Susmit Sarkar Peter 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