Compositional noninterference on hardware weak memory models.

Nicholas Coughlin Graeme Smith

Published in: Sci. Comput. Program. (2022)

Keyphrases

complex systems
real time
low cost
parameter estimation
computing power
information retrieval
probabilistic model
neural network model
personal computer
processing units