"SGI IRIX"@cs .