241 search results - page 24 / 49 » Self-stabilizing device drivers |
178
click to vote
POPL
2007
ACM
16 years 4 days ago
2007
ACM
In recent years we have seen great progress made in the area of automatic source-level static analysis tools. However, most of today's program verification tools are limited ...
AINA
2009
IEEE
15 years 5 months ago
2009
IEEE
— To investigate how aged drivers can drive more safely, we are developing an immersive virtual driving environment. It consists of precise force feedback steering system device,...
145
click to vote
INFOCOM
1999
IEEE
15 years 4 months ago
1999
IEEE
We present a comprehensive set of measurements of a 2.4 GHz DSSS wireless LAN and analyze its behavior. We examine issues such as host and interface heterogeneity, bidirectional (T...
CAV
2006
Springer
15 years 3 months ago
2006
Springer
Previous symbolic software model checkers (i.e., program analysis tools based on predicate abstraction, pushdown model checkiterative counterexample-guided abstraction refinement, ...
HOTOS
1997
IEEE
15 years 4 months ago
1997
IEEE
To an unappreciated degree, research both in operating systems andtheirprogramminglanguageshasbeen severely hampered by the lack of cleanly reusable code providing mundanelow-leve...