21 search results - page 4 / 5 » A Model-Based Development Method for Device Drivers |
CAV
2007
Springer
13 years 11 months ago
2007
Springer
We present new techniques for fast, accurate and scalable static data race detection in concurrent programs. Focusing our analysis on Linux device drivers allowed us to identify th...
TSE
2011
12 years 12 months ago
2011
—Conventional testing methods often fail to detect hidden flaws in complex embedded software such as device drivers or file systems. This deficiency incurs significant developmen...
WSC
2008
13 years 7 months ago
2008
Proposed in this paper is the architecture of a PLC programming environment that enables a visual verification of PLC programs. The proposed architecture integrates a PLC program ...
SOUPS
2010
ACM
13 years 8 months ago
2010
ACM
An increasing number of high-tech devices, such as driver monitoring systems and Internet usage monitoring tools, are advertised as useful or even necessary for good parenting of ...
PRL
2008
13 years 4 months ago
2008
The handwriting is one of the most familiar communication media. Pen based interface combined with automatic handwriting recognition offers a very easy and natural input method. T...