Sign in
Leveraging access mode declarations in a model for memory consistency in heterogeneous systems.
Ludovic Henrio
Christoph W. Kessler
Lu Li
Published in:
J. Log. Algebraic Methods Program. (2020)
Keyphrases
</>
database
anomaly detection