Symbolic execution maintains a path condition pc for every possible path of a program. It is challenging to construct a pc if some complex issues are involved in the path. A predicate interpretation pi is a subexpression of a pc and a pc of a path is a conjunction of all pis in the path. Predicate interpretation has been widely used in theoretical analysis on domain testing and related fields. ...

In the last several years, PC-based real-time image generator (IG) technology has rapidly advanced on what was once the domain of high-cost specialized computer platforms. As processor speeds increased this market once dominated by million and multimillion dollar hardware-based solutions gave way to solutions revolving around commodity graphics chips enclosed in the PC-chassis. With these chang...

Context. The problem of estimating the duration software development in Java for personal computers (PC) is important because, first, failed often main contributor to projects, second, a popular language, and, third, computer widespread multi-purpose computer. object study process PC. subject nonlinear regression models estimate PC.
 Objective. goal work build PC based on normalizing trans...

As video games evolve into richer and more sophisticated products, the software driving those games become more complex. One of the research areas offered by Software Engineering to cope with this complexity, while reducing risks and improving software quality, is Software Architecture. The purpose of this paper is to present an overview of possibly all work having investigated, established and...

Based on percolation mechanism of fractured reservoirs and simulation technique, the numerical simulation software of fractured reservoirs has been developed on PC-Linux environment, which is on the basis of DQHY simulator of three dimensions and three phases. It can treat dual-porosity/singlepermeability and dual-porosity/dual-permeability model. The results of examples indicate that the perfo...

The contribution describes the new VR-1 training reactor control and power protection system at the Czech Technical University in Prague. The control system provides safety and control functions, calculates average values of the important variables and sends data and system status to the human-machine interface. The upgraded control system is based on a high quality industrial PC. The operating...

The purpose of this paper is to study how a software product company can expand its product-based business with the Software as a Service (SaaS) model in the mobile setting. In this research study we examine how the SaaS model can be implemented by a software company with existing PC-based software business and conduct a case study on F-Secure and its mobile security as a service offering. The ...

In Computerized Numerical Control (CNC) systems the communication bus between the controller and axis servo drives must offer high bandwidth, noise immunity and time determinism. More and more CNC systems use real-time Ethernet protocols such as Ethernet Powerlink (EPL). Many modern controllers are closed costly hardware-based solutions. In this article the implementation of EPL communication b...