The architecture of Ra: a kernel for Clouds | IEEE Conference Publication | IEEE Xplore