A methodology for task based partitioning and scheduling of dynamically reconfigurable systems | IEEE Conference Publication | IEEE Xplore