Binary-translation software that runs unmodified x86 desktop and server applications on energy-efficient RISC/non-x86 servers without recompilation. Targets cloud, data-center and cluster operators, combining binary translation, optimization and virtualization to enable migration of proprietary x86 server software to modern energy-efficient infrastructure.