@article{DBLP:journals/jpdc/BobdaYGIS18, title = {High-level synthesis of on-chip multiprocessor architectures based on answer set programming}, author = {Bobda, Christophe and Yonga, Franck and Gebser, Martin and Ishebabi, Harold and Schaub, Torsten}, journal = {J. Parallel Distrib. Comput.}, pages = {161--179}, volume = {117}, year = {2018} }