Sciweavers

241 search results - page 2 / 49
» Self-stabilizing device drivers
Sort
View
DATE
2003
IEEE
119views Hardware» more  DATE 2003»
13 years 11 months ago
Evaluation of Applying SpecC to the Integrated Design Method of Device Driver and Device
We are investigating an integrated design method for a device driver and a device in order to efï¬ciently develop device drivers used in embedded systems. This paper evaluates wh...
Shinya Honda, Hiroaki Takada
HOTOS
2007
IEEE
13 years 10 months ago
Microdrivers: A New Architecture for Device Drivers
Commodity operating systems achieve good performance by running device drivers in-kernel. Unfortunately, this architecture offers poor fault isolation. This paper introduces micro...
Vinod Ganapathy, Arini Balakrishnan, Michael M. Sw...
ASPLOS
2009
ACM
14 years 6 months ago
TwinDrivers: semi-automatic derivation of fast and safe hypervisor network drivers from guest OS drivers
In a virtualized environment, device drivers are often run inside a virtual machine (VM) rather than in the hypervisor, for reasons of safety and reduction in software engineering...
Aravind Menon, Simon Schubert, Willy Zwaenepoel
EUROSYS
2010
ACM
14 years 3 months ago
Reverse Engineering of Binary Device Drivers with RevNIC
This paper presents a technique that helps automate the reverse engineering of device drivers. It takes a closed-source binary driver, automatically reverse engineers the driverâ€...
Vitaly Chipounov, George Candea
GI
2009
Springer
13 years 3 months ago
Smart mechatronic driver for surgical trajectory navigation
: The aim of trajectory navigation is to position a surgical instrument along a planned trajectory. Computer assisted navigation systems show maximal flexibility but are limited by...
Matías de la Fuente, Axel Follmann, Sabine ...