Advanced Design and Implementation of Virtual Machines