No 4 (2017)

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

Table of Contents

#

Cover and Contents
# #
PDF (Українська)

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