1264 search results - page 69 / 253 » Designing Safe, Reliable Systems using Scade |
153
click to vote
CASES
2010
ACM
15 years 1 months ago
2010
ACM
Approximate arithmetic is a promising, new approach to lowenergy designs while tackling reliability issues. We present a method to optimally distribute a given energy budget among...
120
click to vote
CHI
2005
ACM
16 years 4 months ago
2005
ACM
Cryptographically protected email has a justly deserved reputation of being difficult to use. Based on an analysis of the PEM, PGP and S/MIME standards and a survey of 470 merchan...
139
click to vote
SAC
2011
ACM
14 years 7 months ago
2011
ACM
Quadrotor helicopters are micro air vehicles with vertical take-off and landing capabilities controlled by varying the rotation speed of four fixed pitch propellers. Due to their...
151
click to vote
ISLPED
2005
ACM
15 years 10 months ago
2005
ACM
Concerns about the reliability of real-time embedded systems that employ dynamic voltage scaling has recently been highlighted [1,2,3], focusing on transient-fault-tolerance techn...
129
click to vote
CLOUDCOM
2010
Springer
15 years 2 months ago
2010
Springer
Checkpointing is a widely used mechanism for supporting fault tolerance, but notorious in its high-cost disk access. The idea of memory-based checkpointing has been extensively stu...