"Intel i860"@cs .