El examen de registro de posgrado en ciencias de la computación (GRE) se divide en cuatro partes principales. Estas partes incluyen: Arquitectura y organización de computadoras, que representa el 15 por ciento de la calificación de la prueba; Metodología y sistemas de software, que representa el 40 por ciento de la calificación de la prueba; Teoría y antecedentes matemáticos, que representa el 40 por ciento de la calificación de la prueba; y una categoría general llamada Otros temas, que representa el 5 por ciento restante de la calificación de la prueba.
En el área de Arquitectura y organización de computadoras, hay cinco subcampos principales. El primero es Unidades de control y procesadores. En este campo, el GRE de Ciencias de la Computación involucra preguntas sobre cosas tales como representación numérica y aritmética, rutas de datos y secuencia de control, así como preguntas generales sobre conjuntos de instrucciones.
El segundo subcampo es el diseño de lógica digital, e involucra preguntas de análisis y optimización junto con la implementación de circuitos secuenciales y combinados. El tercero es Memorias y jerarquías, que incluyen tipos de caché y almacenamiento, paginación, segmentación, memoria virtual y preguntas sobre el rendimiento y la implementación. El cuarto es Comunicaciones y Redes, que involucra dispositivos de red como enrutadores y conmutadores, sistemas de entrada-salida y computadoras de sincronización. La última es la arquitectura de alto rendimiento, que incluye arquitectura distribuida y paralela y canalización superescalar y procesadores de ejecución no ordenados.
En el campo de Metodología y Sistemas de Software del Computer Science GRE, hay cinco subcampos. El primero es Organización de datos, que involucra técnicas de implementación de datos, estructuras de datos y tipos de datos. El segundo es Estructura y control del programa, que involucra preguntas sobre sincronización, concurrencia y comunicación; recursividad e iteración; y funciones, métodos, procedimientos y manejadores de excepciones.
El tercer subcampo en el campo de Metodología y Sistemas de Software del GRE de Ciencias de la Computación es Programación de anotaciones y lenguajes, que implica la evaluación de expresiones, paso de parámetros, enlace, alcance y construcciones de organización de control / datos del programa. El cuarto es Ingeniería de software, que implica técnicas de verificación, especificaciones, afirmaciones, modelos de desarrollo, herramientas y patrones. El último subcampo involucra preguntas de Sistemas, incluidas bases de datos, análisis de sistemas, gestión de recursos, intérpretes, sistemas de tiempo de ejecución, compiladores, sistemas operativos, Internet y preguntas sobre redes.
En la teoría matemática y los antecedentes de la informática GRE, hay tres subcampos principales. El primero es Complejidad y algoritmos, e involucra preguntas sobre técnicas de diseño para algoritmos, análisis de algoritmos asintóticos y exactos, complejidad computacional y límites de complejidad superior e inferior. La segunda sección es Teoría del lenguaje y autómatas, que involucra modelos de computación, capacidad de decisión y gramática y lenguaje formales. El último es Estructuras discretas, que involucran teoría de grafos, combinatoria elemental, teoría de números, relaciones recurrentes y lógica matemática.
El área final del GRE de informática se llama Otros temas. Incluye preguntas sobre cosas como criptografía, gráficos por computadora, análisis de números, inteligencia artificial y seguridad. Esta sección también incluye preguntas sobre temas sociales.