受辱
发表于 2025-3-25 04:28:34
http://reply.papertrans.cn/88/8710/870912/870912_21.png
保存
发表于 2025-3-25 09:33:05
http://reply.papertrans.cn/88/8710/870912/870912_22.png
magnate
发表于 2025-3-25 11:55:52
Estimation of Failure Correlation in Diverse Software Systems with Dependent Components,The intention of this chapter is to investigate on the inaccuracy resulting from fault-tolerance estimations, which are based on the assumption of failure independence among diverse versions.
Anticoagulant
发表于 2025-3-25 16:24:40
Measurement of Diversity Degree by Quantification of Dissimilarity in the Input Partition,Apart from the observable program features mentioned in previous chapters (failure times and structural complexity measures), an additional characteristic, which might be analyzed in order to investigate on the reliability achieved by redundancy, is represented by the difference in the input partition of parallel versions.
confederacy
发表于 2025-3-25 23:14:50
http://reply.papertrans.cn/88/8710/870912/870912_25.png
救护车
发表于 2025-3-26 02:27:48
http://reply.papertrans.cn/88/8710/870912/870912_26.png
煤渣
发表于 2025-3-26 06:55:40
A Theoretical Evaluation of the Acceptance Test in Recovery Block Programming,This chapter is intended to propose a theoretical evaluation of Recovery Block systems considering, in particular, the extent to which the degree of reliability achieved depends upon the choice of the underlying acceptance test program.
COM
发表于 2025-3-26 11:10:03
Location of Checkpoints by Considering Information Reduction,All the fault-tolerant approaches proposed in the previous chapters are essentially concerned with a fundamental question, which has long been neglected: where to locate the checkpoints, i.e. which intermediate results (beside the final output) should be diversely checked in order to optimize the achievement of fault-tolerance.
Mucosa
发表于 2025-3-26 16:08:04
Overview,ss particularly reliable programs. So far, the existing constructive methods to avoid errors during the programming phase as well as the analytical methods to remove them during the testing phase have proved to be useful, but unfortunately insufficient to ensure the required degree of correctness.
清楚说话
发表于 2025-3-26 17:22:54
http://reply.papertrans.cn/88/8710/870912/870912_30.png