The Java Virtual Machine in retargetable, high-performance instruction set simulation. - Marco Kaufmann; Matthias Häsing; Thomas Preußer; Rainer G. Spallek (PPPJ, 2011)