1997-98 Graduate School Catalog

COMPUTER SCIENCE (CSCI)

Dennis W. Brewer, Chairman of the Dept. 232 Science Engineering Building, 575-6427

PROFESSORS BERGHEL, STARLING; ASSOCIATE PROFESSORS FULLER, LI; INSTRUCTORS WIGGINS, BLANK

Degree Conferred: M.S. (CSCI)

Prerequisites to Degree Program: Applicants for this degree program should have completed the equivalent of a Bachelor of Science degree in computer science following the most recent guidelines published by the Association for Computing Machinery. If an applicant has deficiencies in undergraduate coursework, then specific undergraduate courses may be required in addition to the graduate requirements for the degree. An applicant must also present scores on the Graduate Record Examinations (GRE).

Requirements for the Master of Science Degree: The non-thesis option for the degree requires the successful completion of 36 semester hours of computer science courses approved by the candidate's graduate committee; at most, nine of the 36 semester hours may be other than CSCI courses. The thesis option for the degree requires the successful completion of at least six semester hours of CSCI 610V (Master's Thesis), plus 24 semester hours of computer science courses approved by the candidate's graduate committee; at most, nine of the 24 semester hours may be other than CSCI courses. Candidates following either the thesis or the non-thesis option must complete four courses from the CSCI 50*3 sequence.

All candidates must pass a written comprehensive examination in, at most, two attempts. The first attempt may not occur before all of the following qualifying conditions have been satisfied:

1. Candidates following the non-thesis option must have completed at least 27 hours that are applicable towad the degree. Candidates following the thesis option must have completed at least 21 hours toward the degree and be currently enrolled in CSCI 610V.

2. Candidates following either option must have completed at least four courses from the CSCI 50*3 sequence

3. The candidate's cumulative grade-point average on all graduate-level courses must be 3.00 or higher.

Courses: Computer Science (CSCI)

5003 Advanced Programming Languages (Sp) Abstraction, proof of correctness, functional languages, concurrent programming, exception handling, dataflow and object-oriented programming, denotational semantics. Prerequisite: graduate standing.

5023 Architecture of Computer Systems (Fa) An advanced study of both classical and recent computer hardware and software systems. Prerequisites: CSCI 3303, 4203.

5033 Design and Analysis of Algorithms (Sp) Design of computer algorithms, with primary emphasis on the development of efficient implementation. Prerequisite: graduate standing.

5043 Artificial Intelligence (Irregular) Reasoning systems--monotonic and non-monotonic. Representation of knowledge: slots and filler systems. Programming project. Prerequisite: graduate standing.

5103 Microcomputer Programming (Irregular) Differences between microcomputer and mainframe programming, microcomputer organization, and anatomy of typical microcomputer architectures are studied. Prerequisites: CSCI 2003, 3303, 2023.

5113 Logic Programming (Irregular) Includes an overview of first order predicate logic, resolution, unification, backtracking, procedural dimensions of SLD resolution, soundness and completeness of SLD resolution, Herbrand models, and procedural semantics negation as failure and programming in PROLOG. Prerequisites: CSCI 2003, 3303, 2023.

5203 Advanced Database Systems (Irregular) Data and storage hierarchies, database models, user language designs, database manipulations. Prerequisite: CSCI 2013 and graduate standing.

5213 Information Storage and Retrieval (Irregular) Principles of storage and retrieval of textual data. Prerequisite: graduate standing.

5233 Principles of Compiler Construction (Irregular) Lexical analysis, parsing, symbol table construction, intermediate code generation, run-time simulation. Prerequisite: graduate standing.

5243 Formal Languages (Sp) An advanced continuation of CSCI 4603. Prerequisite: CSCI 4603 and graduate standing.

5253 Error-Correcting Codes (Irregular) Linear algebra in coding theory, employing abstract algebra, cyclic codes, quadratic residue codes, B.C.H. codes, Reed-Muller codes. Prerequisite: MATH 3083 and graduate standing.

5263 Computational Complexity (Irregular) Turing machines, recursion theory and computability, complexity measures, NP-completeness, analysis on NP-complete problems, pseudo-polynomial and approximation algorithms. Prerequisite: graduate standing.

5273 Natural Language Processing (Irregular) Covers natural language parsing: grammatical models, grammatical formalisms: X-bar schemes, case schemes, Horn clause schemes, lexical organization, and semantic issues. Prerequisites: CSCI 2003, 3303, 2023, and 4603 (or permission).

5303 Parallel Programming An analysis of parallel computer systems with respect to software engineering. Practical programming experience on pipelined, array, and multiprocessor computers. Parallel algorithm development. Credit cannot be earned for equivalent ELEG and CSEG courses. (Same as CSEG 5303 and ELEG 5913.) Prerequisites: working knowledge of "C" language, and CSEG 4513 or equivalent.

5313 Advanced Operating Systems (Fa) Concurrent processes and process communication; mutual exclusion and synchronization principles; kernel philosophy; resource allocation and deadlock; case studies of specific operating systems. Prerequisite: CSCI 4203 and graduate standing.

5703 Visual Computing: Theory and Practice (Irregular) An introduction to very high-level, pictorial programming environments. Topics include conceptual foundations, language basics, methodology, the role of object orientation in modern visual programming, process communication, dataflow and objectflow processes. Visual programming is contrasted with diagram, table and form-based visual systems, and other visual environments. Prerequisites: CSCI 3503 and graduate standing.

5713 Multimedia Systems Design (Irregular) Overview of digital unified multimedia. Programming methodology involved in integration of all forms of digitized information (e.g., text, sound, graphics, animation, and process control) in a single computer-based interactive environment.

5723 Client-Server Computing Distributed computing paradigms: client-server, peer-to-peer, nomadic; client and server-side components, communications interface technology, interprocess-communications, development hardware and software. Prerequisite: Graduate standing.

590V Advanced Topics in Computer Science (1-3) (Irregular) Topics not covered in depth in other courses. Prerequisites: graduate standing and consent.

610V Master's Thesis (1-6)

620V Research in Computer Science (1-6) (Fa, Sp, Su) Prerequisite: graduate standing and consent.


[Table of Contents] - [Search] - [Comments]