Virtualizing ARM VFP (Vector Floating-Point) with Xen-ARM. - See-hwan Yoo; Sung-bae Yoo; Chuck Yoo (J. Syst. Archit., 2013)