18 search results - page 1 / 4 » On Space Exploration And Human Error - A Paper on Reliabilit... |
HICSS
2005
IEEE
13 years 10 months ago
2005
IEEE
NASA space exploration should largely address a problem class in reliability and risk management stemming primarily from human error, system risk and multi-objective trade-off ana...
ASPLOS
2008
ACM
13 years 6 months ago
2008
ACM
Memory errors are a notorious source of security vulnerabilities that can lead to service interruptions, information leakage and unauthorized access. Because such errors are also ...
9
Voted
CAV
2007
Springer
13 years 11 months ago
2007
Springer
This paper explores the concept of locality in proofs of global safety properties of asynchronously composed, multi-process programs. Model checking on the full state space is ofte...
IWMM
2010
Springer
13 years 9 months ago
2010
Springer
Temporal memory safety errors, such as dangling pointer dereferences and double frees, are a prevalent source of software bugs in unmanaged languages such as C. Existing schemes t...
HPCA
2008
IEEE
13 years 11 months ago
2008
IEEE
With reducing feature size, increasing chip capacity, and increasing clock speed, microprocessors are becoming increasingly susceptible to transient (soft) errors. Redundant multi...