Итак, исследование алгоритмической разрешимости задачи анализа потоковых моделей требует обобщения семантической природы меток дуг и ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Топорков В.В. Модели распределенных вычислений


Итак, исследование алгоритмической разрешимости задачи анализа потоковых моделей требует обобщения семантической природы меток дуг и вершин потокового графа G программы ( см. § 2.3), а также формализации самой схемы анализа. Цель анализа таких моделей - установление существования наименьшей верхней грани свойств дуг и вершин потокового графа G, которая полно, но не избыточно представляет структурный аспект поведения программ.

(cкачать страницу)

Смотреть книгу на libgen

Итак,  исследование алгоритмической разрешимости задачи анализа потоковых моделей требует обобщения семантической природы меток дуг и вершин потокового графа G программы ( см. § 2.3),  а также формализации самой схемы анализа.  Цель анализа таких моделей  -  установление существования наименьшей верхней грани свойств дуг и вершин потокового графа G,  которая полно,  но не избыточно представляет структурный аспект поведения программ.