Онтологические и алгеброалгоритмические средства автоматизации проектирования параллельных программ для «облачных» платформ
Запропоновано підхід до автоматизованого розроблення програм, що ґрунтується на використанні засобів онтологій та алгеброалгоритмічного інструментарію проектування і синтезу програм. Застосування підходу проілюстровано на прикладі розроблення паралельної програми у сфері метеорологічного прогнозуван...
Saved in:
| Published in: | Кибернетика и системный анализ |
|---|---|
| Date: | 2017 |
| Main Authors: | Дорошенко, А.Е., Овдей, О.М., Яценко, Е.А. |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2017
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/144723 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Онтологические и алгеброалгоритмические средства автоматизации проектирования параллельных программ для «облачных» платформ / А.Е. Дорошенко, О.М. Овдей, Е.А. Яценко // Кибернетика и системный анализ. — 2017. — Т. 53, № 2. — С. 181–192. — Бібліогр.: 20 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineSimilar Items
Высокоуровневые средства автоматизации проектирования параллельных алгоритмов
by: Дорошенко, А.Е., et al.
Published: (2009)
by: Дорошенко, А.Е., et al.
Published: (2009)
Средства автоматизации разработки параллельных программ на основе онтологий и алгебр алгоритмов
by: Дорошенко, А.Е., et al.
Published: (2008)
by: Дорошенко, А.Е., et al.
Published: (2008)
Инструментальные средства проектирования параллельных программ
by: Буза, М.К.
Published: (2010)
by: Буза, М.К.
Published: (2010)
Средства синтеза параллельных mpi-программ
by: Дорошенко, А.Е., et al.
Published: (2008)
by: Дорошенко, А.Е., et al.
Published: (2008)
Средства сервисно-ориентированного программирования параллельных программ
by: Дорошенко, А.Е., et al.
Published: (2009)
by: Дорошенко, А.Е., et al.
Published: (2009)
Создание программного каркаса Windows CE 3.0 в среде Rational Rose методом обратного проектирования
by: Семенец, С.В.
Published: (2004)
by: Семенец, С.В.
Published: (2004)
Средства проектирования объектно-ориентированных программ на основе алгебры алгоритмики
by: Дорошенко, А.Е., et al.
Published: (2012)
by: Дорошенко, А.Е., et al.
Published: (2012)
Инструментальные средства конструирования синтаксически правильных параллельных алгоритмов и программ
by: Яценко, Е.А., et al.
Published: (2004)
by: Яценко, Е.А., et al.
Published: (2004)
Повышение точности решения дискретных некорректных задач методом случайного проецирования
by: Ревунова, Е.Г.
Published: (2018)
by: Ревунова, Е.Г.
Published: (2018)
Экосистемы программной инженерии
by: Крывый, С.Л., et al.
Published: (2020)
by: Крывый, С.Л., et al.
Published: (2020)
Алгоритм наилучшей равномерной аппроксимации сплайнами со свободными узлами
by: Вакал, Л.П., et al.
Published: (2019)
by: Вакал, Л.П., et al.
Published: (2019)
Метод автоматической генерации автотюнеров для параллельных программ
by: Иваненко, П.А., et al.
Published: (2014)
by: Иваненко, П.А., et al.
Published: (2014)
Системный анализ сетевых технологий создания региональных интеллектуальных сетей как базиса широкополосной первичной сети связи
by: Ластовченко, М.М., et al.
Published: (2004)
by: Ластовченко, М.М., et al.
Published: (2004)
Управление ресурсами распределенной компьютерной системы с учетом уровня доверия к вычислительным компонентам
by: Чженбин, Ху, et al.
Published: (2017)
by: Чженбин, Ху, et al.
Published: (2017)
Программный комплекс решения задачи многокритериальной оптимизации со стохастическими ограничениями
by: Богданова, Л.М., et al.
Published: (2018)
by: Богданова, Л.М., et al.
Published: (2018)
Алгеброавтоматные спецификации параллельных программ над общей и распределенной памятью
by: Дорошенко, А.Е., et al.
Published: (2003)
by: Дорошенко, А.Е., et al.
Published: (2003)
Подход к классификации состояния сети на основе статистических параметров для обнаружения аномалий в информационной структуре вычислительной системы
by: Рубан, И.В., et al.
Published: (2018)
by: Рубан, И.В., et al.
Published: (2018)
Алгоритм и инструменты построения канонических форм линейных полуалгебраических формул
by: Львов, М.С., et al.
Published: (2018)
by: Львов, М.С., et al.
Published: (2018)
Прикладная математическая задача как объект компьютерной алгебры
by: Клименко, В.П., et al.
Published: (2003)
by: Клименко, В.П., et al.
Published: (2003)
Цілочислові модифіковані синусні перетворення. Метод побудови і роздільні направлені адаптивні перетворення для intra-прогнозування в кодуванні зображень/відео
by: Гнатів, Л.О.
Published: (2020)
by: Гнатів, Л.О.
Published: (2020)
Автоматизация преобразования раскрашенных сетей Петри с качественными фишками в раскрашенные сети Петри с количественными фишками
by: Гломозда, Д.К., et al.
Published: (2018)
by: Гломозда, Д.К., et al.
Published: (2018)
Симетричні криптоалгоритми у системі залишкових класів
by: Касянчук, М.М., et al.
Published: (2021)
by: Касянчук, М.М., et al.
Published: (2021)
Обоснование принципиальной возможности применения нейронных сетей глубокого обучения для построения системы выявления следов цифровой обработки фонограмм
by: Соловьев, В.И., et al.
Published: (2020)
by: Соловьев, В.И., et al.
Published: (2020)
Унифицированная модель объекта управления дискретного производства
by: Каплунов, М.И.
Published: (2003)
by: Каплунов, М.И.
Published: (2003)
Математический метод корректировки плана полетов в нештатных режимах работы аэропорта
by: Нелин, О.В.
Published: (2003)
by: Нелин, О.В.
Published: (2003)
Інтелектуалізація інформаційних систем – механізми та інструментарій інтерактивного ситуативного аналізу
by: В’юн, В.І.
Published: (2004)
by: В’юн, В.І.
Published: (2004)
Високопродуктивні суперкомп'ютерні технології моделювання та ідентифікації складних нанопористих кіберсистем зі зворотними зв'язками для n-компонентної компетитивної адсорбції
by: Петрик, М.Р., et al.
Published: (2021)
by: Петрик, М.Р., et al.
Published: (2021)
Системная методология прогнозирования: прогнозирование процессов естественной и искусственной природы
by: Теслер, Г.С.
Published: (2004)
by: Теслер, Г.С.
Published: (2004)
Календарное планирование для унифицированной модели объекта управления дискретного производства
by: Каплунов, М.И.
Published: (2004)
by: Каплунов, М.И.
Published: (2004)
Предметно-ориентированный язык Strumok для описания акторных систем с общей памятью
by: Ларин, В.О., et al.
Published: (2018)
by: Ларин, В.О., et al.
Published: (2018)
Ефективні способи організації паралельної роботи оптимізаційних алгоритмів
by: Шило, В.П., et al.
Published: (2019)
by: Шило, В.П., et al.
Published: (2019)
Алгоритми методу дискретних особливостей для обчислювальних технологій
by: Довгий, С.О., et al.
Published: (2017)
by: Довгий, С.О., et al.
Published: (2017)
Паралельний алгоритм імітації Петрі-об’єктної моделі
by: Стеценко, І.В.
Published: (2017)
by: Стеценко, І.В.
Published: (2017)
Секвенціальні системи виведення для багатозначних логік
by: Пинько, О.П.
Published: (2003)
by: Пинько, О.П.
Published: (2003)
Проектирование ИТ-инфраструктуры
by: Крывый, С.Л., et al.
Published: (2018)
by: Крывый, С.Л., et al.
Published: (2018)
Использование технологии идентификации семантически связных элементов текста для определения единого информационного пространства
by: Петрасова, С.В., et al.
Published: (2017)
by: Петрасова, С.В., et al.
Published: (2017)
Метод и алгоритм получения элементов тензора пространственных производных вектора магнитной индукции в задаче поиска магнитных аномалий
by: Примин, М.А., et al.
Published: (2019)
by: Примин, М.А., et al.
Published: (2019)
Проектирование грид-структур на основе транзиционных систем с обоснованием правильности их функционирования
by: Крывый, С.Л., et al.
Published: (2017)
by: Крывый, С.Л., et al.
Published: (2017)
Пошук оптимальних шляхів у дереві рішень
by: Панченко, М.В.
Published: (2004)
by: Панченко, М.В.
Published: (2004)
Бесконтактные исследования магнитных полей биологических объектов: алгоритмы регистрации и обработки данных
by: Примин, М.А., et al.
Published: (2020)
by: Примин, М.А., et al.
Published: (2020)
Similar Items
-
Высокоуровневые средства автоматизации проектирования параллельных алгоритмов
by: Дорошенко, А.Е., et al.
Published: (2009) -
Средства автоматизации разработки параллельных программ на основе онтологий и алгебр алгоритмов
by: Дорошенко, А.Е., et al.
Published: (2008) -
Инструментальные средства проектирования параллельных программ
by: Буза, М.К.
Published: (2010) -
Средства синтеза параллельных mpi-программ
by: Дорошенко, А.Е., et al.
Published: (2008) -
Средства сервисно-ориентированного программирования параллельных программ
by: Дорошенко, А.Е., et al.
Published: (2009)