Research Article
Answer Set versus Integer Linear Programming for Automatic Synthesis of Multiprocessor Systems from Real-Time Parallel Programs
Table 7
Synthesis results. Nonshaded rows for ILP, shaded rows for ASP.
| | Cyclic | Preemptive | | Problem size | Run time (sec) | Obj. | gap | Problem size | Run time (sec) | Obj. | Gap | Appl. | No. cons. | No. var. | form. | solver | (sec) | | No. cons. | No. var. | form. | solver | (sec) | |
| WLAN | 7089 | 3638 | 497 | 636 | 0.0001 | 0.0 | 5901 | 2538 | 552 | 1010 | 0.10 | 9.6 | WCDMA | 32261 | 13320 | 701 | 28811 | 18.25 | 7.8 | 25394 | 12792 | 704 | 19567 | 16.90 | 0.2 |
| WLAN | 7033 | 207412 | 1467 | 2.421 | 0.0002 | — | 7033 | 207412 | 1477 | 16.797 | 0.08 | — | WCDMA | 25631 | 21806 | 977 | 6.781 | 16.898 | — | 25631 | 21806 | 1125 | 10.219 | 16.90 | — |
|
|