Modelling and optimising run-time reconfigurable systems | IEEE Conference Publication | IEEE Xplore