241 search results - page 29 / 49 » Self-stabilizing device drivers |
102
click to vote
TACAS
2010
Springer
15 years 6 months 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 ...
TACAS
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We present Boom, a comprehensive analysis tool for Boolean programs. We focus in this paper on model-checking non-recursive concurrent programs. Boom implements a recent ...
DATE
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract—As flash memory became popular over various platforms, there is a strong demand on the performance degradation problem, due to the special characteristics of flash mem...
ISORC
2008
IEEE
15 years 6 months ago
2008
IEEE
An important part of implementing device drivers is to control the interrupt facilities of the hardware platform and to program interrupt handlers. Current methods for handling in...
DSN
2007
IEEE
15 years 6 months ago
2007
IEEE
The choice of error model used for robustness evaluation of Operating Systems (OSs) influences the evaluation run time, implementation complexity, as well as the evaluation preci...