2498 search results - page 11 / 500 » Software Fault Tolerance |
ICCBSS
2004
Springer
14 years 2 months ago
2004
Springer
CBSQ
2003
Springer
14 years 2 months ago
2003
Springer
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
ICSEA
2006
IEEE
14 years 2 months ago
2006
IEEE
— Currently there are different approaches to develop fault-tolerant embedded software: implementing the system from scratch or using libraries respectively specialized hardware....
ICSE
2007
IEEE-ACM
14 years 8 months ago
2007
IEEE-ACM
Large networks, such as the Internet, pose an ideal medium for solving computationally intensive problems, such as NP-complete problems, yet no well-scaling architecture for Inter...
EUROMICRO
1997
IEEE
14 years 29 days ago
1997
IEEE
The paper presents a hierarchical modeling approach of the N version programming in a real – time environment. The model is constructed in three layers. At the first layer we d...