Transparent system-level migration of PGAS applications using Xen on InfiniBand | IEEE Conference Publication | IEEE Xplore