C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Architecting hierarchical coherence protocols for push-button parametric verification.
Opeoluwa Matthews
Daniel J. Sorin
Published in:
MICRO (2017)
Keyphrases
</>
cryptographic protocols
model checking
communication protocols
coarse to fine
multiscale
face verification
formal analysis
hierarchical classification
formal verification
protocol specification
database
high security
asynchronous circuits
hierarchical structure
multiresolution
social networks
data sets