Зображення обкладинки

Онтологические и алгеброалгоритмические средства автоматизации проектирования параллельных программ для «облачных» платформ

Запропоновано підхід до автоматизованого розроблення програм, що ґрунтується на використанні засобів онтологій та алгеброалгоритмічного інструментарію проектування і синтезу програм. Застосування підходу проілюстровано на прикладі розроблення паралельної програми у сфері метеорологічного прогнозуван...

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Кибернетика и системный анализ
Дата:	2017
Автори:	Дорошенко, А.Е., Овдей, О.М., Яценко, Е.А.
Формат:	Стаття
Мова:	Російська
Опубліковано:	Інститут кібернетики ім. В.М. Глушкова НАН України 2017
Теми:	Програмно-технічні комплекси
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/144723
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Онтологические и алгеброалгоритмические средства автоматизации проектирования параллельных программ для «облачных» платформ / А.Е. Дорошенко, О.М. Овдей, Е.А. Яценко // Кибернетика и системный анализ. — 2017. — Т. 53, № 2. — С. 181–192. — Бібліогр.: 20 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Схожі ресурси

Высокоуровневые средства автоматизации проектирования параллельных алгоритмов
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2009)

Средства автоматизации разработки параллельных программ на основе онтологий и алгебр алгоритмов
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2008)

Инструментальные средства проектирования параллельных программ
за авторством: Буза, М.К.
Опубліковано: (2010)

Средства синтеза параллельных mpi-программ
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2008)

Средства сервисно-ориентированного программирования параллельных программ
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2009)

Создание программного каркаса Windows CE 3.0 в среде Rational Rose методом обратного проектирования
за авторством: Семенец, С.В.
Опубліковано: (2004)

Средства проектирования объектно-ориентированных программ на основе алгебры алгоритмики
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2012)

Инструментальные средства конструирования синтаксически правильных параллельных алгоритмов и программ
за авторством: Яценко, Е.А., та інші
Опубліковано: (2004)

Повышение точности решения дискретных некорректных задач методом случайного проецирования
за авторством: Ревунова, Е.Г.
Опубліковано: (2018)

Экосистемы программной инженерии
за авторством: Крывый, С.Л., та інші
Опубліковано: (2020)

Алгоритм наилучшей равномерной аппроксимации сплайнами со свободными узлами
за авторством: Вакал, Л.П., та інші
Опубліковано: (2019)

Метод автоматической генерации автотюнеров для параллельных программ
за авторством: Иваненко, П.А., та інші
Опубліковано: (2014)

Системный анализ сетевых технологий создания региональных интеллектуальных сетей как базиса широкополосной первичной сети связи
за авторством: Ластовченко, М.М., та інші
Опубліковано: (2004)

Управление ресурсами распределенной компьютерной системы с учетом уровня доверия к вычислительным компонентам
за авторством: Чженбин, Ху, та інші
Опубліковано: (2017)

Программный комплекс решения задачи многокритериальной оптимизации со стохастическими ограничениями
за авторством: Богданова, Л.М., та інші
Опубліковано: (2018)

Алгеброавтоматные спецификации параллельных программ над общей и распределенной памятью
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2003)

Подход к классификации состояния сети на основе статистических параметров для обнаружения аномалий в информационной структуре вычислительной системы
за авторством: Рубан, И.В., та інші
Опубліковано: (2018)

Алгоритм и инструменты построения канонических форм линейных полуалгебраических формул
за авторством: Львов, М.С., та інші
Опубліковано: (2018)

Прикладная математическая задача как объект компьютерной алгебры
за авторством: Клименко, В.П., та інші
Опубліковано: (2003)

Цілочислові модифіковані синусні перетворення. Метод побудови і роздільні направлені адаптивні перетворення для intra-прогнозування в кодуванні зображень/відео
за авторством: Гнатів, Л.О.
Опубліковано: (2020)

Автоматизация преобразования раскрашенных сетей Петри с качественными фишками в раскрашенные сети Петри с количественными фишками
за авторством: Гломозда, Д.К., та інші
Опубліковано: (2018)

Симетричні криптоалгоритми у системі залишкових класів
за авторством: Касянчук, М.М., та інші
Опубліковано: (2021)

Обоснование принципиальной возможности применения нейронных сетей глубокого обучения для построения системы выявления следов цифровой обработки фонограмм
за авторством: Соловьев, В.И., та інші
Опубліковано: (2020)

Унифицированная модель объекта управления дискретного производства
за авторством: Каплунов, М.И.
Опубліковано: (2003)

Математический метод корректировки плана полетов в нештатных режимах работы аэропорта
за авторством: Нелин, О.В.
Опубліковано: (2003)

Інтелектуалізація інформаційних систем – механізми та інструментарій інтерактивного ситуативного аналізу
за авторством: В’юн, В.І.
Опубліковано: (2004)

Високопродуктивні суперкомп'ютерні технології моделювання та ідентифікації складних нанопористих кіберсистем зі зворотними зв'язками для n-компонентної компетитивної адсорбції
за авторством: Петрик, М.Р., та інші
Опубліковано: (2021)

Системная методология прогнозирования: прогнозирование процессов естественной и искусственной природы
за авторством: Теслер, Г.С.
Опубліковано: (2004)

Календарное планирование для унифицированной модели объекта управления дискретного производства
за авторством: Каплунов, М.И.
Опубліковано: (2004)

Предметно-ориентированный язык Strumok для описания акторных систем с общей памятью
за авторством: Ларин, В.О., та інші
Опубліковано: (2018)

Ефективні способи організації паралельної роботи оптимізаційних алгоритмів
за авторством: Шило, В.П., та інші
Опубліковано: (2019)

Алгоритми методу дискретних особливостей для обчислювальних технологій
за авторством: Довгий, С.О., та інші
Опубліковано: (2017)

Паралельний алгоритм імітації Петрі-об’єктної моделі
за авторством: Стеценко, І.В.
Опубліковано: (2017)

Секвенціальні системи виведення для багатозначних логік
за авторством: Пинько, О.П.
Опубліковано: (2003)

Проектирование ИТ-инфраструктуры
за авторством: Крывый, С.Л., та інші
Опубліковано: (2018)

Использование технологии идентификации семантически связных элементов текста для определения единого информационного пространства
за авторством: Петрасова, С.В., та інші
Опубліковано: (2017)

Метод и алгоритм получения элементов тензора пространственных производных вектора магнитной индукции в задаче поиска магнитных аномалий
за авторством: Примин, М.А., та інші
Опубліковано: (2019)

Проектирование грид-структур на основе транзиционных систем с обоснованием правильности их функционирования
за авторством: Крывый, С.Л., та інші
Опубліковано: (2017)

Пошук оптимальних шляхів у дереві рішень
за авторством: Панченко, М.В.
Опубліковано: (2004)

Бесконтактные исследования магнитных полей биологических объектов: алгоритмы регистрации и обработки данных
за авторством: Примин, М.А., та інші
Опубліковано: (2020)