Login / Signup
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