Передмова

Отримати повний текст

Одинадцята міжнародна науково-практична конференція з програмування УкрПРОГ’2018

Отримати повний текст

Анатолію Юхимовичу Дорошенку – 70 років

Отримати повний текст

Формалізований метод проектування застосувань в технології GPGPU за авторством Кривий, С.Л., Погорілий, С.Д., Слинько, М.С.

Отримати повний текст

Числення контекстних термів для систем переписування за авторством Шевченко, P.C.

Отримати повний текст

Листи українських соціал-демократів до Михайла Грушевського за авторством Гирич, І., Тодійчук, О.

Отримати повний текст

Логіки загальних недетермінованих предикатів: cемантичні аспекти за авторством Нікітченко, М.С., Шкільняк, О.С., Шкільняк, С.С.

Отримати повний текст

Автотюнінг паралельних програм із використанням статистичного моделювання та машинного навчання... за авторством Дорошенко, А.Ю., Іваненко, П.А., Новак, О.C., Яценко, О.А.

Отримати повний текст

Паралельні алгоритми розв’язування систем нелінійних рівнянь та задач Коші для систем звичайних диференціальних рівнянь на багатоядерних комп’ютерах з процесорами Intel Xeon Phi... за авторством Герасимова, Т.О., Нестеренко, А.Н.

Отримати повний текст

Системные аспекты проектирования гарантоспособных облачных вычислений за авторством Косовец, Н.А., Щетинин, И.Е., Товстенко, Л.Н.

Отримати повний текст

Розширення системи синтезу програм з метою аналізу великих наборів даних за авторством Овдій, О.М.

Отримати повний текст

Теоретико-ігровий аналіз планувальників у багатопроцесорних системах. Імітаційна модель за авторством Ігнатенко, О.П., Одобеску, В.Я.

Отримати повний текст

Багаторівнева модель паралельних обчислень для задач лінійної алгебри за авторством Попов, О.В., Рудич, О.В., Чистяков, О.В.

Отримати повний текст

Еквівалентність двох систем паралельного виконання за авторством Панченко, Т.В., Fabunmi Sunmade

Отримати повний текст

Архітектура програмної системи ієрархічного нечіткого логічного виведення за авторством Єршов, C.В., Пономаренко, Р.М.

Отримати повний текст

Use of metods of algebraic programming for the formal verification of legal acts за авторством Peschanenko, V., Poltorackiy, M.

Отримати повний текст

Початок співпраці І. П. Крип'якевича з М. С. Грушевським за авторством Заболотна, І.

Отримати повний текст

Interactive method for cumulative analysis of software formal models behavior за авторством Kolchin, A.

Отримати повний текст

Formal foundations for software model to model transformation operation за авторством Chebanyuk, O.V.

Отримати повний текст

Онтологоподібні системи аналізу природномовних текстів за авторством Кривий, С.Л., Дарчук, Н.П., Провотар, О.І.

Отримати повний текст