Information-flow control on ARM and POWER multicore processors.

Graeme Smith Nicholas Coughlin Toby Murray

Published in: Formal Methods Syst. Des. (2021)

Keyphrases

multicore processors
information flow control
computing power
highly parallel
operating system
power consumption
parallel architectures
parallel algorithm
computing systems
parallel programming
high end
computational power
social networks
image processing
general purpose
computer systems