A Constraint Programming Scheduler for Heterogeneous High-Performance Computing Machines.
Thomas BridiAndrea BartoliniMichele LombardiMichela MilanoLuca BeniniPublished in: IEEE Trans. Parallel Distributed Syst. (2016)
Keyphrases
- constraint programming
- high performance computing
- scientific computing
- constraint satisfaction problems
- massively parallel
- constraint propagation
- computational science
- combinatorial problems
- computing systems
- parallel computing
- constraint satisfaction
- heterogeneous computing
- instruction scheduling
- computing resources
- fault tolerance
- finite domain
- grid computing
- symmetry breaking
- parallel machines
- global constraints
- formal methods
- energy efficiency
- hard and soft constraints
- information systems
- search space