39 search results - page 5 / 8 » Model checking concurrent linux device drivers |
MASCOTS
2010
13 years 5 months ago
2010
—This paper considers the problem of how to improve the performance of hybrid storage system employing solid state disks and hard disk drives. We utilize both initial block alloc...
PLDI
2003
ACM
14 years 22 days ago
2003
ACM
In prior work [15] we studied a language construct restrict that allows programmers to specify that certain pointers are not aliased to other pointers used within a lexical scope....
PERCOM
2009
ACM
14 years 2 months ago
2009
ACM
—Contexts, the pieces of information that capture the characteristics of computing environments, are often inconsistent in the dynamic and uncertain pervasive computing environme...
FASE
2009
Springer
13 years 11 months ago
2009
Springer
Model checking tools based on the iterative refinement of predicate abstraction (e.g., Slam and Blast) often feature a specification language for expressing complex behavior rules....
EMSOFT
2005
Springer
14 years 1 months ago
2005
Springer
We present AutoDVS, a dynamic voltage scaling (DVS) system for hand-held computers. Unlike extant DVS systems, AutoDVS distinguishes common, course-grain, program behavior and cou...