Compressed memory swap for QoS of virtualized embedded systems | IEEE Journals & Magazine | IEEE Xplore