High-level language extensions for run-time reconfigurable systems | IEEE Conference Publication | IEEE Xplore