Research Article

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

Table 1

WLAN tasks.

Function Index Deadline P1 P2 P3

Master I0 19 6032 1034 11
Phase I1 988 3504 601 601
Channel I2 988 909 156 156
Timing I3 19 33781 5791 17
Demap I4 1216 598 102 102
FFT I5 1216 534 534 534
Fine I6 19 11 11 11
Coarse I7 19 13 13 13