Проблеми програмування. 2018 (2-3) АРХІВ (Всі випуски)
| Проблеми програмування 2018. Вип. 2-3 |
- Титул.
- Зміст.
- Кривий С. Л., Погорілий С. Д., Слинько М. С. Формалізований метод проектування застосувань в технології GPGPU. - C. 12-20.
- Шевченко P. C. Числення контекстних термів для систем переписування. - C. 21-30.
- Нікітченко М. С., Шкільняк О. С., Шкільняк С. С. Логіки загальних недетермінованих предикатів: cемантичні аспекти. - C. 31-45.
- Дорошенко А. Ю., Іваненко П. А., Новак О. C., Яценко О. А. Автотюнінг паралельних програм із використанням статистичного моделювання та машинного навчання. - C. 46-53.
- Герасимова Т. О., Нестеренко А. Н. Паралельні алгоритми розв’язування систем нелінійних рівнянь та задач Коші для систем звичайних диференціальних рівнянь на багатоядерних комп’ютерах з процесорами Intel Xeon Phi. - C. 54-60.
- Косовец Н. А., Щетинин И. Е., Товстенко Л. Н. Системные аспекты проектирования гарантоспособных облачных вычислений. - C. 61-67.
- Овдій О. М. Розширення системи синтезу програм з метою аналізу великих наборів даних. - C. 68-74.
- Ігнатенко О. П., Одобеску В. Я. Теоретико-ігровий аналіз планувальників у багатопроцесорних системах. Імітаційна модель. - C. 75-82.
- Попов О. В., Рудич О. В., Чистяков О. В. Багаторівнева модель паралельних обчислень для задач лінійної алгебри. - C. 83-92.
- Панченко Т. В., Fabunmi S. Еквівалентність двох систем паралельного виконання. - C. 93-98.
- Єршов C. В., Пономаренко Р. М. Архітектура програмної системи ієрархічного нечіткого логічного виведення. - C. 99-108.
- Peschanenko V., Poltorackiy M. Use of metods of algebraic programming for the formal verification of legal acts. - C. 109-114.
- Kolchin A. Interactive method for cumulative analysis of software formal models behavior. - C. 115-123.
- Chebanyuk O. V. Formal foundations for software model to model transformation operation. - C. 124-131.
- Кривий С. Л., Дарчук Н. П., Провотар О. І. Онтологоподібні системи аналізу природномовних текстів. - C. 132-139.
- Пашко С. В. Оптимальне розміщення багатосенсорної системи. - C. 140-148.
- Погорілий С. Д., Крамов А. А. Автоматизована екстракція структурованої інформації з множини веб сторінок. - C. 149-158.
- Глушко І. М. Про зв'язок між табличною алгеброю нескінченних таблиць та мультимножинною табличною алгеброю. - C. 159-163.
- Провотар О. І., Провотар О. О. Достовірність нечіткості: теорія та застосування. - C. 164-170.
- Бармак О. В., Крак Ю. В., Манзюк Е. А. Характеристика для вибору моделей у ансамблі класифікаторів. - C. 171-179.
- Балабанов О. С. Класи каузальних структур, що ідентифікуються тестами простого формату. - C. 180-188.
- Krammer P., Kvassay M., Hluchý L. Predicting the probability of exceeding critical system thresholds. - C. 189-196.
- Рогушина Ю. В. Теоретичні засади застосування онтологій для семантизації ресурсів Web. - C. 197-203.
- Захарова О. В. Специфікація процесу семантичної анотації веб-сервісів. - C. 204-213.
- Чистякова И. С. Отображение реляционной алгебры в дескриптивную логику. - C. 214-225.
- Прийма С. М., Рогушина Ю. В., Строкань О. В. Використання семантичних технологій для встановлення діалогу між суб'єктами ринку праці. - C. 226-235.
- Моренцов Є. І. Система моделей предметної області "Метатехнологія програмування". - C. 236-244.
- Крак Ю. В., Бармак О. В., Мазурець О. В. Практична реалізація інформаційної технології автоматизованого визначення множини семантичних термінів в контенті навчальних матеріалів. - C. 245-254.
- Palagin O. V., Velychko V. Yu., Malakhov K. S., Shchurov O. S. Research and development workstation environment: the new class of Current Research Information Systems. - C. 255-269.
- Шинкаренко В. І., Ільченко П. В., Забула Г. В. Інструментальні засоби дослідження часової та функціональної ефективності біонічних алгоритмів розв’язку екстремальних задач. - C. 270-279.
- Григорян Р. Д., Аксьонова Т. В., Дегода А. Г. Специализированный компьютерный симулятор "SimEnPhysiol". - C. 280-287.
- Жеребко В. А., Писаренко О. А., Драбинко В. П. Імітаційне моделювання та генетична оптимізація систем керування засобами програмування LabVIEW. - C. 288-295.
- Дорошенко А. Ю., Шимкович В. М., Федоренко В. О. Програмні засоби моделювання системи управління векторною тягою реактивного двигуна. - C. 296-304.
|
|