1. Bobda, C., Haller, T., Mühlbauer, F., Rech, D., Jung, S.: Design of adaptive multiprocessor on chip systems. In: Petraglia, A., Pedroni, V., Cauwenberghs, G. (eds.) Proceedings of the Twentieth Annual Symposium on Integrated Circuits and Systems Design (SBCCI 2007), pp. 177–183. ACM Press, New York (2007)
2. Ishebabi, H., Bobda, C.: Automated architecture synthesis for parallel programs on FPGA multiprocessor systems. Microprocessors and Microsystems 33(1), 63–71 (2009)
3. Ishebabi, H., Mahr, P., Bobda, C.: Automatic synthesis of multiprocessor systems from parallel programs under preemptive scheduling. In: Torres, C. (ed.) Proceedings of the International Conference on Reconfigurable Computing and FPGAs (ReConFig 2008), pp. 19–24. IEEE Press, Los Alamitos (2008)
4. Simons, P., Niemelä, I., Soininen, T.: Extending and implementing the stable model semantics. Artificial Intelligence 138(1-2), 181–234 (2002)
5. Gebser, M., Kaufmann, B., Neumann, A., Schaub, T.: Conflict-driven answer set solving. In: Veloso, M. (ed.) Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI 2007), pp. 386–392. AAAI Press/MIT Press (2007)