Login / Signup
Improved device driver reliability through hardware verification reuse.
Leonid Ryzhyk
John Keys
Balachandra Mirla
Arun Raghunath
Mona Vij
Gernot Heiser
Published in:
ASPLOS (2011)
Keyphrases
</>
low cost
car navigation
hardware designs
model checking
hardware and software
neural network
computer systems
data acquisition
real time
computing power
software reuse
improved algorithm
cellular phone
reliability analysis
circuit design
face verification
hardware implementation
software engineering
data sets