Першопорядкові композиційно-номінативні логіки із узагальненими реномінаціями за авторством Нікітченко, М.С., Шкільняк, О.С., Шкільняк, С.С.

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

ОБСЕ и обеспечение международной безопасности за авторством Эйвазлы, Д.В. оглы

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

Согласованное описание алгоритмов в рамках алгебраического аппарата за авторством Акуловский, В.Г., Дорошенко, А.Е.

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

Швидка або якісна розробка? за авторством Панченко, Т.В.

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

NP-трудность задач оптимизации коллективного преследования за авторством Пашко, С.В.

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

Дослідження шаблонів синхронізації та їх використання в технології GPGPU за авторством Погорілий, С.Д., Верещинський, О.А.

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

Принципи проектування GPGPU-застосувань на основі мереж Петрі за авторством Погорілий, С.Д., Вітель, Д.Ю.

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

Паралелізація невід’ємної факторизації розріджених матриць надвеликої розмірності за авторством Насиров, Е.М.

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

Формалізоване проектування та генерація паралельної програми чисельного прогнозування погоди за авторством Дорошенко, А.Ю., Бекетов, О.Г., Прусов, В.А., Тирчак, Ю.М., Яценко, О.А.

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

Схема параллельного решения задачи дифракции SH-волн на системе некруговых трещин в бесконечной упругой среде... за авторством Назаренко, А.М., Панченко, Б.Е., Пилипенко, С.А.

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

Кластерное решение задачи о дифракции упругих волн на системе жестких цилиндрических включений произвольного поперечного сечения... за авторством Панченко, Б.Е., Сайко, И.Н.

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

Применение компонентных сетей Петри в задачах верификации параллельных распределённых систем за авторством Лукьянова, Е.А.

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

Международно-правовое регулирование труда трудящихся мигрантов на универсальном уровне за авторством Ниязов, Д.А. оглы

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

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

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

Traversal of arbitrary sequences of UCM symbolic transitions for test generation за авторством Guba, A.A.

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

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

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

Парадигмы программирования сборочного типа в программной инженерии за авторством Лаврищева, Е.М.

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

Регрессивное тестирование: методы и будущие направления исследований за авторством Мороз, Г.Б., Плис, А.В.

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

Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем... за авторством Колчин, А.В., Летичевский, А.А., Потиенко, С.В.

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

Разработка и обоснование алгоритмов на основе семантических свойств за авторством Крывый, С.Л., Максимец, А.Н.

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