COMP 511
Design and Analysis of Algorithms (3) Amortized analysis, graph algorithms, NP-complete problems, approximation algorithms, parallel algorithms.
Effective: Spring 2008
Prerequisite:
CMPSC 463, MA SC 505
COMP 512
Advanced Operating Systems (3) A study of the principles and practice of distributed system design, including communication, synchronization, processes, file systems, and memory management.
Effective: Spring 2008
Prerequisite:
CMPSC 472
COMP 513
Formal Methods for Software Engineering (3) Object-oriented software development, formal specification techniques and related CASE tools, software re-use, verification and validation, transformational development.
Effective: Spring 2008
Prerequisite:
CMPSC 487W, COMP 511 or permission of the program
COMP 516
Advanced Programming Languages (3) Programming paradigms and styles, object-oriented programming, formal semantics, programming language design.
Effective: Spring 2008
Prerequisite:
CMPSC 460
COMP 517
Computer Security (3) Introduction to the area of computer security and current issues associated with computer security.
Effective: Spring 1998
Prerequisite:
MA SC 370
COMP 519
Advanced Topics in Database Management Systems (3) Concurrency control, crash recovery, query processing, semantic data models, advanced file access, distributed database systems, performance, case studies, advanced applications.
Effective: Spring 2008
Prerequisite:
CMPSC 430, MA SC 370
COMP 520
Advanced Artificial Intelligence (3) Problem solving, knowledge representation, language understanding, perception, learning, artificial neural networks.
Effective: Spring 1998
Prerequisite:
COMP 511 or permission of the program
COMP 524
Evolutionary Computation (3) Topics in evolutionary algorithms and genetic algorithms.
Effective: Spring 1998
Prerequisite:
COMP 511 or permission of the program
COMP 545
Computer Architecture (3) Cache, pipelining, memory design, interconnection networks, multiprocessor systems.
Effective: Spring 2008
Prerequisite:
CMPSC 312
COMP 556
Neuronal Computation (3) Anatomy and physiology of neurons, artificial neural elements, computational neural models, neural image processing, pattern recognition, and computation.
Effective: Spring 2008
Prerequisite:
CMPSC 402, MATH 336
COMP 580
Master's Project (3 per semester/maximum of 6) Research into a specific computer science problem, development of a scholarly written paper, and oral defense of the work.
Effective: Spring 1998
Prerequisite:
permission of the program
COMP 591
Topics in Computer Science (1-3 per semester/maximum of 6) Study of topics in computer science.
Effective: Spring 1998
Prerequisite:
permission of the program
COMP 594
Master's Studies (3) Presentation of various research techniques, in-depth study of a specific computer science problem, development of a written paper or project, and an oral defense.
Effective: Fall 2003
Prerequisite:
A minimum of 2 of the 500-level computer science required courses or permission of the program.
COMP 596
Individual Studies (1-9) Creative projects, including nonthesis research, that are supervised on an individual basis and which fall outside the scope of formal courses.
Effective: Summer 1997
COMP 597
Special Topics (1-9) Formal courses given on a topical or special interest subject which may be offered infrequently; several different topics may be taught in one year or semester.
Effective: Summer 1997
COMP 600
Thesis Research (1-6) Research into a specific computer science problem, development of a scholarly written paper, and an oral defense.
Effective: Fall 2003
Prerequisite:
A minimum of 2 of the 500-level computer science required courses or permission of the program.
Last Import from UCM: November 21, 2009 3:00 AM