Search

Author/Creator Gebser, Martin

1. Answer Set versus Integer Linear Programming for Automatic Synthesis of Multiprocessor Systems from Real-Time Parallel Programs. (15th October 2009)

Authors:
Ishebabi, Harold; Mahr, Philipp; Bobda, Christophe; Gebser, Martin; Schaub, Torsten
Other Names:
Torres Lionel Academic Editor.
Journal:
International journal of reconfigurable computing
Issue:
Volume 2009(2009)
Page Start:
Record Type:
Journal Article
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

2. Answer Set versus Integer Linear Programming for Automatic Synthesis of Multiprocessor Systems from Real-Time Parallel Programs. (15th October 2009)

Authors:
Ishebabi, Harold; Mahr, Philipp; Bobda, Christophe; Gebser, Martin; Schaub, Torsten
Other Names:
Torres Lionel Academic Editor.
Journal:
International journal of reconfigurable computing
Issue:
Volume 2009(2009)
Page Start:
Record Type:
Journal Article
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗