Login / Signup
Design tradeoffs for simplicity and efficient verification in the Execution Migration Machine.
Keun Sup Shim
Mieszko Lis
Myong Hyon Cho
Ilia A. Lebedev
Srinivas Devadas
Published in:
ICCD (2013)
Keyphrases
</>
design process
real time
design decisions
case study
expert systems
knowledge based systems
functional verification
design space
engineering design
design principles
design patterns
user experience
computer aided
user interface
data mining
neural network
data sets