384 search results - page 21 / 77 » Formal Development of Reactive Fault Tolerant Systems |
FPGA
2003
ACM
14 years 27 days ago
2003
ACM
This paper proposes a new high-level technique for designing fault tolerant systems in SRAM-based FPGAs, without modifications in the FPGA architecture. Traditionally, TMR has bee...
EH
2005
IEEE
14 years 1 months ago
2005
IEEE
Manufacturing processes are a key source of faults in complex hardware systems. Minimizing this impact of manufacturing uncertainties is one way towards achieving fault tolerant s...
PDP
1996
IEEE
13 years 11 months ago
1996
IEEE
A case study of performance and dependability evaluation of fault-tolerant multiprocessors is presented. Two specific architectures are analyzed taking into account system functio...
SRDS
1998
IEEE
13 years 11 months ago
1998
IEEE
Abstract: The use of meta-level architectures for the implementation of faulttolerant systems is today very appealing. Nevertheless, all existing fault-tolerant systems based on th...
KBSE
2007
IEEE
14 years 1 months ago
2007
IEEE
Flexibility and interoperability make web services well suited for designing highly-customizable reactive service-based applications, that is interactive applications that can be ...