1299 search results - page 115 / 260 » On the Correctness of Operating System Kernels |
158
Voted
DSN
2007
IEEE
15 years 11 months ago
2007
IEEE
Transient faults are emerging as a critical concern in the reliability of general-purpose microprocessors. As architectural trends point towards multi-threaded multi-core designs,...
126
click to vote
PPDP
2005
Springer
15 years 10 months ago
2005
Springer
Huet and Lang (1978) presented a framework of automated program transformation based on lambda calculus in which programs are transformed according to a given program transformati...
140
click to vote
TPHOL
1994
IEEE
15 years 8 months ago
1994
IEEE
Verification Condition Generator (VCG) tools have been effective in simplifying the task of proving programs correct. However, in the past these VCG tools have in general not thems...
142
click to vote
SRDS
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper, we propose a novel ReliAble ProbabIlistic Dissemination protocol, RAPID, for mobile wireless ad-hoc networks that tolerates message omissions, node crashes, and sel...
142
Voted
EUC
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. When flash memory is used as a storage in embedded systems, block level translation layer is required between conventional filesystem and flash memory chips due to its ph...