Cloud computing offers scalable services to the user where computing resources are owned by a cloud provider. The resources are offered to clients on pay-per-use basis. However, since multiple clients share the cloud’s resources, they could potentially interfere with each others’ task during peak load instances. The environment changes every instant of time with a new set of job requests demand...

Spatial data can refer to elements that help place a certain object in a certain area. These elements are latitude, longitude, points, geometric figures represented by points, etc. However, when translating these elements into data that can be stored in a computer, it all comes down to numbers. The interesting part that requires attention is how to memorize them in order to obtain fast and vari...

Today, we can say that smart phones and other smart devices are widely spread including smart TVs, which become part of everyday life. Rapid changes of our running world are well noticeable on the dizzying development of IT devices. Appearing installable operating systems on the smart devices there is a necessary requirement to be available for software professionals as well. It is proofed by t...

In this article, we are interested in the exploration part of model checking which consists in traversing all the possible states of a system. We propose two approaches to exploration, parallel and sequential. We present a comparison between our parallel approach and the parallel algorithm proposed in SPIN.

The progress of image search engines still proceeds, but there are some challenges yet in complex queries. In this paper, we present a new semantic image search system, which is capable of multiple object retrieval using only visual content of the images. We have used the state-of-the-art image processing methods prior to the search, such as Fisher-vector and C-SVC classifier, in order to seman...

Lack of up-to-date software documentation hinders the software evolution and maintenance processes, as simply the outdated software structure and code could be easily misunderstood. One approach to overcoming such problems is using software modularization, in which the software architecture is extracted from the available source code; such that developers can assess the reconstructed architectu...

Playing computer games is a predominantly emotional than rational process. Video games with affect-based adaptation measure player’s behavior signals and recognize player’s emotional states in order to adapt specific game features in a dynamic manner and to improve player’s engagement, immersion, excitement, and challenge. The present review deals with models for the presentation of emotions, t...

Functional programming is among paradigms used for the real-world parallel application development. PSI of RAS during a considerable period of time develops the T-System approach based on functional programming. This paper briefly describes the architecture of the ACCT compiler system targeted at performing transformations of the TSystem programs. An algorithm for nonlocal optimizing transforma...

The paper proposes a new reliable fault-tolerant scheduling algorithm for real-time embedded systems. The proposed scheduling algorithm takes into consideration only one bus fault in multi-bus heterogeneous architectures, caused by hardware faults and compensated by software redundancy solutions. The proposed algorithm is based on both active and passive backup copies, to minimize the schedulin...

In this article we give a general approach to the following analogue of Shafarevich’s conjecture for some polarized algebraic varieties; suppose that we fix a type of an algebraic variety and look at families of such type of varieties over a fixed Riemann surface with fixed points over which we have singular varieties, then one can ask if the set of such families, up to isomorphism, is finite. ...