Vdismodel: A Display Latency Performance Model in Virtualization Environment | IEEE Conference Publication | IEEE Xplore