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

researchr

You are not signed in
Sign in
Sign up

Harold Ishebabi, Philipp Mahr, Christophe Bobda, Martin Gebser, Torsten Schaub. Answer Set versus Integer Linear Programming for Automatic Synthesis of Multiprocessor Systems from Real-Time Parallel Programs. Int. J. Reconfig. Comp., 2009, 2009. [doi]

This author has not been identified. Look up 'Harold Ishebabi' in GoogleThis author has not been identified. Look up 'Philipp Mahr' in GoogleThis author has not been identified. Look up 'Christophe Bobda' in GoogleThis author has not been identified. Look up 'Martin Gebser' in GoogleThis author has not been identified. Look up 'Torsten Schaub' in Google

runs on WebDSL