赎罪
发表于 2025-3-21 17:44:09
书目名称Dependable Computing - EDCC-1影响因子(影响力)<br> http://impactfactor.cn/if/?ISSN=BK0265717<br><br> <br><br>书目名称Dependable Computing - EDCC-1影响因子(影响力)学科排名<br> http://impactfactor.cn/ifr/?ISSN=BK0265717<br><br> <br><br>书目名称Dependable Computing - EDCC-1网络公开度<br> http://impactfactor.cn/at/?ISSN=BK0265717<br><br> <br><br>书目名称Dependable Computing - EDCC-1网络公开度学科排名<br> http://impactfactor.cn/atr/?ISSN=BK0265717<br><br> <br><br>书目名称Dependable Computing - EDCC-1被引频次<br> http://impactfactor.cn/tc/?ISSN=BK0265717<br><br> <br><br>书目名称Dependable Computing - EDCC-1被引频次学科排名<br> http://impactfactor.cn/tcr/?ISSN=BK0265717<br><br> <br><br>书目名称Dependable Computing - EDCC-1年度引用<br> http://impactfactor.cn/ii/?ISSN=BK0265717<br><br> <br><br>书目名称Dependable Computing - EDCC-1年度引用学科排名<br> http://impactfactor.cn/iir/?ISSN=BK0265717<br><br> <br><br>书目名称Dependable Computing - EDCC-1读者反馈<br> http://impactfactor.cn/5y/?ISSN=BK0265717<br><br> <br><br>书目名称Dependable Computing - EDCC-1读者反馈学科排名<br> http://impactfactor.cn/5yr/?ISSN=BK0265717<br><br> <br><br>
带来
发表于 2025-3-22 00:06:57
,Formal semantics for Ward & Mellor’s transformation schemas and the specification of fault-tolerant92]. Each model has its own application area, e.g., one fits best for fault-tolerant systems, but only one model is modular. A number of ambiguities and inconsistencies in Ward & Mellor‘s original definition is resolved.
自由职业者
发表于 2025-3-22 00:24:53
http://reply.papertrans.cn/27/2658/265717/265717_3.png
外貌
发表于 2025-3-22 07:10:07
Coverage of delay faults: When 13% and 99% mean the same, develop a procedure for fast, simulation-free grading of delay faults. It is shown that, depending on what “detection of a delay fault by an input pattern” means, a randomly generated test sequence can provide very different values of fault coverage; these values range, for one of the examined benchmark circuits, from 13% to over 99%.
金盘是高原
发表于 2025-3-22 10:36:46
http://reply.papertrans.cn/27/2658/265717/265717_5.png
得体
发表于 2025-3-22 14:22:40
Stratospheric-Mesospheric Midwinter Warmingseriodic workload. Such a methodology allows us to define optimization strategies whose goal is to determine the optimal trade-off between the system cost and the overall quality of the delivered service.
得体
发表于 2025-3-22 20:33:20
Nam Q. Le,Hiroyoshi Mitake,Hung V. Tranest synthesis, multivalued simulation, testability analysis), only a single library of AGs will be used, which reduces the cost of creating and updating component libraries. Aoverview of the model and methods is given and a description of a system for automated test program generation is described.
Indebted
发表于 2025-3-22 23:29:37
Norma Montealegre,Franz J. Rammighigher or lower than a given threshold voltage. The approach is extremely faster than the previous ones since no SPICE simulation is required. The accuracy is of 0.06V to compare with SPICE simulations. In case of library based design a preliminary library characterization is possible allowing a very fast time during fault simulation.
向下
发表于 2025-3-23 01:54:53
Marco Platzner,Jürgen Teich,Norbert Wehnments on the microprocessors 68000 and 68070. For the 68000 microprocessor, the type of double errors that occur is explained by a model based on a study of the register file layout. The experiments show a significant fraction of SEUs causing two bits to flip in the primary error manifestation.
积习已深
发表于 2025-3-23 07:29:51
Field Service and Resource Schedulingfficult. This paper presents a method to derive such simulators systematically and efficiently. The basic idea is to inject faults into the simulator of the healthy environment system to obtain the simulators of faulty environments.