Login / Signup
The semantics of power and ARM multiprocessor machine code.
Jade Alglave
Anthony C. J. Fox
Samin Ishtiaq
Magnus O. Myreen
Susmit Sarkar
Peter Sewell
Francesco Zappa Nardelli
Published in:
DAMP (2009)
Keyphrases
</>
source code
power consumption
multithreading
logic programming
databases
formal semantics
semantic information
batch processing
computational power
multiprocessor systems
database machines
scheduling algorithm
data flow
control flow
conceptual graphs
flowshop
power system
neural network