Added by Sergey Smolov over 11 years ago. Updated about 11 years ago.
0%
Description
1. Реализация на Java;
1.1 Визуализация CFG;
2. Апробация на plasma.
В качестве метода построения CFG предлагается разработать набор процедур, упрощающих DFG (Data Flow Graph).
Процедура 1 (схлопывание "звезд")
------------
Если в DFG присутствует сильно связный подграф(SCS) типа "звезда", то можно попробовать трансформировать его в SCS со всего лишь 2 вершинами, одна из которых имеет guard, зависящий от clock, а в другой guard и action являются комбинированными.
Идею данной процедуры нужно развить и оценить её корректность.