@article{BobdaYongaGebseretal.2018,
  author    = {Christophe Bobda and Franck Yonga and Martin Gebser and Harold Ishebabi and Torsten H. Schaub},
  title     = {High-level synthesis of on-chip multiprocessor architectures based on answer set programming},
  journal   = {Journal of Parallel and Distributed Computing},
  volume    = {117},
  pages     = {161 -- 179},
  doi       = {10.1016/j.jpdc.2018.02.010},
  year      = {2018},
}