Correlation-graph-based temperature sensor allocation for thermal-aware network-on-chip systems.