Javascript interpreters featuring web workers