Partitioning and exploration strategies in the TOSCA co-design flow | IEEE Conference Publication | IEEE Xplore