384 search results - page 72 / 77 » Formal Development of Reactive Fault Tolerant Systems |
EMSOFT
2005
Springer
15 years 3 months 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
15 years 2 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...
102
click to vote
WWW
2003
ACM
15 years 2 months 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....
80
Voted
ICDCS
2010
IEEE
14 years 9 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
15 years 3 months 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...