Проблеми програмування, 2017, № 4

ЗМІСТ

Титульні сторінки та зміст

МОДЕЛІ ТА ЗАСОБИ ПАРАЛЕЛЬНИХ І РОЗПОДІЛЕНИХ ПРОГРАМ

Єршов С.В., Пономаренко Р.М.
Метод побудови паралельних систем нечіткого логічного виведення на основі графічних прискорювачів

Жаріков Е.В.
Керування ресурсами хмарних центрів обробки даних на основі евристичного пошуку

ІНСТРУМЕНТАЛЬНІ ЗАСОБИ І СЕРЕДОВИЩА ПРОГРАМУВАННЯ

Дорошенко А.Ю., Яценко О.А., Бекетов О.Г.
Алгоритм автоматизованого розпаралелювання циклічних операторів для графічних прискорювачів

ФОРМАЛЬНІ МЕТОДИ РОЗРОБКИ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ

Кургаев А.Ф., Григорьев С.Н.
Определение формальных языков в метаязыке нормальных форм знаний

Слабоспицька О.О.
Рамкова модель адаптивного композитного сервісу в семантичному Веб-середовищі

ЕКСПЕРТНІ ТА ІНТЕЛЕКТУАЛЬНІ ІНФОРМАЦІЙНІ СИСТЕМИ

Захарова О.
Визначення та вирішення задачі виявлення Веб-сервісів за допомогою апарату дескриптивних логік

Ильина Е.П.
Экспертно-аналитический процесс выбора управляющих организационных воздействий с использованием корпоративного знания. Часть 1. Формальный анализ системы целей

ПРОГРАМНІ СИСТЕМИ ЗАХИСТУ ІНФОРМАЦІЇ

Родін Є.С.
Задачі з керування ризиками інформаційної безпеки апарата прийняття рішень

ПРИКЛАДНІ ЗАСОБИ ПРОГРАМУВАННЯ ТА ПРОГРАМНЕ ЗАБЕЗПЕЧЕННЯ

Григорян Р.Д., Дегода А.Г., Джуринский Е.А., Харсун В.С.
Симулятор пульсирующего сердца

Туманов В.В., Дорошенко А.Ю.
Використання комп’ютерного зору в системі цифрової нарізки матеріалів

*******
До уваги авторів