163 search results - page 22 / 33 » A Case Study in the Mechanical Verification of Fault Toleran... |
DAC
2011
ACM
12 years 7 months ago
2011
ACM
As transistor dimensions continue to scale deep into the nanometer regime, silicon reliability is becoming a chief concern. At the same time, transistor counts are scaling up, ena...
CODES
2011
IEEE
12 years 7 months ago
2011
IEEE
Reliability is a major requirement for most safety-related systems. To meet this requirement, fault-tolerant techniques such as hardware replication and software re-execution are ...
DSD
2011
IEEE
12 years 7 months ago
2011
IEEE
—This paper presents an approach for the reliability-aware design optimization of real-time systems on multi-processor platforms. The optimization is based on an extension of wel...
HPCN
2000
Springer
13 years 11 months ago
2000
Springer
The paper presents the implementation of a railway control system, as a means of assessing the potential of coordination languages to be used for modelling software architectures f...
COMPSAC
2002
IEEE
14 years 8 days ago
2002
IEEE
Critical components of a distributed system must be replicated to achieve high availability and fault tolerance. Current faulttolerant CORBA infrastructures have concentrated on m...