Synchronising C/C++ and POWER.

Susmit Sarkar Kayvan Memarian Scott Owens Mark Batty Peter Sewell Luc Maranget Jade Alglave Derek Williams

Published in: PLDI (2012)

Keyphrases

power consumption
data mining
image sequences
databases
artificial intelligence
information systems
metadata
image processing
multiresolution
computational power