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

Figure 2

Synthesized architectures under preemptive scheduling. Dashed lines: links, full lines: buses.

(a) WLAN ILP

(b) WLAN ASP

(c) WLAN ILP and ASP