Schedulability-guided exploration of multi-core systems | IEEE Conference Publication | IEEE Xplore