Login / Signup
Using Coarse-Grained Abstractions to Verify Linearizability on TSO Architectures.
John Derrick
Graeme Smith
Lindsay Groves
Brijesh Dongol
Published in:
Haifa Verification Conference (2014)
Keyphrases
</>
coarse grained
fine grained
high level
protein sequences
access control
shared memory
artificial intelligence
hiv protease