@article{DBLP:journals/ijrc/IshebabiMBGS09, title = {Answer Set versus Integer Linear Programming for Automatic Synthesis of Multiprocessor Systems from Real-Time Parallel Programs}, author = {Ishebabi, Harold and Mahr, Philipp and Bobda, Christophe and Gebser, Martin and Schaub, Torsten}, journal = {Int. J. Reconfig. Comp.}, pages = {863630:1--863630:11}, volume = {2009}, year = {2009} }