Scheduling shared memory multicore architectures in Af3 using Satisfiability Modulo Theories.
Sebastian VossBernhard SchätzPublished in: MBEES (2012)
Keyphrases
- shared memory
- parallel machines
- parallel architectures
- parallel algorithm
- message passing
- heterogeneous platforms
- parallel computing
- distributed memory
- satisfiability modulo theories
- parallel computers
- modulo theories
- parallel programming
- scheduling problem
- parallel execution
- address space
- massively parallel
- shared memory multiprocessors
- multi core processors
- shared memory multiprocessor
- sat solvers
- orders of magnitude