328 search results - page 21 / 66 » Synthesis of Fault-Tolerant Embedded Systems |
LCTRTS
2010
Springer
14 years 8 days ago
2010
Springer
Continuous technology scaling has brought us to a point, where transistors have become extremely susceptible to cosmic radiation strikes, or soft errors. Inside the processor, cac...
SARA
2009
Springer
14 years 2 months ago
2009
Springer
: Given a system design (SD), a key task is to optimize this design to reduce the probability of catastrophic failures. We consider the task of redesigning an SD to minimize the pr...
ISSTA
2009
ACM
14 years 2 months ago
2009
ACM
During testing, the execution of valid cases is only one part of the task. Checking the behavior in boundary situations and in the presence of errors is an equally important subje...
DAC
2009
ACM
14 years 8 months ago
2009
ACM
The use of Flash memories in portable embedded systems is ever increasing. This is because of the multi-level storage capability that makes them excellent candidates for high dens...
SBCCI
2004
ACM
14 years 28 days ago
2004
ACM
Software synthesis is defined as the task of translating a specification into a software program, in a general purpose language, in such a way that this software can be compiled...