Answer Set versus Integer Linear Programming for Automatic Synthesis of Multiprocessor Systems from Real-Time Parallel Programs.
Harold IshebabiPhilipp MahrChristophe BobdaMartin GebserTorsten SchaubPublished in: Int. J. Reconfigurable Comput. (2009)
Keyphrases
- answer sets
- multiprocessor systems
- integer linear programming
- logic programs
- answer set programming
- answer set semantics
- distributed memory
- logic programming
- normal logic programs
- answer set programs
- fixpoint
- column generation
- access patterns
- loop formulas
- stable models
- stable model semantics
- shared memory
- scheduling problem
- parallel computing
- cutting plane
- multithreading
- global constraints