Titlebook: Dependable Computing - EDCC-1; First European Depen Klaus Echtle,Dieter Hammer,David Powell Conference proceedings 1994 Springer-Verlag Ber

赎罪

书目名称Dependable Computing - EDCC-1影响因子(影响力)




书目名称Dependable Computing - EDCC-1影响因子(影响力)学科排名




书目名称Dependable Computing - EDCC-1网络公开度




书目名称Dependable Computing - EDCC-1网络公开度学科排名




书目名称Dependable Computing - EDCC-1被引频次




书目名称Dependable Computing - EDCC-1被引频次学科排名




书目名称Dependable Computing - EDCC-1年度引用




书目名称Dependable Computing - EDCC-1年度引用学科排名




书目名称Dependable Computing - EDCC-1读者反馈




书目名称Dependable Computing - EDCC-1读者反馈学科排名

带来

,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.

自由职业者

外貌

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%.

金盘是高原

得体

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.

得体

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

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.

向下

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.

积习已深

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.