Augmenting NoC with Naming Service for Slot-based Reconfigurable Devices on Chip | IEEE Conference Publication | IEEE Xplore