Randomized Algorithms for Platform-based Design | IEEE Conference Publication | IEEE Xplore