Titlebook: Dependable Computing - EDCC-2; Second European Depe Andrzej Hlawiczka,Jo?o Gabriel Silva,Luca Simoncin Conference proceedings 1996 Springer

浪費(fèi)時(shí)間

闖入

不舒服

0302-9743 anized in sections on distributed fault tolerance, fault injection, modelling and evaluation, fault-tolerant design, basic hardware models, testing, verification, replication and distribution, and system level diagnosis.978-3-540-61772-3978-3-540-70677-9Series ISSN 0302-9743 Series E-ISSN 1611-3349

無(wú)意

熱心助人

https://doi.org/10.1007/978-3-319-62983-4 modern RISC processors. The method is evaluated on a SPARC processor using software-implemented control-flow error injection and the SPECint92 benchmark suite. The average temporal overhead is below 20% and the errors violating the fail-silent model can be reduced by a factor of 6 down to 0.3%.

Ferritin

Conference proceedings 19966..The book presents 26 revised full papers selected from a total of 66 submissions based on the reviews of 146 referees. The papers are organized in sections on distributed fault tolerance, fault injection, modelling and evaluation, fault-tolerant design, basic hardware models, testing, verificatio

青石板

Dynamics in Online Social Networkse the benefit of our approach: an assisted test selection process, formally defined in a functional testing theory, allowing adequate coverage of both data types bounds and the definition domain of the specified operations.

載貨清單

amenity

只有

On the Routability of the Internetrocedure, and give techniques to select a finite and pertinent test set from an exhaustive test set, including all the possible behaviors of the class under test, by applying test reduction hypothesis. We also study the construction of an oracle, the procedure that analyses the results of the tests, adapted to object-oriented software.