Login / Signup
Formalising device driver interfaces.
Leonid Ryzhyk
Ihor Kuz
Gernot Heiser
Published in:
PLOS@SOSP (2007)
Keyphrases
</>
car navigation
cellular phone
user interface
electronic devices
database interface
portable devices
neural network
data acquisition
metadata
multimedia
rfid tags
input device
personal digital assistants
visual interfaces