1

Modeling Speedup in Multi-OS Environments