O Exame de Registro de Graduação em Ciência da Computação (GRE) é dividido em quatro partes principais. Essas partes incluem: Arquitetura e organização do computador, responsável por 15% da nota do teste; Metodologia e Sistemas de Software, responsável por 40% da nota do teste; Teoria Matemática e Antecedentes, responsável por 40% da nota do teste; e uma categoria abrangente chamada Outros Tópicos, responsável pelos 5% restantes da nota do teste.
Na área Arquitetura e organização de computadores, existem cinco subcampos principais. O primeiro é o controle de unidades e processadores. Nesse campo, o GRE de Ciência da Computação envolve perguntas sobre coisas como representação aritmética e de números, caminhos de dados e seqüenciamento de controle, além de perguntas gerais sobre conjuntos de instruções.
O segundo subcampo é Digital Logic Design, e envolve questões de análise e otimização, juntamente com a implementação de circuitos combinados e sequenciais. O terceiro é Memórias e Hierarquias, envolvendo tipos de cache e armazenamento, paginação, segmentação, memória virtual e perguntas sobre desempenho e implementação. O quarto é Comunicações e redes, envolvendo dispositivos de rede, como roteadores e comutadores, sistemas de entrada e saída e computadores sincronizados. A última é a Arquitetura de Alto Desempenho, que envolve arquitetura distribuída e paralela, pipelining superscalar e processadores de execução não ordenados.
No campo Metodologia e Sistemas de Software do GRE de Ciência da Computação, existem cinco subcampos. O primeiro é a organização de dados, envolvendo técnicas de implementação de dados, estruturas e tipos de dados. O segundo é a Estrutura e Controle do Programa, envolvendo questões sobre sincronização, concorrência e comunicação; recursão e iteração; e funções, métodos, procedimentos e manipuladores de exceção.
O terceiro subcampo no campo Metodologia e Sistemas de Software do GRE de Ciência da Computação é Notações e Linguagens de Programação, envolvendo avaliação de expressões, passagem de parâmetros, ligação, escopo e controle de programa / construções de organização de dados / controle. O quarto é a Engenharia de Software, que envolve técnicas de verificação, especificações, asserções, modelos de desenvolvimento, ferramentas e padrões. O último subcampo envolve perguntas de Sistemas, incluindo bancos de dados, análise de sistema, gerenciamento de recursos, intérpretes, sistemas de tempo de execução, compiladores, sistemas operacionais, Internet e questões de rede.
Na Teoria Matemática e Antecedentes do GRE da Ciência da Computação, existem três subcampos primários. O primeiro é Complexidade e algoritmos, e envolve perguntas sobre técnicas de projeto de algoritmos, análise assintótica e exata, complexidade computacional e limites de complexidade superior e inferior. A segunda seção é a Teoria da linguagem e os autômatos, envolvendo modelos de computação, decidibilidade e gramática e linguagem formais. O último é Estruturas Discretas, envolvendo teoria dos grafos, combinatória elementar, teoria dos números, relações recorrentes e lógica matemática.
A área final do GRE de Ciência da Computação é chamada de Outros Tópicos. Ele inclui perguntas sobre coisas como criptografia, computação gráfica, análise de números, inteligência artificial e segurança. Esta seção também inclui perguntas sobre questões sociais.