2498 search results - page 418 / 500 » Software Fault Tolerance |
156
click to vote
ATAL
2011
Springer
14 years 5 months ago
2011
Springer
Autonomy requires robustness. The use of unmanned (autonomous) vehicles is appealing for tasks which are dangerous or dull. However, increased reliance on autonomous robots increa...
125
click to vote
IOLTS
2003
IEEE
15 years 10 months ago
2003
IEEE
The paper describes a specific method for designing selfchecking checkers for m-out-of-n codes. The method is oriented to the Field Programmable Gate Arrays technology and is base...
125
Voted
ISSRE
2003
IEEE
15 years 10 months ago
2003
IEEE
Prior research has suggested that the failure rates of faults follow a log normal distribution. We propose a specific model where distributions close to a log normal arise natural...
126
click to vote
FOSSACS
2003
Springer
15 years 10 months ago
2003
Springer
Lossy channel systems (LCS’s) are systems of finite state automata that communicate via unreliable unbounded fifo channels. We propose a new probabilistic model for these syste...
128
Voted
ENTCS
2007
15 years 5 months ago
2007
Modern software is increasingly concurrent, timed, distributed, and therefore, non-deterministic. While it is well known that tests can be generated as LTL or CTL model checker co...