High-level synthesis of on-chip multiprocessor architectures based on answer set programming.
Christophe BobdaFranck YongaMartin GebserHarold IshebabiTorsten SchaubPublished in: J. Parallel Distributed Comput. (2018)
Keyphrases
- answer set programming
- high level synthesis
- logic programming
- answer sets
- logic programs
- parallel architecture
- level parallelism
- constraint logic programming
- multithreading
- causal theories
- distributed memory
- design space exploration
- answer set programs
- stable models
- knowledge representation
- stable model semantics
- update semantics
- haplotype inference
- disjunctive logic programming
- efficient implementation
- description logics
- machine learning
- satisfiability modulo theories
- information systems