Computador de grande porte, utilizado para processamento de um grande volume de dados, com alta capacidade de memória capaz de oferecer serviços de processamento de alto desempenho a vários usuários, simultaneamente, e que opera em milhões de instruções por segundo é conhecido como?