Полнота алгебры алгоритмов с данными
Показана полнота алгебры алгоритмов с данными, предназначенной для согласованного проектирования потоков управления и обрабатываемых данных. Рассматривается также реализуемость разработки алгоритмов от управления и от данных с использованием как восходящей, так и нисходящей стратегий проектирования....
Saved in:
| Published in: | Проблеми програмування |
|---|---|
| Date: | 2016 |
| Main Authors: | Акуловский, В.Г., Дорошенко, А.Е., Яценко, Е.А. |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут програмних систем НАН України
2016
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/126431 |
| 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: | Полнота алгебры алгоритмов с данными / В.Г. Акуловский, А.Е. Дорошенко, Е.А. Яценко // Проблеми програмування. — 2016. — № 4. — С. 3-13. — Бібліогр.: 9 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineSimilar Items
Алгебра алгоритмов с данными и прогнозирование вычислительного процесса
by: Дорошенко, А.Е., et al.
Published: (2011)
by: Дорошенко, А.Е., et al.
Published: (2011)
Основы алгебры алгоритмов, базирующейся на данных
by: Акуловский, В.Г.
Published: (2010)
by: Акуловский, В.Г.
Published: (2010)
Согласованное описание алгоритмов в рамках алгебраического аппарата
by: Акуловский, В.Г., et al.
Published: (2014)
by: Акуловский, В.Г., et al.
Published: (2014)
Состав и свойства данных, специфицируемых в композиционных схемах алгоритмов
by: Акуловский, В.Г., et al.
Published: (2013)
by: Акуловский, В.Г., et al.
Published: (2013)
Расширенная алгебра алгоритмов
by: Акуловский, В.Г.
Published: (2007)
by: Акуловский, В.Г.
Published: (2007)
Реализация средств проектирования и генерации программ на основе алгебры алгоритмов с данными
by: Акуловский, В.Г., et al.
Published: (2015)
by: Акуловский, В.Г., et al.
Published: (2015)
К-значная логика в расширенной алгебре алгоритмов
by: Акуловский, В.Г.
Published: (2008)
by: Акуловский, В.Г.
Published: (2008)
Некоторые аспекты формализации архитектурного этапа разработки алгоритмов
by: Акуловский, В.Г.
Published: (2009)
by: Акуловский, В.Г.
Published: (2009)
Описание параллелизма в алгоритмах информационно-управляющих систем средствами алгебраического аппарата
by: Акуловский, В.Г., et al.
Published: (2013)
by: Акуловский, В.Г., et al.
Published: (2013)
Внешние множественные операции табличной алгебры бесконечных таблиц
by: Глушко, И.М.
Published: (2016)
by: Глушко, И.М.
Published: (2016)
Функциональная эффективность нечетко специфицированных алгоритмов
by: Шинкаренко, В.И.
Published: (2006)
by: Шинкаренко, В.И.
Published: (2006)
DS-теория. Исследование факторов деления Р-данных для генерации прикладных алгоритмов. Часть 1
by: Колесник, В.Г.
Published: (2015)
by: Колесник, В.Г.
Published: (2015)
DS-теория. Исследование факторов деления Р-данных для генерации прикладных алгоритмов. Часть 2
by: Колесник, В.Г.
Published: (2015)
by: Колесник, В.Г.
Published: (2015)
Некоторые аспекты формализации данных и декомпозиция Д-операторов
by: Акуловский, В.Г.
Published: (2009)
by: Акуловский, В.Г.
Published: (2009)
О методе проектирования абстрактного типа данных в алгебре алгоритмики
by: Дорошенко, А.Е., et al.
Published: (2012)
by: Дорошенко, А.Е., et al.
Published: (2012)
n- исчисление – реалистичная формализация класса переписывающих систем
by: Шевченко, Р.С., et al.
Published: (2011)
by: Шевченко, Р.С., et al.
Published: (2011)
Алгебраическое проектирование программ: алгоритмы, объекты, инструменты
by: Дорошенко, А.Е., et al.
Published: (2007)
by: Дорошенко, А.Е., et al.
Published: (2007)
О структурних элементах компонентной сети Петри
by: Лукьянова, Е.А.
Published: (2012)
by: Лукьянова, Е.А.
Published: (2012)
DS-теория. Представление канонического алгоритма с помощью алгоритмического языка
by: Колесник, В.Г.
Published: (2015)
by: Колесник, В.Г.
Published: (2015)
Двохкомпонентні алгоритми сортування
by: Шинкаренко, В.І., et al.
Published: (2022)
by: Шинкаренко, В.І., et al.
Published: (2022)
Средства параметрически управляемой генерации алгоритмов на основе алгебры гиперсхем
by: Яценко, Е.А.
Published: (2012)
by: Яценко, Е.А.
Published: (2012)
DS-теория. Исследование факторов форматирования Р-данных
by: Колесник, В.Г.
Published: (2016)
by: Колесник, В.Г.
Published: (2016)
DS-теория. Научные аспекты и перспективы развития
by: Колесник, В.Г.
Published: (2017)
by: Колесник, В.Г.
Published: (2017)
Интеграция семейства расширенных дескриптивных логик с реляционной моделью данных
by: Резниченко, В.А., et al.
Published: (2016)
by: Резниченко, В.А., et al.
Published: (2016)
Алгеброалгоритмические аспекты полноты: абстракции, биология и экология
by: Цейтлин, Г.Е., et al.
Published: (2008)
by: Цейтлин, Г.Е., et al.
Published: (2008)
Проблема интероперабельности разнородных объектов, компонентов и систем. Подходы к ее решению
by: Лаврищева, Е.М.
Published: (2010)
by: Лаврищева, Е.М.
Published: (2010)
Функции и методы поддержки современных парадигм метода дельфи
by: Ильина, Е.П.
Published: (2009)
by: Ильина, Е.П.
Published: (2009)
Объектно-компонентная разработка изменяемых программных систем
by: Лаврищева, Е.М., et al.
Published: (2016)
by: Лаврищева, Е.М., et al.
Published: (2016)
О построении клонов алгебр функциональных n-отношенеий
by: Захария, Л.М., et al.
Published: (2006)
by: Захария, Л.М., et al.
Published: (2006)
Временная оценка операций обработки структурированных данных с учетом конвейеризации и кэширования
by: Шинкаренко, В.И.
Published: (2006)
by: Шинкаренко, В.И.
Published: (2006)
Конструктивно-продукционная модель графового представления текста
by: Шинкаренко, В.И., et al.
Published: (2016)
by: Шинкаренко, В.И., et al.
Published: (2016)
Аспекты моделирования в системе Гомеопат
by: Провотар, А.А., et al.
Published: (2012)
by: Провотар, А.А., et al.
Published: (2012)
Метод извлечения логики поведения из промышленного программного кода на языке Кобол
by: Губа, А.А., et al.
Published: (2016)
by: Губа, А.А., et al.
Published: (2016)
О некоторых подходах к вычислению неопределенностей
by: Провотар, А.И., et al.
Published: (2010)
by: Провотар, А.И., et al.
Published: (2010)
Аналіз ефективності реалізації арифметичних алгоритмів на мовах програмування C++ та Python
by: Новокшонов, А.К.
Published: (2016)
by: Новокшонов, А.К.
Published: (2016)
Описание списков и множеств в метаязыке нормальных форм знаний
by: Кургаев, А.Ф.
Published: (2020)
by: Кургаев, А.Ф.
Published: (2020)
Аналітичний огляд підходів до інтеграції програмних систем
by: Дивак, Ю.А.
Published: (2021)
by: Дивак, Ю.А.
Published: (2021)
Керування синтезом нейронних мереж
by: Катеринич, Л.А.
Published: (2009)
by: Катеринич, Л.А.
Published: (2009)
Мультимножества: обзор библиографии, построение решетки мультимножеств
by: Богатырева, Ю.А.
Published: (2010)
by: Богатырева, Ю.А.
Published: (2010)
Дослідження паралельного алгоритму побудови діаграми Вороного на площині
by: Березовський, К.А.
Published: (2009)
by: Березовський, К.А.
Published: (2009)
Similar Items
-
Алгебра алгоритмов с данными и прогнозирование вычислительного процесса
by: Дорошенко, А.Е., et al.
Published: (2011) -
Основы алгебры алгоритмов, базирующейся на данных
by: Акуловский, В.Г.
Published: (2010) -
Согласованное описание алгоритмов в рамках алгебраического аппарата
by: Акуловский, В.Г., et al.
Published: (2014) -
Состав и свойства данных, специфицируемых в композиционных схемах алгоритмов
by: Акуловский, В.Г., et al.
Published: (2013) -
Расширенная алгебра алгоритмов
by: Акуловский, В.Г.
Published: (2007)