|
Информационные технологии и вычислительные системы, 2015, выпуск 1, страницы 3–9
(Mi itvs176)
|
|
|
|
ВЫЧИСЛИТЕЛЬНЫЕ СИСТЕМЫ
Вопросы автоматно-сетевого моделирования вычислительных систем с управлением потоком данных
С. М. Салибекянa, П. Б. Панфиловb a Московский институт электроники и математики НИУ «Высшая школа экономики»
b Школа бизнес-информатики НИУ «Высшая школа экономики»
Аннотация:
В статье представлены основы разрабатываемого формального аппарата (ОА-сеть) для описания и анализа вычислительного процесса в системах и приложениях, работающих в парадигме dataflow (управление вычислениями c помощью потока данных). Основой аппарата стали объектно-атрибутный подход к организации вычислительного процесса, теория конечных автоматов и теория процессных сетей Кана. Разработанный аппарат позволяет описывать все нюансы параллельного вычислительного процесса в распределенной вычислительной системе и найдет применение в имитационном моделировании, для оценки параметров вычислительной системы и поиска тупиковых ситуаций.
Ключевые слова:
объектно-атрибутная архитектура, параллельные вычисления, моделирование, вычислительная система с управлением потоком данных, dataflow, процессная сеть Кана, теория конечных автоматов.
Образец цитирования:
С. М. Салибекян, П. Б. Панфилов, “Вопросы автоматно-сетевого моделирования вычислительных систем с управлением потоком данных”, ИТиВС, 2015, № 1, 3–9
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/itvs176 https://www.mathnet.ru/rus/itvs/y2015/i1/p3
|
Статистика просмотров: |
Страница аннотации: | 46 | PDF полного текста: | 38 |
|