Dynamic platform management for configurable platform-based System-on-Chips | IEEE Conference Publication | IEEE Xplore