Titlebook: New Results in Dependability and Computer Systems; Proceedings of the 8 Wojciech Zamojski,Jacek Mazurkiewicz,Janusz Kacprz Conference proce

可憎

BILE

Conference proceedings 2013ty of Technology, since 2006. Its idea came from the heritage of the other two cycles of events: RELCOMEX Conferences (1977 – 89) and Microcomputer Schools (1985 – 95) which were then organized by the Institute of Engineering Cybernetics, the previous name of CECR. In contrast to those preceding mee

改正

2194-5357 DepCoS-RELCOMEX 2013 held in Brunow Palace, Wroclaw, PolandDepCoS – RELCOMEX is an annual series of conferences organized by the Institute of Computer Engineering, Control and Robotics (CECR), Wroc?aw University of Technology, since 2006. Its idea came from the heritage of the other two cycles of e

STING

Reliability Analysis of Discrete Transportation Systems Using Critical States,ical states, i.e. the states when the system is still operational but the probability of failure in near future is unacceptably high. These states can be used as an indicator that the system is degrading dangerously.

deciduous

Adenocarcinoma

殺蟲劑

Reduction of Computational Cost in Mutation Testing by Sampling Mutants,ere generated and examined. Mutation score and the source code coverage were used to evaluate the effectiveness of mutation testing with subsets of mutants. The ability to detect errors introduced “on purpose” in the source code was also examined.

依法逮捕

Use of Neural Network Algorithms in Prediction of XLPE HV Insulation Properties under Thermal Aginge theoretical and the experimental results are concordant. As a neural network application, we propose a new method based on Radial Basis Function Gaussian network (RBFG) trained by two algorithms: Random Optimization Method (ROM) and Back-propagation (BP).

Recess

Computer Simulation Analysis of Cluster Model of Totally-Connected Flows on the Chain Mail,rst formulated at ITSC-2011, Bugaev etc, and other publications in Russia. It combines limit conditions of leader-following model, Lighthill-Whitham hydrodynamic approach and generalized solutions with Renkine-Hugoniot conditions. Experiments on the basis of each model are carried out, results are obtained and software is developed.

GEN

Using Virtualization Technology for Fault-Tolerant Replication in LAN,total number of physical replicas from . to . Our approach is based on the concept of twin virtual machines, where there are two virtual machines in each physical host, each one acting as a failure detector of its twin.