Virtual Devices for Hot-Pluggable Processors | IEEE Conference Publication | IEEE Xplore