Untitled - University of New Orleans
Untitled - University of New Orleans
Untitled - University of New Orleans
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
who elect to fulfill the thesis degree requirements. Section number<br />
will correspond with credit to be earned.<br />
CSCI 6101 Theory <strong>of</strong> Algrthm & Complexity<br />
3 cr.<br />
Prerequisites: CSCI 4101 or consent <strong>of</strong> department. Advanced study<br />
<strong>of</strong> algorithms and their complexity; the notions <strong>of</strong> time and space<br />
complexity; design methods, including divide and conquer, and the<br />
greedy method; polynomial and nondeterministic polynomial algorithms;<br />
the class <strong>of</strong> NP-complete algorithms.<br />
CSCI 6110 Appl Combinatorics & Grph Thry<br />
3 cr.<br />
Prerequisites: CSCI 4101 or consent <strong>of</strong> department. A study <strong>of</strong> combinatorial<br />
and graph theoretic techniques for complexity analysis.<br />
Includes generating functions, recurrence relations, Polya’s theory<br />
<strong>of</strong> counting, planar directed and undirected graphs, and NP-complete<br />
problems <strong>of</strong> combinatorial or graph-theoretic nature. Application<br />
<strong>of</strong> techniques to analysis <strong>of</strong> algorithms in graph theory, as<br />
well as more general problems, such as sorting and searching.<br />
CSCI 6120 Theory <strong>of</strong> Computation<br />
3 cr.<br />
Prerequisites: CSCI 3102 or consent <strong>of</strong> department. A survey <strong>of</strong> formal<br />
models for computation. Includes Turing machines, partial<br />
recursive functions, recursive and recursively enumerable sets, the<br />
recursion theorem, Church’s thesis, Godel numbering, computational<br />
complexity, uncomputability, intractability, and unsolvability.<br />
CSCI 6130 Data Encrypt/Cryptology<br />
3 cr.<br />
Prerequisites: CSCI 4101 and MATH 2511 or consent <strong>of</strong> instructor. A<br />
study <strong>of</strong> the methods used in data encryption and related cryptologic<br />
problems. The history <strong>of</strong> early cryptography, including the<br />
Caesar shift, Vigenere table, Playfair square, and Enigma machines.<br />
Modern cryptographic problems, including the Data Encryption<br />
Standard, the key management problem, the public-key encryption,<br />
knapsack methods, number-theoretic methods, and the Rivest-<br />
Shamir-Adelman public-key cryptosystem, digital signature, the<br />
Digital Signature Standard, and cryptanalysis <strong>of</strong> knapsacks. Other<br />
cryptologic problems, including threshold schemes, zero-knowledge<br />
protocols, mental poker, and implementations on uniprocessor<br />
machines, networks, and parallel machines.<br />
CSCI 6140 Formal Languages<br />
3 cr.<br />
Prerequisite: CSCI 4103 or consent <strong>of</strong> department. Theory and application<br />
<strong>of</strong> formal language systems and automata. Emphasis will<br />
be placed on formal systems, the languages they generate, and<br />
techniques used to parse strings in those languages.<br />
CSCI 6230 Distributed Database Systems<br />
3 cr.<br />
Prerequisites: CSCI 4125 and 4311 or consent <strong>of</strong> department. A consideration<br />
<strong>of</strong> the problems and opportunities inherent in distributed<br />
databases on a network computer system. Includes distributed<br />
database design, optimization <strong>of</strong> access strategies, distributed<br />
concurrency control, recovery in distributed databases, distributed<br />
database administration, commercial systems.<br />
CSCI 6330 VLSI Circuit Design<br />
3 cr.<br />
Prerequisite: CSCI 4302 and 4401. A review <strong>of</strong> microelectronics and<br />
an introduction to MOS technology, basic electrical properties <strong>of</strong><br />
MOS circuits, MOS circuit design processes, subsystem design and<br />
layout, scaling <strong>of</strong> MOS circuits, aspects <strong>of</strong> system design and timing,<br />
structured design and testing, MOS design projects.<br />
CSCI 6331 Advanced VLSI Design<br />
3 cr.<br />
Prerequisite: CSCI 6330 or consent <strong>of</strong> department. Design <strong>of</strong> large<br />
digital VLSI (Very Large Scale Integration) systems using modern<br />
CAD tools and state-<strong>of</strong>-the-art testing and characterization<br />
systems.<br />
CSCI 6340 Parallel Machines<br />
3 cr.<br />
Prerequisite: CSCI 4401 and 4302 or consent <strong>of</strong> department. An<br />
investigation <strong>of</strong> modern parallel processing computers and generally<br />
those designed on non-vonNeumann architectures.<br />
CSCI 6350 Dev <strong>of</strong> Distributed S<strong>of</strong>tware<br />
3 cr.<br />
Prerequisite: CSCI 4401 or consent <strong>of</strong> the department. This course<br />
provides a systematic study <strong>of</strong> concepts, methodologies, models and<br />
methods that specifically address problems in the development<br />
<strong>of</strong> distributed s<strong>of</strong>tware. The topics include architectural design<br />
for distributed applications, distributed object models, interface<br />
definition languages, concurrent task structuring, modeling for<br />
dynamic behavior, and static analysis and debugging for distributed<br />
programs.<br />
CSCI 6361 Topics in Mobile Computing<br />
3 cr.<br />
Prerequisite: CSCI 4401 or consent <strong>of</strong> department. This course provides<br />
an introduction to major topics in mobile computing, including<br />
s<strong>of</strong>tware engineering issues for resource-constrained devices<br />
(e.g. cellular phones, palmtops), mobile databases, fault tolerance,<br />
service discovery, and wireless networking. The course has substantial<br />
theoretical and applied components. Students will be required<br />
to develop a non-trivial mobile application and prepare a class<br />
presentation on a topic in mobile computing.<br />
CSCI 6401 Concurrent Programming<br />
3 cr.<br />
Prerequisite: CSCI 4401 or consent <strong>of</strong> department. A systematic<br />
study <strong>of</strong> concepts, theories, methods and algorithms that specifically<br />
address problems in distributed programming. Topics include<br />
concurrency, interference, monitors and distributed programming<br />
issues, such as: synchronous and asynchronous message passing,<br />
remote procedure call, and rendezvous.<br />
CSCI 6410 Performance Analysis Comp Syst<br />
3 cr.<br />
Prerequisite: CSCI 4401 or consent <strong>of</strong> the department. This course<br />
will examine models for the analysis <strong>of</strong> performance <strong>of</strong> computer<br />
systems. Topics include stochastic processes, discrete and continuous<br />
Markov chains, queuing models, and stochastic Petri models. These<br />
models will be applied to uni- and multiprocessor systems, including<br />
crossbar multiprocessor architectures, single- and multi-bus<br />
multiprocessors with external and distributed common memory.<br />
CSCI 6411 Top Fault Tolerance Reliability<br />
3 cr.<br />
Prerequisite CSCI 4401 or consent <strong>of</strong> department. This course provides<br />
an introduction to major topics in fault tolerance and reliability,<br />
concentrating on distributed systems. These topics include<br />
failure modes, failure detection, logical time systems for distributed<br />
systems, N-version programming, checkpointing, optimistic and<br />
pessimistic logging schemes, s<strong>of</strong>tware engineering issues in designing<br />
fault tolerant and reliable s<strong>of</strong>tware, and schemes for reliable<br />
communication. Students will be required to develop a non-trivial<br />
reliable distributed application and prepare a class presentation on<br />
a topic in reliability .<br />
CSCI 6450 Principles Distributed Systems<br />
3 cr.<br />
Prerequisite: CSCI 4401. A study <strong>of</strong> the concepts and design principles<br />
used in the construction <strong>of</strong> distributed computer systems.<br />
Topics include architecture and design goals; distributed time management;<br />
state and deadlock detection; name resolution; synchronization,<br />
mutual exclusion, and communication; collaborating servers;<br />
protection and security; error recovery.<br />
CSCI 6501 Formal Methods Prog Language<br />
3 cr.<br />
Prerequisite: CSCI 4501. Formal definitions and specifications for the<br />
semantics <strong>of</strong> programming languages including lambda-calculus,<br />
domain theory, and denotational descriptions <strong>of</strong> common programming<br />
language concepts.<br />
<strong>University</strong> <strong>of</strong> <strong>New</strong> <strong>Orleans</strong>/181