384 search results - page 72 / 77 » Formal Development of Reactive Fault Tolerant Systems |
EMSOFT
2005
Springer
14 years 13 days ago
2005
Springer
With the scaling of technology, transient errors caused by external particle strikes have become a critical challenge for microprocessor design. As embedded processors are widely ...
LCTRTS
2010
Springer
13 years 11 months 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...
WWW
2003
ACM
14 years 4 days ago
2003
ACM
An important factor in the successful deployment of federated web-services-based business activities will be the ability to guarantee reliable distributed operation and execution....
ICDCS
2010
IEEE
13 years 7 months ago
2010
IEEE
—Large-scale distributed cyber-physical systems will have many sensors/actuators (each with local micro-controllers), and a distributed communication/computing backbone with mult...
PPOPP
2006
ACM
14 years 26 days ago
2006
ACM
Recently there has been renewed interest in building reliable servers that support continuous application operation. Besides maintaining system state consistent after a failure, o...