Buchumschlag

Реализация средств проектирования и генерации программ на основе алгебры алгоритмов с данными

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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Проблеми програмування
Datum:	2015
Hauptverfasser:	Акуловский, В.Г., Дорошенко, А.Е., Яценко, Е.А.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	Інститут програмних систем НАН України 2015
Schlagworte:	Інструментальні засоби і середовища програмування
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/114082
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:	Реализация средств проектирования и генерации программ на основе алгебры алгоритмов с данными / В.Г. Акуловский, А.Е. Дорошенко, Е.А. Яценко // Проблеми програмування. — 2015. — № 2. — С. 41-51. — Бібліогр.: 15 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

О применении машинного обучения для проектирования адаптивних программ сортировки в алгебре алгоритмов
von: Яценко, Е.А.
Veröffentlicht: (2011)

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

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

О синтезе программ на языке Java по алгеброалгоритмическим спецификациям
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2006)

Полнота алгебры алгоритмов с данными
von: Акуловский, В.Г., et al.
Veröffentlicht: (2016)

Некоторые подходы к контролю и преобразованию алгоритмов на основе анализа специфицируемых данных
von: Акуловский, В.Г.
Veröffentlicht: (2008)

Инструментальные средства алгебры алгоритмики на платформе WEB 2.0.
von: Иовчев, В.А., et al.
Veröffentlicht: (2010)

Представление графического интерфейса пользователя для тестирования программ
von: Пригожев, А.С.
Veröffentlicht: (2010)

Разработка инструментальных средств для проверки формальных моделей
von: Колчин, А.В.
Veröffentlicht: (2008)

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

Интеллектуализация программных средств описания и спецификации телекоммуникационных систем и процессов их функционирования
von: Ластовченко, М.М., et al.
Veröffentlicht: (2006)

Автоматизоване проектування програм для платформи .net, що використовують бібліотеку паралельних задач
von: Дорошенко, А.Ю., et al.
Veröffentlicht: (2020)

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

Проектування програми візуалізації земної поверхні з використанням алгебро-алгоритмічного інструментарію
von: Дорошенко, А.Ю., et al.
Veröffentlicht: (2019)

Автоматизоване проектування OpenCL програм на основі алгебро-алгоритмічного підходу
von: Дорошенко, А.Ю., et al.
Veröffentlicht: (2019)

Алгоритм автоматизованого розпаралелювання циклічних операторів для графічних прискорювачів
von: Дорошенко, А.Ю., et al.
Veröffentlicht: (2017)

Средства параметрически управляемой генерации алгоритмов на основе алгебры гиперсхем
von: Яценко, Е.А.
Veröffentlicht: (2012)

Автоматизована генерація паралельних програм для графічних прискорювачів на основі схем алгоритмів
von: Дорошенко, А.Ю., et al.
Veröffentlicht: (2015)

Паралельна розподілена реалізація моделювання паралельних обчислень
von: Дорошенко, А.Ю., et al.
Veröffentlicht: (2014)

Застосування засобів нейроеволюції в технічних системах автоматизації керування
von: Дорошенко, А.Ю., et al.
Veröffentlicht: (2021)

Засіб налаштування програм на платформі .NET за допомогою переписувальних правил
von: Мамедов, Т.А., et al.
Veröffentlicht: (2019)

Моделювання RESTFUL API для системи автоматизації приватних електронних закупівель
von: Дорошенко, А.Ю., et al.
Veröffentlicht: (2021)

TermWare-3 – система переписування термів, заснована на контекстному численні
von: Шевченко, Р.С., et al.
Veröffentlicht: (2019)

Автоматизована система управління запасами на OC Android та бази даних Firebase з використанням штрих кодів та QR-кодів
von: Гайдукевич, Я.О., et al.
Veröffentlicht: (2022)

До питання оптимізації хмарних обчислень з урахуванням їх вартості
von: Дорошенко, А.Ю., et al.
Veröffentlicht: (2020)

Розподілена реалізація методу нейроеволюції наростаючої топології
von: Ашур, I.З., et al.
Veröffentlicht: (2021)

Програмна платформа для наукових досліджень
von: Дорошенко, А.Ю., et al.
Veröffentlicht: (2007)

Оптимізація автотьюнінгу програм з використанням нейромереж
von: Дорошенко, А.Ю., et al.
Veröffentlicht: (2017)

Розпаралелювання програм на Фортрані з використанням техніки переписувальних правил
von: Дорошенко, А.Ю., et al.
Veröffentlicht: (2012)

Гібридна модель автотьюнінгу з використанням статистичного моделювання
von: Дорошенко, А.Ю., et al.
Veröffentlicht: (2016)

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

Автотюнінг паралельних програм з використанням системи аналізу даних IBM Watsons Analytics
von: Дорошенко, А.Ю., et al.
Veröffentlicht: (2018)

Интерфейс в программировании
von: Лаврищева, Е.М.
Veröffentlicht: (2007)

Спеціалізоване програмне забезпечення для моделювання динамічної консолідації віртуальних машин
von: Жаріков, Е.В., et al.
Veröffentlicht: (2022)

Граматика мови візуального програмування Петрі-об’єктних моделей
von: Дифучин, А.Ю., et al.
Veröffentlicht: (2021)

Система поддержки пользователя на основе экспертной системы
von: Пригожев, А.С., et al.
Veröffentlicht: (2008)

Використання онтологічних знань для багатокритеріального співставлення складних інформаційних об`єктів
von: Рогушина, Ю.В., et al.
Veröffentlicht: (2022)

Засоби автоматизації генерації електронних документів в системах організаційного управління
von: Хмелюк, В.С., et al.
Veröffentlicht: (2008)

A resource limited parallel program model
von: Rahozin, D.V.
Veröffentlicht: (2019)

Технологічна модель процесу побудови та використання адаптивної композиції Web-сервісів
von: Слабоспицька, О.О.
Veröffentlicht: (2015)