@dblp

Answer Set versus Integer Linear Programming for Automatic Synthesis of Multiprocessor Systems from Real-Time Parallel Programs.

, , , , and . Int. J. Reconfigurable Comput., (2009)

Links and resources

Tags