Integrated scheduling and configuration caching in dynamically reconfigurable systems | IEEE Conference Publication | IEEE Xplore