A methodology for design of run-time reconfigurable systems | IEEE Conference Publication | IEEE Xplore