241 search results - page 20 / 49 » Self-stabilizing device drivers |
145
click to vote
VEE
2012
ACM
13 years 7 months ago
2012
ACM
In software for embedded systems, the frequent use of interrupts for timing, sensing, and I/O processing can cause concurrency faults to occur due to interactions between applicat...
100
click to vote
CAV
2012
Springer
13 years 2 months ago
2012
Springer
An algorithmic-learning-based termination analysis technique is presented. The new technique combines transition predicate abstraction, algorithmic learning, and decision procedure...
116
click to vote
OSDI
2008
ACM
16 years 3 days ago
2008
ACM
A commodity I/O device has no support for virtualization. A VMM can assign such a device to a single guest with direct, fast, but insecure access by the guest's native device...
CIKM
2010
Springer
14 years 10 months ago
2010
Springer
Flash devices have been widely used in embedded systems, laptop computers, and enterprise servers. However, the poor random writes have been an obstacle to running write-intensive...
118
click to vote
Publication
To improve the already tarnished reputation of WLAN security, the new IEEE 802.11i security standard provides means for an enhanced user authentication and strong data confidential...