|
COMP-SCI
524
Protocol Design
|
|
|
Protocols as formal algorithms, architectural definition, protocol specification languages and models and their translation to implementation languages, overview of verification methods, symbolic execution. Prerequisite: CS 421.
|
|
|
|
|
|
|
|
|
|
|
|
3 hrs
|
| back to top | |
|
|
COMP-SCI
532
Discrete Event Simulation
|
|
|
Review of statistical distributions, generation of pseudorandom variates and stochastic processes, basic queueing systems such as M/M/m and Jackson Networks, simulation project. Prerequisite: CS 594.
|
|
|
|
|
|
|
|
|
|
|
|
3 hrs
|
| back to top | |
|
|
COMP-SCI
5510
Information Theory
|
|
|
Representation, transmission and transformation of information, information compression and protection, generation, storage, processing and transmission of information. Prerequisite: BS in Computer Science, Engineering, or Mathematics.
|
|
|
|
|
|
|
|
|
|
|
|
3 hrs
|
| back to top | |
|
|
COMP-SCI
5511
Advanced Telecommunications Networks
|
|
|
Efficient source coding and channel coding techniques, principles of switching, digital transmission over microwave, copper and optical media, T-carrier and SONET systems, traffic consideration in telecommunications networks, network synchronization, control and management, ATM concepts. Prerequisite(s): COMP-SCI 394R and COMP-SCI 411.
|
|
|
|
|
|
|
|
|
|
|
|
3 hrs
|
| back to top | |
|
|
COMP-SCI
5513
Digital Cellular Communications
|
|
|
Principles of microwave communications, performance metrics, mobile communications and cellular topology, co-channel and adjacent channel interference, fading and shadowing, various types of diversity, TDMA, FDMA and CDMA and other techniques for channel assignment, cellular network architectures, design considerations, PCN concepts. Prerequisite COMP-SCI 411.
|
|
|
|
|
|
|
|
|
|
|
|
3 hrs
|
| back to top | |
|
|
COMP-SCI
5514
Optical Fiber Communications
|
|
|
Fiber optic cable and its characteristics, optical sources and transmitters, optical detectors and receivers, optical components such as couplers and connectors, WDM and OFDM techniques, modulation and transmission of information over optical fibers, design of optical networks, single and multihop fiber LANs, optical carrier systems. Prerequisite: COMP-SCI 411.
|
|
|
|
|
|
|
|
|
|
|
|
3 hrs
|
| back to top | |
|
|
COMP-SCI
5514
A
Optical Networking
|
|
|
Components of optical networks such as OADM, OXC, optical switches, DWDM, and their functions and interactions. Design, analysis and routing over all-optical networks to include waveband, wavelength and lightpath routing. Prerequisite: COMP-SCI 411
|
|
|
|
|
|
|
|
|
|
|
|
3 hrs
|
| back to top | |
|
|
COMP-SCI
5517
Digital Switching: Techniques And Architectures
|
|
|
Integration of transmission and switching, single and multistage switching principles, space and time division switching, conventional switch architectures such as 4ESS, integration of circuit and packet switching, ATM switching and design considerations, ATM switch architectures, evaluation and comparison, future trends. Prerequisite(s): COMP-SCI 394R and COMP-SCI 411.
|
|
|
|
|
|
|
|
|
|
|
|
3 hrs
|
| back to top | |
|
|
COMP-SCI
5520
Network Architecture I
|
|
|
Principles, protocols, and architectures of data networks, internetworking, routing, layering, and addressing, with specific investigation of the Internet Protocol (IP), Mobile IP, Multiprotocol Label Switching (MPLS), IP over Asynchronous Transfer Mode (ATM) networks, and virtual private networks. Prerequisite: COMP-SCI 420 or COMP-SCI 421, COMP-SCI 431.
|
|
|
|
|
|
|
|
|
|
|
|
3 hrs
|
| back to top | |
|
|
COMP-SCI
5521
Network Architecture II
|
|
|
Principles, protocols and architectural issues of computer networks for transport layer and above, with specific emphasis on TCP/IP for best-effort services as well as for emerging multi-media services. Prerequisite: COMP-SCI 520
|
|
|
|
|
|
|
|
|
|
|
|
3 hrs
|
| back to top | |
|
|
COMP-SCI
5522
Computer Network Design And Analysis
|
|
|
Topological design, capacity and flow assignment problem-modeling and algorithms, and their analysis, issues in network control. Prerequisite(s): CS 352, COMP-SCI 394R, COMP-SCI 421.
|
|
|
|
|
|
|
|
|
|
|
|
3 hrs
|
| back to top | |
|
|
COMP-SCI
5526
Network Routing
|
|
|
Algorithms, protocols and analysis for network routing. Routing in different networks such as circuit-switched networks, Internet, broadband networks, and transmission networks are covered. Prerequisites: COMP-SCI 520 and COMP-SCI S522.
|
|
|
|
|
|
|
|
|
|
|
|
3 hrs
|
| back to top | |
|
|
COMP-SCI
5528
Local Area Networks: Analysis And Design
|
|
|
Definition of local area networks (LAN), LAN architecture and protocols, topology, transmission media, channel access protocols, modeling, simulation and performance evaluation of LANs, considerations in design and implementation, examples. Prerequisite: COMP-SCI 421 and COMP-SCI 494R.
|
|
|
|
|
|
|
|
|
|
|
|
3 hrs
|
| back to top | |
|
|
COMP-SCI
5531
Advanced Operating Systems
|
|
|
Components of an operating system, scheduling/routing mechanisms, process control blocks, design and test various operating system components. Prerequisite: COMP-SCI 431.
|
|
|
|
|
|
|
|
|
|
|
|
3 hrs
|
| back to top | |
|
|
COMP-SCI
5551
Advanced Software Engineering
|
|
|
Current concepts in software architecture and design, comparative analysis for design, object-oriented software design, software quality criteria for evaluation of software design. Introduction to metrics, project management and managerial ethics. Prerequisite: COMP-SCI 451.
|
|
|
|
|
|
|
|
|
|
|
|
3 hrs
|
| back to top | |
|
|
COMP-SCI
5552
Advanced Data Structures
|
|
|
Formal modeling including specification and deviation of abstract data types, completeness issues in the design of data types and data structures, implementation of data structures from a formal data type specification, verification of abstractto concrete data mapping. Prerequisite(s): COMP-SCI 291 and COMP-SCI 352.
|
|
|
|
|
|
|
|
|
|
|
|
3 hrs
|
| back to top | |
|
|
COMP-SCI
5552
A
Formal Software Specification
|
|
|
Formal modeling including specification and deviation of abstract data types, completeness issues in the design of data types and data structures, implementation of data structures from a formal data type specification, verification of abstract to concrete data mapping. Prerequisite(s): CS291 and CS 352.
|
|
|
|
|
|
|
|
|
|
|
|
3 hrs
|
| back to top | |
|
|
COMP-SCI
5554
Software Tools And Programming Environments
|
|
|
Taxonomy of software tools and environments, generic software tool architecture, interface techniques for users, intra-system and stand-alone systems, integration of heterogeneous systems components. Prerequisite: COMP-SCI 451.
|
|
|
|
|
|
|
|
|
|
|
|
3 hrs
|
| back to top | |
|
|
COMP-SCI
556
Human Factors In Computer Systems
|
|
|
Design of "user friendly" man-machine interface, survey of recent psychological studies in man-machine interaction, user interface design, instrumentation and testing, analytic models of man-machine interaction. Prerequisite: CS 451.
|
|
|
|
|
|
|
|
|
|
|
|
3 hrs
|
| back to top | |
|
|
COMP-SCI
5560
Knowledge Discovery And Management
|
|
|
This course teaches students fundamental theory and practice in the field of knowledge discovery and management and also provides them with hands-on experience through application development. Prerequisites: COMP-SCI 5551, and either COMP-SCI 461 or COMP-SCI 464 Offered: Every Winter
|
|
|
|
|
|
|
|
|
|
|
|
3 hrs
|
| back to top | |
|
|
COMP-SCI
5566
Introduction To Bioinformatics
|
|
|
This course introduces students to the field of Bioinformatics with a focus on understanding the motivation and computer science behind existing Bioinformatic resources, as well as learning the skills to design and implement new ideas. Offered: Every Fall Prerequisites: COMP-SCI 352 and a course/background in Biology (Genomics or etaModels preferred.)
|
|
|
|
|
|
|
|
|
|
|
|
3 hrs
|
| back to top | |
|
|
COMP-SCI
5567
Machine Learning In Bioinformatics
|
|
|
This course introduces students to the field of Machine Learing algorithms that are used in Bioinformatics, illustrated by several examples of applications to various problems. Offered: Every Winter Prerequisites: COMP-SCI 352, COMP-SCI 394R and a course/background in Biology (Genomics or MetaModels preferred.)
|
|
|
|
|
|
|
|
|
|
|
|
3 hrs
|
| back to top | |
|
|
COMP-SCI
5570
Architecture Of Database Management Systems
|
|
|
Covers in detail, architecture of centralized database systems, database processing, management of concurrent transactions, query processing, query optimization, data models, database recovery, datawarehousing, workflow, World Wide Web and Database performance, and reviews the architecture of some commercial centralized database systems. Prerequisites: COMP-SCI 470 and COMP-SCI 431, or consent of instructor.
|
|
|
|
|
|
|
|
|
|
|
|
3 hrs
|
| back to top | |
|
|
COMP-SCI
5572
Mobile Computing
|
|
|
This course covers in detail the architecture of mobile and wireless network. It discusses and develops reveland concepts and algorithms for building mobile database systems (MDS), which is necessary for managing information on the air and E-commerce. This course is offered once a year. Prerequisite: COMP-SCI 5570 Offered: Every Fall
|
|
|
|
|
|
|
|
|
|
|
|
3 hrs
|
| back to top | |
|
|
COMP-SCI
5590
Special Topics
|
|
|
Selected topics in specific areas of computer science. May be repeated for credit when the topic varies.
|
|
|
|
|
|
|
|
|
|
|
|
1-3 hrs
|
| back to top | |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
COMP-SCI
5590
NN
Special Topics
|
|
|
Selected topics in specific areas of computer science. May be repeated for credit when the topic varies.
|
|
|
|
|
|
|
|
|
|
|
|
1-3 hrs
|
| back to top | |
|
|
|
|
|
COMP-SCI
5590
PC
Special Topics In Computer Science
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1-3 hrs
|
| back to top | |
|
|
|
COMP-SCI
5590
RS
Special Topics In Computer Science
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1-3 hrs
|
| back to top | |
|
|
COMP-SCI
5590
SK
Special Topics Computer Science
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1-3 hrs
|
| back to top | |
|
|
|
|
|
|
COMP-SCI
5592
Design And Analysis Of Algorithms
|
|
|
Combinatorial analysis, searching and sorting, shortest path algorithms, spanning trees, search and traversal techniques, backtracking, branch and bound, heuristics, algebraic simplification and transformation. Prerequisite: COMP-SCI 352.
|
|
|
|
|
|
|
|
|
|
|
|
3 hrs
|
| back to top | |
|
|
COMP-SCI
5594
Introduction To Queueing Theory
|
|
|
Review of statistics and probability, stochastic processes, Markov Processes, the basic Poisson process, equilibrium conditions, M/M/1 system with variations local and global balance in networks of queues, open and closed networks. Prerequisite: COMP-SCI 494R.
|
|
|
|
|
|
|
|
|
|
|
|
3 hrs
|
| back to top | |
|
|
COMP-SCI
5595
Mathematical Foundations Of Computer Science
|
|
|
Study of the theory, and algorithmic techniques, of the fields of graph theory, combinatorics and number theory, as they relate to their application in the field of computer science. Prerequisite: COMP-SCI 352 and COMP-SCI 494R, or Consent of Instructor.
|
|
|
|
|
|
|
|
|
|
|
|
3 hrs
|
| back to top | |
|
|
COMP-SCI
5596
A
Computer Security I: Cryptology
|
|
|
Study of theory, and algorithmic techniques, of the fields of number theory and cryptology, as they are applied in the general area of computer and network security. Prerequisites: COMP-SCI 291.
|
|
|
|
|
|
|
|
|
|
|
|
3 hrs
|
| back to top | |
|
|
COMP-SCI
5596
B
Computer Security II: Applications
|
|
|
Application of the algorithmic techniques learned in CS 596A to provide suitable security countermeasures to the variety of security threats across the spectrum of computing. Prerequisite: COMP-SCI 596A.
|
|
|
|
|
|
|
|
|
|
|
|
3 hrs
|
| back to top | |
|
|
COMP-SCI
5597
Directed Readings
|
|
|
Readings in an area selected by the graduate student in consultation with a faculty member. Arrangements must be made prior to registration.
|
|
|
|
|
|
|
|
|
|
|
|
1-3 hrs
|
| back to top | |
|
|
COMP-SCI
5598
Research Seminar
|
|
|
Graduate research based on intensive readings from the current research literature under the direction of a faculty member. Arrangements must be made prior to registration.
|
|
|
|
|
|
|
|
|
|
|
|
1-3 hrs
|
| back to top | |
|
|
COMP-SCI
5599
Research And Thesis
|
|
|
A project investigation leading to a thesis, or written report under the direction of a faculty member. A prospectus must be accepted prior to registration.
|
|
|
|
|
|
|
|
|
|
|
|
1-6 hrs
|
| back to top | |
|
|
COMP-SCI
561
Advanced Artificial Intelligence
|
|
|
AI systems and their languages, implementations and applications, case studies of various expert systems, current research topics in AI, logic programming using PROLOG. Prerequisite: CS 461.
|
|
|
|
|
|
|
|
|
|
|
|
3 hrs
|
| back to top | |
|
|
COMP-SCI
564
Inference Techniques And Knowledge Representation
|
|
|
Inference Techniques is an in-depth course of logic and automatic theorem proving, intended for Computer Science graduate students, with particular importance to those students interested in Artificial Intelligence. The main areas of study will be concerned with the principals and techniques used for automatic theorem proving. An overview of the representation of knowledge and logic, a detailed appreciation of theorem proving methods, and implementation techniques will be provided in the course. The course will provide background for further study in varying fields of A.I. Prerequisite: CS 461 or consent of instructor.
|
|
|
|
|
|
|
|
|
|
|
|
3 hrs
|
| back to top | |
|
|
COMP-SCI
5670
Architecture Of Distributed Database Systems
|
|
|
Detailed study of distributed database systems architecture, in-depth study of distributed transaction management, distributed concurrency control and recovery algorithms, database distribution, distributed query optimization and analysis of database system design, and intelligent network databases. Prerequisites: COMP-SCI 5570 or consent of instructor.
|
|
|
|
|
|
|
|
|
|
|
|
3 hrs
|
| back to top | |
|
|
COMP-SCI
5690
Advanced Special Topics
|
|
|
A lecture course presenting advanced research level topics. Prerequisite: Ph.D candidacy or consent of instructor. On demand. This course is intended to allow faculty and visiting scholars to offer special courses in selected research areas.
|
|
|
|
|
|
|
|
|
|
|
|
1-3 hrs
|
| back to top | |
|
|
COMP-SCI
5694
Advanced Queueing Theory
|
|
|
Non-Markovian systems such as M/G/1, G/M/1 and G/G/1, solutions of networks of non-Markovian nodes, queueing network approximate solution techniques. Prerequisite: COMP-SCI 5594.
|
|
|
|
|
|
|
|
|
|
|
|
3 hrs
|
| back to top | |
|
|
COMP-SCI
5697
Directed Readings
|
|
|
Readings in an area selected by the doctoral student in consultation with a doctoral faculty member. Arrangements must be made prior to registration.
|
|
|
|
|
|
|
|
|
|
|
|
1-3 hrs
|
| back to top | |
|
|
COMP-SCI
5698
Advanced Research Seminar
|
|
|
Advanced research by a group of doctoral students based on intensive readings from the current research literature under the direction of one or more doctoral faculty. Original research results of each student are exchanged by presentations and group discussion. Arrangements must be made prior to registration.
|
|
|
|
|
|
|
|
|
|
|
|
1-3 hrs
|
| back to top | |
|
|
COMP-SCI
5699
A
Research And Dissertation Research In Computer Science
|
|
|
Doctoral research in computer science.
|
|
|
|
|
|
|
|
|
|
|
|
1-12 hrs
|
| back to top | |
|
|
COMP-SCI
575
Advanced Computer Graphics
|
|
|
Review of transformations, 3D viewing, curve fitting in 3D, generation of surfaces, hidden surface elimination, scan-line coherence, rigid solid representation, shading, color theory. Prerequisite: CS 475.
|
|
|
|
|
|
|
|
|
|
|
|
3 hrs
|
| back to top | |
|
|
COMP-SCI
581
Parallel Computer Architecture I
|
|
|
Parallelism in computer architecture, pipelined processors, array processors and multi-processor systems, algorithms for SISD, SIMD, MISD and MIMD organizations, vectorization, pipelining algorithms. Prerequisite: CS 481.
|
|
|
|
|
|
|
|
|
|
|
|
3 hrs
|
| back to top | |
|
|
COMP-SCI
5899
Required Grad Enrollment
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 hr
|
| back to top | |
|
|
|
COMP-SCI
590
C
Special Topics In Computer Science
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1-3 hrs
|
| back to top | |
|
|
|
|
|
|
|
|
|
|
COMP-SCI
591
Concurrency Models
|
|
|
Concurrency control constructs, P/V primitives, cobegin/coend, monitors, message transmission, rendezvous systems, underlying mathematics of concurrent systems, Petri Nets, liveness (deadlock), reachability, boundedness, invariants, system modeling. Prerequisite: CS 431 and 493.
|
|
|
|
|
|
|
|
|
|
|
|
3 hrs
|
| back to top | |
|
|
COMP-SCI
622
Advanced Network Analysis
|
|
|
Design and analysis of data networks, comparative analysis of capacity and flow strategies, time-delay/cost trade offs, concentration and buffering in store and forward networks, random access techniques, pure, slotted and reservation type Aloha schemes, carrier sense multiple access. Prerequisite: CS 522.
|
|
|
|
|
|
|
|
|
|
|
|
3 hrs
|
| back to top | |
|
|
COMP-SCI
623
Network Simulation And Modeling
|
|
|
Simulation and modeling of network topologies and protocols, evaluation of the physical layer, data-link layer, network layer routing algorithms, local and long-haul networks. Prerequisite: CS 522 and 532.
|
|
|
|
|
|
|
|
|
|
|
|
3 hrs
|
| back to top | |
|
|
COMP-SCI
651
Distributed Computing For Software Systems
|
|
|
Formal descriptions of problems encountered in distributed computing for architecture. Parameters to formal requirements, operating system support, communications support, process synchronization, and system verification, distinctions between real time and concurrent time. The nature of life cycles, project organization and use of automated tools. Prerequisites: CS551, CS531 OR CS570.
|
|
|
|
|
|
|
|
|
|
|
|
3 hrs
|
| back to top | |
|
|
COMP-SCI
690
A
Advanced Special Topics
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1-3 hrs
|
| back to top | |
|
|
COMP-SCI
690
J
Advanced Special Topics
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1-3 hrs
|
| back to top | |
|
Graduate Courses