Домашня сторінка
→
Фізико-технічні та математичні науки
→
Відділення інформатики
→
Проблеми програмування
→
Проблеми програмування, 2014
→
Проблеми програмування, 2014, № 2-3
→
Перегляд Проблеми програмування, 2014, № 2-3 за датою випуску

Перегляд Проблеми програмування, 2014, № 2-3 за датою випуску

Результати 1-20 з 39

Наступна сторінка

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

Автор відсутній (Проблеми програмування, 2014)
Конструкционно-продукционная модель структур данных на логическом уровне

Шинкаренко, В.И.; Ильман, В.М.; Забула, Г.В. (Проблеми програмування, 2014)

Разработана обобщенная конструктивно-продукционная структура, которая аккумулирует возможности различных грамматик и грамматико-подобных систем по формированию конструкций с элементов различной природы. Отличительная ...
Першопорядкові композиційно-номінативні логіки із узагальненими реномінаціями

Нікітченко, М.С.; Шкільняк, О.С.; Шкільняк, С.С. (Проблеми програмування, 2014)

Досліджено першопорядкові композиційно-номінативні логіки часткових однозначних, тотальних неоднозначних та часткових не-однозначних квазіарних предикатів. Запропоновано розширення цих логік узагальненими реномінаціями та ...
Согласованное описание алгоритмов в рамках алгебраического аппарата

Акуловский, В.Г.; Дорошенко, А.Е. (Проблеми програмування, 2014)

Продемонстрирована (в самом общем случае) возможность согласованного описания потоков управления, данных и информационных связей в процессе разработки алгоритмов средствами трехосновной алгебраической системы (алгебры ...
Швидка або якісна розробка?

Панченко, Т.В. (Проблеми програмування, 2014)

Розглянуто технології швидкої розробки програмних систем, проаналізовано їх переваги та недоліки. Акцентовано важливість докладного вивчення і адекватного застосування. Показано, що швидкість розробки може бути не досягнена ...
NP-трудность задач оптимизации коллективного преследования

Пашко, С.В. (Проблеми програмування, 2014)

Рассмотрены игры преследования на плоскости с простым движением, в которых принимают участие несколько преследователей и убегающих. Для захвата целей множество преследователей разбивается на группы, причем для каждого ...
Дослідження шаблонів синхронізації та їх використання в технології GPGPU

Погорілий, С.Д.; Верещинський, О.А. (Проблеми програмування, 2014)

В роботі проаналізовано задачу синхронізації паралельних потоків, сформовано критерії, яким має відповідати розв’язок. Описано метод синхронізації з використанням стратегій блокування. Розглянуто підходи на основі динамічного ...
Принципи проектування GPGPU-застосувань на основі мереж Петрі

Погорілий, С.Д.; Вітель, Д.Ю. (Проблеми програмування, 2014)

Запропоновано низка правил формального представлення виконання GPGPU застосувань за допомогою математичного апарату мереж Петрі. Сформовано моделі виділення та копіювання пам’яті та низка моделей постановки GPU задач в ...
Паралелізація невід’ємної факторизації розріджених матриць надвеликої розмірності

Насиров, Е.М. (Проблеми програмування, 2014)

У роботі описано побудову моделі паралелізації обчислення невід’ємної факторизації розріджених матриць надвеликої розмірності. Реалізації запропонованих моделей були порівняні в обробці надвеликої матриці.
Формалізоване проектування та генерація паралельної програми чисельного прогнозування погоди

Дорошенко, А.Ю.; Бекетов, О.Г.; Прусов, В.А.; Тирчак, Ю.М.; Яценко, О.А. (Проблеми програмування, 2014)

Розроблено алгеброалгоритмічні специфікації алгоритмів метеорологічного прогнозування із застосуванням створеного інтегрованого інструментарію проектування та синтезу програм. Розроблено послідовну та паралельну програмні ...
Схема параллельного решения задачи дифракции SH-волн на системе некруговых трещин в бесконечной упругой среде

Назаренко, А.М.; Панченко, Б.Е.; Пилипенко, С.А. (Проблеми програмування, 2014)

Предложен параллельный алгоритм численного решения стационарной задачи теории упругости о взаимодействии гармонических SH-волн с системой некруговых трещин-разрезов в бесконечной упругой среде. Краевая задача сведена к ...
Кластерное решение задачи о дифракции упругих волн на системе жестких цилиндрических включений произвольного поперечного сечения

Панченко, Б.Е.; Сайко, И.Н. (Проблеми програмування, 2014)

Исследован параллельный алгоритм высокоточного решения задачи дифракции упругих волн на системе жестких включений не-круговой формы. Задача сведена к решению системы сингулярных интегральных уравнений, которая решается ...
Применение компонентных сетей Петри в задачах верификации параллельных распределённых систем

Лукьянова, Е.А. (Проблеми програмування, 2014)

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

Попов, О.В.; Рудич, О.В. (Проблеми програмування, 2014)

В роботі для комп’ютерів гібридної архітектури з багатоядерними та графічними процесорами запропоновано паралельний блочно-циклічний алгоритм двосторонніх перетворень Хаусхолдера. Наведено результати тестування та дослідження ...
Traversal of arbitrary sequences of UCM symbolic transitions for test generation

Guba, A.A. (Проблеми програмування, 2014)

The paper proposes a method of traversal of high-level multi-threaded models formalized in UCM language. The pros and cons of this approach comparing to the existing ones are considered. The method that allows state space ...
Підхід до уточнення поведінкових моделей програмного забезпечення з використанням паттернів проектування

Чебанюк, О.В. (Проблеми програмування, 2014)

У роботі представлено підхід до уточнення поведінкових моделей програмного забезпечення (ПЗ), які представляються діаграмами кооперацій. Уточнення поведінкових моделей ПЗ може бути як і окремою операцією Model-Driven ...
Парадигмы программирования сборочного типа в программной инженерии

Лаврищева, Е.М. (Проблеми програмування, 2014)

Представлен формальный аппарат парадигм программирования сборочного типа – модульного, объектного, компонентного и сер-висного программирования. Теоретический аппарат каждой парадигмы обеспечивает формальную разработку ...
Регрессивное тестирование: методы и будущие направления исследований

Мороз, Г.Б.; Плис, А.В. (Проблеми програмування, 2014)

Критическим этапом в жизненном цикле программного обеспечения является этап сопровождения, на котором предполагается поддержка командой разработчиков программного обеспечения, поставляемого их клиентам. По таким причинам ...
Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем

Колчин, А.В.; Летичевский, А.А.; Потиенко, С.В. (Проблеми програмування, 2014)

Описан метод выявления таких патологий формальных моделей, как неполнота и противоречивость, а так же гонки в параллельных процессах. Метод реализует проверку свойств на основании анализа описания переходов модели, при ...
Разработка и обоснование алгоритмов на основе семантических свойств

Крывый, С.Л.; Максимец, А.Н. (Проблеми програмування, 2014)

Приводятся примеры разработки и обоснования алгоритмов на основе использования свойств предметной области. Эти свойства формулируются в виде семантических соотношений, характеризующих предметную область разрабатываемого алгоритма.

Результати 1-20 з 39

Наступна сторінка

Пошук

Розширений пошук

Перегляд

Вся бібліотека
Колекція

Перегляд Проблеми програмування, 2014, № 2-3 за датою випуску

Репозиторій DSpace/Manakin

Перегляд Проблеми програмування, 2014, № 2-3 за датою випуску

Пошук

Перегляд

Вся бібліотека

Колекція

Мій обліковий запис