A high-level language for programming a NoC-based Dynamic Reconfiguration Infrastructure | IEEE Conference Publication | IEEE Xplore