241 search results - page 8 / 49 » Self-stabilizing device drivers |
101
click to vote
DIMVA
2010
14 years 10 months ago
2010
Abstract. In the escalating arms race between malicious code and security tools designed to analyze it, detect it or mitigate its impact, malicious code running inside the operatin...
69
Voted
CADE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The verification of device drivers is essential for the pervasive verification of an operating system. To show the correctness of device drivers, devices have to be forma...
AUTOMOTIVEUI
2009
ACM
15 years 4 months ago
2009
ACM
Recently, the use of in-vehicle navigation devices, such as PNDs (Personal or Portable Navigation Devices) has become pervasive, and the device functions have been rapidly expande...
SOSP
2007
ACM
15 years 7 months ago
2007
ACM
Energy management is a critical concern in wireless sensornets. Despite its importance, sensor network operating systems today provide minimal energy management support, requiring...
106
Voted
DBKDA
2009
IEEE
15 years 1 months ago
2009
IEEE
Cell phones are no longer merely used to make phone calls or to send short or multimedia messages. They more and more become information systems clients. Recent developments in th...