45 search results - page 3 / 9 » Understanding modern device drivers |
FAST
2008
13 years 8 months ago
2008
The reliability of file systems depends in part on how well they propagate errors. We develop a static analysis technique, EDP, that analyzes how file systems and storage device d...
ICRA
2008
IEEE
14 years 13 days ago
2008
IEEE
— This paper presents an initial design and feasibility study for a 1-DOF Magnetic Resonance Imaging (MRI) compatible needle driver robot for radiofrequency ablation (RFA). This ...
TACAS
2010
Springer
14 years 29 days ago
2010
Springer
Ranking function synthesis is a key aspect to the success of modern termination provers for imperative programs. While it is wellknown how to generate linear ranking functions for ...
JUCS
2010
13 years 4 months ago
2010
: Modern cars are equipped with advanced technology requiring cognitively complex operation that is reliant on the user’s visual attention. It is therefore hazardous for drivers ...
ACSC
2006
IEEE
14 years 2 days ago
2006
IEEE
Modern computer networks contain an amalgamation of devices and technologies, with the performance exhibited by each central to digital communications. Varieties of methods exist ...