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

<table class="table-group" id="tab5"><tr><td><table class="table"><tr><td class="thead-hr" colspan="4"><hr/></td></tr><tr class="thead"><td align="left"> Name</td><td align="center"><svg height="18.799999" id="M210" style="vertical-align:-5.76988pt" version="1.1" viewbox="0 0 17.1 18.799999" width="17.1" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g transform="matrix(.017,-0,0,-.017,.062,11.55)"><path d="M649 676l-22 -187l-33 -2q3 56 -12 94q-8 20 -31.5 26.5t-86.5 6.5h-74l-90 -491q-4 -23 -6 -36.5t1 -25t7 -16.5t18 -9t27 -5t41 -3l-6 -28h-286l4 28q68 5 84 18.5t28 76.5l94 491h-55q-74 0 -100.5 -6t-41.5 -23q-24 -29 -54 -98l-32 1q32 98 53 188h22q7 -18 15 -22
t37 -4h417q23 0 33.5 5t25.5 21h23z" id="x1D447"></path></g>
<g transform="matrix(.012,-0,0,-.012,11.388,15.638)"><path d="M394 607q0 -25 -15.5 -43t-39.5 -18q-19 0 -32 13t-13 35t16 41.5t40 19.5q20 0 32 -13.5t12 -34.5zM360 349l-57 -283q-38 -188 -122 -263q-72 -64 -114 -64q-16 0 -30 10.5t-14 22.5q0 24 21 45q15 13 26 6q30 -20 54 -20q41 0 65 95q37 147 86 415q6 34 6.5 42.5
t-5.5 11.5q-18 0 -79 -54l-14 25q48 48 96.5 79t71.5 31q29 0 9 -99z" id="x1D457"></path></g>
</svg> (<svg height="12.175" id="M211" style="vertical-align:-3.56265pt" version="1.1" viewbox="0 0 9.5625 12.175" width="9.5625" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g transform="matrix(.017,-0,0,-.017,.062,7.675)"><path d="M538 96q-38 -45 -84 -76.5t-71 -31.5q-44 0 -15 117q12 49 18 89h-2q-99 -128 -163 -178q-36 -28 -70 -28q-26 0 -44 38h-2q-16 -69 -16 -129q0 -43 11 -75.5t24 -42.5l1 -6q-7 -12 -24.5 -23t-37.5 -11q-40 0 -40 76q0 52 35 202l94 407l78 24l5 -5q-32 -122 -72 -310
q-7 -33 0 -55t25 -22q36 0 105.5 75t107.5 145l32 146l75 26h10q-50 -197 -78 -347q-7 -38 6 -38q7 0 31 17t47 39z" id="x1D707"></path></g>
</svg>s)</td><td align="center"><svg height="18.65" id="M212" style="vertical-align:-5.76988pt" version="1.1" viewbox="0 0 18.237499 18.65" width="18.237499" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g transform="matrix(.017,-0,0,-.017,.062,11.4)"><path d="M716 28l-8 -28h-254l8 28q55 5 66 17.5t5 47.5l-30 145h-232l-74 -138q-21 -43 -11 -54.5t72 -17.5l-6 -28h-235l8 28q53 7 73.5 21t53.5 70l319 540l33 8q6 -43 33 -176l80 -381q10 -49 26.5 -63t72.5 -19zM495 281l-49 264h-2l-149 -264h200z" id="x1D434"></path></g>
<g transform="matrix(.012,-0,0,-.012,12.525,15.475)"><path d="M394 607q0 -25 -15.5 -43t-39.5 -18q-19 0 -32 13t-13 35t16 41.5t40 19.5q20 0 32 -13.5t12 -34.5zM360 349l-57 -283q-38 -188 -122 -263q-72 -64 -114 -64q-16 0 -30 10.5t-14 22.5q0 24 21 45q15 13 26 6q30 -20 54 -20q41 0 65 95q37 147 86 415q6 34 6.5 42.5
t-5.5 11.5q-18 0 -79 -54l-14 25q48 48 96.5 79t71.5 31q29 0 9 -99z" id="x1D457"></path></g>
</svg> (slices)</td><td align="center"> No. instances</td></tr><tr><td class="thead-hr" colspan="4"><hr/></td></tr><tr><td align="left">  P1</td><td align="center"> 0.70</td><td align="center"> 450</td><td align="center"> 2</td></tr><tr><td align="left">P2</td><td align="center"> 0.93</td><td align="center"> 526</td><td align="center"> 2</td></tr><tr><td align="left">P3</td><td align="center"> 1.20</td><td align="center"> 605</td><td align="center"> 2</td></tr><tr><td align="left">P4</td><td align="center"> 1.20</td><td align="center"> 553</td><td align="center"> 3</td></tr><tr><td align="left">P5</td><td align="center"> 1.19</td><td align="center"> 724</td><td align="center"> 3</td></tr><tr class="table-tr"><td colspan="4"><hr class="tbody-hr"/></td></tr></table></td></tr></table>

International Journal of Reconfigurable Computing

tab5

Table 5

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