Die Computer Science Graduate Record Examination (GRE) gliedert sich in vier Hauptteile. Diese Teile umfassen: Computerarchitektur und -organisation, die 15 Prozent der Testnote ausmachen; Software-Methodik und -Systeme, die 40 Prozent der Testnote ausmacht; Mathematische Theorie und Hintergrund, die 40 Prozent der Prüfungsnote ausmachen; und eine Dachkategorie namens Andere Themen, die die restlichen 5 Prozent der Testnote ausmacht.
Im Bereich Computerarchitektur und Organisation gibt es fünf Hauptunterbereiche. Die erste sind Steuereinheiten und Prozessoren. In diesem Bereich beschäftigt sich das Informatik GRE mit Fragen zu Dingen wie Zahlen- und arithmetische Darstellung, Datenpfaden und Steuersequenzen sowie allgemeinen Fragen zu Befehlssätzen.
Der zweite Teilbereich ist Digital Logic Design und umfasst Analyse- und Optimierungsfragen sowie die Implementierung von sequentiellen und kombinierten Schaltungen. Das dritte sind Speicher und Hierarchien, die Cache- und Speichertypen, Paging, Segmentierung, virtuellen Speicher und Fragen zu Leistung und Implementierung umfassen. Die vierte ist Kommunikation und Netzwerke, die Netzwerkgeräte wie Router und Switches, Eingabe-Ausgabe-Systeme und synchronisierende Computer umfasst. Die letzte ist die Hochleistungsarchitektur, die eine verteilte und parallele Architektur sowie superskalares Pipelining und ungeordnete Ausführungsprozessoren umfasst.
Im Bereich Software Methodology and Systems der Informatik GRE gibt es fünf Teilbereiche. Die erste ist die Datenorganisation, die Datenimplementierungstechniken, Datenstrukturen und Datentypen umfasst. Die zweite ist Programmstruktur und -steuerung, die Fragen zu Synchronisation, Parallelität und Kommunikation beinhaltet; Rekursion und Iteration; und Funktionen, Methoden, Prozeduren und Ausnahmehandler.
Der dritte Teilbereich im Bereich Softwaremethodik und -systeme der Informatik GRE ist Programmiernotationen und -sprachen, die die Auswertung von Ausdrücken, Parameterübergabe, Bindung, Umfang und Programmsteuerungs-/Datenorganisationskonstrukte umfasst. Das vierte ist Software Engineering, das Verifikationstechniken, Spezifikationen, Assertionen, Entwicklungsmodelle, Werkzeuge und Muster umfasst. Das letzte Unterfeld umfasst Systemfragen, einschließlich Datenbanken, Systemanalyse, Ressourcenverwaltung, Interpreter, Laufzeitsysteme, Compiler, Betriebssysteme, Internet und Netzwerkfragen.
In der Mathematischen Theorie und dem Hintergrund der Informatik GRE gibt es drei Hauptunterbereiche. Die erste ist Komplexität und Algorithmen und beinhaltet Fragen zu Entwurfstechniken für Algorithmen, asymptotische und exakte Algorithmusanalyse, rechnerische Komplexität und obere und untere Komplexitätsgrenzen. Der zweite Abschnitt ist Sprachtheorie und Automaten und umfasst Rechenmodelle, Entscheidbarkeit und formale Grammatik und Sprache. Die letzte ist Diskrete Strukturen, die Graphentheorie, elementare Kombinatorik, Zahlentheorie, rekurrierende Beziehungen und mathematische Logik einbeziehen.
Der letzte Bereich des Informatik GRE heißt Other Topics. Es umfasst Fragen zu Themen wie Kryptographie, Computergrafik, Zahlenanalyse, künstliche Intelligenz und Sicherheit. Dieser Abschnitt enthält auch Fragen zu sozialen Themen.