163 search results - page 22 / 33 » A Case Study in the Mechanical Verification of Fault Toleran... |
130
Voted
DAC
2011
ACM
14 years 1 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...
139
Voted
CODES
2011
IEEE
14 years 1 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 ...
192
click to vote
DSD
2011
IEEE
14 years 1 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...
133
click to vote
HPCN
2000
Springer
15 years 5 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...
119
Voted
COMPSAC
2002
IEEE
15 years 6 months 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...