C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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