![](/img/cover-not-exists.png)
Answer Set versus Integer Linear Programming for Automatic Synthesis of Multiprocessor Systems from Real-Time Parallel Programs
Ishebabi, Harold, Mahr, Philipp, Bobda, Christophe, Gebser, Martin, Schaub, TorstenVolume:
2009
Year:
2009
Language:
english
Journal:
International Journal of Reconfigurable Computing
DOI:
10.1155/2009/863630
File:
PDF, 1.39 MB
english, 2009