57 search results - page 1 / 12 » Evaluation of Applying SpecC to the Integrated Design Method... |
DATE
2003
IEEE
13 years 9 months ago
2003
IEEE
We are investigating an integrated design method for a device driver and a device in order to efficiently develop device drivers used in embedded systems. This paper evaluates wh...
ACSAC
2009
IEEE
13 years 11 months ago
2009
IEEE
Device drivers on commodity operating systems execute with kernel privilege and have unfettered access to kernel data structures. Several recent attacks demonstrate that such poor...
CHI
2005
ACM
14 years 4 months ago
2005
ACM
As driver distraction from in-vehicle devices increasingly becomes a concern on our roadways, researchers have searched for better scientific understanding of distraction along wi...
EICS
2009
ACM
13 years 10 months ago
2009
ACM
What methods can we use to help understand why users adopt certain use strategies, and how can we evaluate designs to anticipate and perhaps positively modify how users are likely...
CODES
2007
IEEE
13 years 10 months ago
2007
IEEE
Microencapsulated electrophoretic displays (EPDs) are quickly emerging as an important technology for use in battery-powered portable computing devices. Thanks to bistability and ...