241 search results - page 37 / 49 » Self-stabilizing device drivers |
81
Voted
ATVA
2009
Springer
15 years 4 months ago
2009
Springer
Code model checking is a rapidly advancing research topic. However, apart from very constrained scenarios (e.g., verification of device drivers by Slam), the code model checking t...
MHCI
2007
Springer
15 years 4 months ago
2007
Springer
Tourism has been a key driver for mobile applications. This short paper presents the design and initial evaluation of a mobile phone based visualisation to support skiers. Paper p...
99
Voted
PLDI
2006
ACM
15 years 4 months ago
2006
ACM
Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and conte...
94
Voted
PLDI
2006
ACM
15 years 4 months ago
2006
ACM
One common technique for preventing data races in multi-threaded programs is to ensure that all accesses to shared locations are consistently protected by a lock. We present a too...
82
Voted
IEEEPACT
2005
IEEE
15 years 3 months ago
2005
IEEE
Current high-performance computer systems are unable to saturate the latest available high-bandwidth networks such as 10 Gigabit Ethernet. A key obstacle in achieving 10 gigabits ...