C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
PVCoherence: Designing flat coherence protocols for scalable verification.
Meng Zhang
Jesse D. Bingham
John Erickson
Daniel J. Sorin
Published in:
HPCA (2014)
Keyphrases
</>
cryptographic protocols
model checking
lightweight
protocol specification
database
neural network
information retrieval
artificial intelligence
knowledge base
multi party
face verification
formal analysis
security protocols
formal verification
communication protocol