No 4 (2017)

DOI: https://doi.org/10.15407/pp2017.04

Full Issue

View or download the full issue PDF (Українська)

Table of Contents

Models and facilities for parallel and distributed programs

Method of construction of parallel systems for fuzzy logical inference based on GPU accelerators
S.V. Yershov, R.N. Ponomarenko
PDF (Українська)
3-15
Managing data center resources using heuristic search
E.V. Zharikov
PDF (Українська)
16-27

Software environment and tools

Algorithm for automatic loop parallelization for graphics processing units
А.Yu. Doroshenko, O.A. Yatsenko, O.G. Beketov
PDF (Українська)
28-36

Formal methods of software development

The definition of formal languages in the meta language of normal forms of knowledge
A.F. Kurgaev, S.M. Grygoryev
PDF (Русский)
37-50
Reference model for Semantic Web adaptive composite service
О.A. Slabospitskaya
PDF (Українська)
51-65

Еxpert and intelligent information systems

Defining and resolving Web-services discovery problems using description logics formalism
O.V. Zakharova
PDF (Українська)
66-78
The expert analytic process for the choice of the organization management actions using corporative knowledge. Part I. Formal analysis of the goals system
E.P. Ilina
PDF (Русский)
79-88

Software for secure information

Tasks for information security risks management in making-decision process
Y.S. Rodin
PDF (Українська)
89-97

Applied Facilities for Programming and Software

A simulator of a pulsatile heart
R.D. Grygoryan, A.G. Degoda, E.A. Dzhurinsky, D.S. Kharsun
PDF (Русский)
98-108
The usage of computer vision in the system of digital cutting of materials
V.V. Tumanov, А.Yu. Doroshenko
PDF (Українська)
109-118