C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
SoCGuard: A runtime verification solution for the functional correctness of SoCs.
Rawan Abdel-Khalek
Valeria Bertacco
Published in:
VLSI-SoC (2010)
Keyphrases
</>
model checking
optimal solution
closed form
real world
solution quality
signature verification
information retrieval
social networks
computer vision
information systems
image processing
query processing
hidden markov models