Sciweavers

241 search results - page 2 / 49
» Self-stabilizing device drivers
Sort
View
DATE
2003
IEEE
119views Hardware» more  DATE 2003»
14 years 3 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
14 years 1 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 10 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 6 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 7 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 ...