• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Глава

Формализация dataflow-модели вычислительного процесса

С. 87-93.
Салибекян С. М., Панфилов П. Б.

В статье представлены основные элементы разрабатываемого формального аппарата для описания и анализа вычислительных систем и приложений, создаваемых в dataflow-парадигме организации вычислительного процесса. Модель пригодна для описания распределенных вычислительных систем, систем с общей памятью, подходит для описания структурированных типов данных, пригодна для описаная параллельного вычислительного процесса в системе с упавлением потоком данных. Основой формального аппарата для описания вычислительного процесса в dataflow-системе послужили теория конечных автоматов и процессная сеть Кана.