Research Article

Answer Set versus Integer Linear Programming for Automatic Synthesis of Multiprocessor Systems from Real-Time Parallel Programs

Figure 1

Architecture synthesis flow.
863630.fig.001