Login / Signup
Mixed-size concurrency: ARM, POWER, C/C++11, and SC.
Shaked Flur
Susmit Sarkar
Christopher Pulte
Kyndylan Nienhuis
Luc Maranget
Kathryn E. Gray
Ali Sezgin
Mark Batty
Peter Sewell
Published in:
POPL (2017)
Keyphrases
</>
power consumption
small size
computer vision
database systems
computational complexity
mobile robot
real world
artificial intelligence
image sequences
search algorithm
object oriented
concurrency control
fixed size
nested transactions
power distribution