Buchumschlag

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

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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Кибернетика и системный анализ
Datum:	2017
Hauptverfasser:	Дорошенко, А.Е., Овдей, О.М., Яценко, Е.А.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	Інститут кібернетики ім. В.М. Глушкова НАН України 2017
Schlagworte:	Програмно-технічні комплекси
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/144723
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:	Онтологические и алгеброалгоритмические средства автоматизации проектирования параллельных программ для «облачных» платформ / А.Е. Дорошенко, О.М. Овдей, Е.А. Яценко // Кибернетика и системный анализ. — 2017. — Т. 53, № 2. — С. 181–192. — Бібліогр.: 20 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

Высокоуровневые средства автоматизации проектирования параллельных алгоритмов
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2009)

Средства автоматизации разработки параллельных программ на основе онтологий и алгебр алгоритмов
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2008)

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

Средства синтеза параллельных mpi-программ
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2008)

Средства сервисно-ориентированного программирования параллельных программ
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2009)

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

Экосистемы программной инженерии
von: Крывый, С.Л., et al.
Veröffentlicht: (2020)

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

Метод автоматической генерации автотюнеров для параллельных программ
von: Иваненко, П.А., et al.
Veröffentlicht: (2014)

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

Программный комплекс решения задачи многокритериальной оптимизации со стохастическими ограничениями
von: Богданова, Л.М., et al.
Veröffentlicht: (2018)

Алгеброавтоматные спецификации параллельных программ над общей и распределенной памятью
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2003)

Метод и алгоритм получения элементов тензора пространственных производных вектора магнитной индукции в задаче поиска магнитных аномалий
von: Примин, М.А., et al.
Veröffentlicht: (2019)

Математическое моделирование токовых состояний водных объектов
von: Каленчук-Порханова, А.А.
Veröffentlicht: (2019)

Совместное распределение некоторых статистик случайной битовой последовательности
von: Масол, В.И., et al.
Veröffentlicht: (2021)

Огляд сучасних методів захищеності та безпеки програмних систем
von: Летичевський, О.О., et al.
Veröffentlicht: (2019)

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

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

Ефективні способи організації паралельної роботи оптимізаційних алгоритмів
von: Шило, В.П., et al.
Veröffentlicht: (2019)

Розвиток суперкомп’ютерів серії СКІТ, розроблених в Інституті кібернетики ім. В.М. Глушкова НАН України у період з 2002 по 2017 роки
von: Головинський, А.Л., et al.
Veröffentlicht: (2017)

О построении систем управления с инвариантной программой
von: Лёгенький, В.И.
Veröffentlicht: (2004)

Метод синтеза услуг в задачах компьютерной телефонии
von: Палагин, А.В., et al.
Veröffentlicht: (2004)

Подход к классификации состояния сети на основе статистических параметров для обнаружения аномалий в информационной структуре вычислительной системы
von: Рубан, И.В., et al.
Veröffentlicht: (2018)

Алгоритми методу дискретних особливостей для обчислювальних технологій
von: Довгий, С.О., et al.
Veröffentlicht: (2017)

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

Симетричні криптоалгоритми у системі залишкових класів
von: Касянчук, М.М., et al.
Veröffentlicht: (2021)

Имитационное моделирование распределенной обработки информации в локальных вычислительных сетях
von: Быченко, О.В., et al.
Veröffentlicht: (2004)

Методология построения информационной системы управления проектами на основе интеграции приложений предприятия
von: Тулупов, М.А.
Veröffentlicht: (2020)

Метод параллельного нечеткого вывода для систем Такаги–Сугено высшего порядка
von: Ершов, С.В., et al.
Veröffentlicht: (2018)

Исследования моделей распознавания звуков речи на основе нейронных сетей глубокого обучения для экспертизы цифровых фонограмм
von: Соловьев, В.И., et al.
Veröffentlicht: (2021)

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

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

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

Обобщенные оценки факторов в задачах когнитивного моделирования
von: Таран, Т.А., et al.
Veröffentlicht: (2004)

Прикладная математическая задача как объект компьютерной алгебры
von: Клименко, В.П., et al.
Veröffentlicht: (2003)

Алгоритм и инструменты построения канонических форм линейных полуалгебраических формул
von: Львов, М.С., et al.
Veröffentlicht: (2018)

Численные методы определения жесткостных характеристик сечения стержня
von: Городецкий, А.С., et al.
Veröffentlicht: (2019)

Особливості організації сучасних систем автоматизації міркувань
von: Мороховець, М.К.
Veröffentlicht: (2003)

Новый подход к работе с неориентированными деревьями
von: Иванешкин, А.И.
Veröffentlicht: (2021)

Целочисленное косинусное преобразование высокого порядка: метод построения и быстрые алгоритмы для кодирования изображений и видео с высоким разрешением
von: Гнатив, Л.А.
Veröffentlicht: (2017)