Symmetry Breaking for Multi-criteria Mapping and Scheduling on Multicores (Q2842674)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Symmetry Breaking for Multi-criteria Mapping and Scheduling on Multicores |
scientific article |
Statements
Symmetry Breaking for Multi-criteria Mapping and Scheduling on Multicores (English)
0 references
16 August 2013
0 references
synchronous data-flow
0 references
multiprocessor
0 references
multicore
0 references
mapping
0 references
scheduling
0 references
SMT
0 references
SAT solver
0 references
