Offered through SUAbroad by educational institution outside the United States. Student registers for the course at the foreign institution and is graded according to that institution's practice. SUAbroad works with the S.U. academic department to assign the appropriate course level, title, and grade for the student's transcript.

Behavioral and structural design methods and examples using a hardware description language (VHDL). Control, arithmetic, bus systems, memory systems. Logic synthesis from hardware language descriptions.

DBMS building blocks; entity-relationship and relational models; SQL/Oracle; integrity constraints; database design; file structures; indexing; query processing; transactions and recovery; overview of object relational DBMS, data warehouses, data mining.

Exploration of a problem, or problems, in depth. Individual independent study upon a plan submitted by the student. Admission by consent of supervising instructor(s) and the department.

Students work on special projects. Instructors present new or special material.

Mathematical logic including predicate calculus, induction, theories with equality relations and groups. Mathematical logic applied to structures like nonnegative integers, tuples, lists, and trees.

Virtualized data centers, including virtual machine management, power management, and networking; cloud computing applications; and mobile cloud computing.

Mathematical fundamentals of classification models; deep neural networks; convolutional and recurrent neural networks; analysis, implementation and acceleration of inference and learning; and state-of-art applications on high-performance computing platforms.

Foundational theory, concepts, and computer-assisted reasoning tools necessary for assurance. Topics include functional programming, theorem proving, and logic for reasoning about access control, security, and trust.

A variety of subjects surveyed or a particular subject in depth. Additional coursework required of graduate students.

Operating system security. Unix security. Trusted Computing Base. Authentication. Access control. Security models. Capability. Sandboxing. Software vulnerabilities. Worms. Viruses. Secure engineering principles. Secure programming. Auditing. Forensics.

Internet architecture. Security and attacks on TCP/IP, DNS, and BGP protocols. Internet protocol security. Firewall. Intrusion detection. Network traceback. Web security. Encryption. Public Key infrastructure. One-way harsh function. Digital signature. Security protocols.

Development of applications for different mobile devices. Creating effective user interfaces, efficient use of persistent storage, network services, GPS, maps and sensors. Additional work required of graduate students.

Development of system components with provable functional properties. Students gain hands-on experience walking the virtuous cycle of executable specifications, formal verification, and translation of specifications into a mainstream language.

Data network design principles. Performance, modeling, and analysis of networks. Delay models. Multi-access communications. Routing and flow control algorithms. Familiarity with basics of data networks.

Advanced computer architecture including discussion of instruction set design (RISC and CISC), virtual memory system design, memory hierarchies, cache memories, pipelining, vector processing, I/O subsystems, co-processors, and multiprocessor architectures. Case studies of current systems.

Design principles and fabrication of computer chips. Standard cell based system-on-chip design, top down design flow, RT level design and synthesis, pipelining and performance analysis, software-hardware co-design and co-simulation.

Become familiar with Field Programmable Gate Arrays architecture, programming and applications. A hands-on learning experience using commercially available development kits. Use the FPGA platform as a System on Chip in a parallel computing environment.

Participation in a discipline or subject related experience. Student must be evaluated by written or oral reports or an examination. Permission in advance with the consent of the department chairperson, instructor, and dean. Limited to those in good academic standing.

Methodologies for systematic design of embedded systems. System specification, architecture modeling, component partitioning, estimation metrics, hardware software co-design. Embedded computing platforms and programming. ASIC, CPU, and glue logic. Individual project required.

Internals of all major data structures. Algorithms for sorting, balancing trees, graph querying, hashing and compression are discussed. Cache effects. Parallel algorithms.

Project-based course covering software modeling, architecture, design, and implementation using diagramming, analysis tools, and common sense engineering methods to analyze performance of concurrent, message-driven systems.

Requirements and specifications including tools such as PSL/PSA, SREM, design techniques; Functional decomposition; data flow; data structure, theoretical issues in testing, testing strategies: path; domain; mutation and error specific, cost and reliability models.

Production rules, forward/backward chaining, Rete algorithm, structured objects, introduction to an expert system language/shell, probabilistic inference networks, fuzzy logic, knowledge acquisition, and explanation generation. Programming project or term paper required.

Knowledge representation, production systems, search algorithms, game playing, uncertainty handling, learning, automated reasoning, computer vision, and natural language processing. Programming project or term paper required for CIS 667, not for CIS 467.

A laboratory projects course. Programming models on web clients and servers. Topics include: browser and server object models, tagged languages, emphasizing HTML and XML, ASP programming, and database connectivity.

Basic methods of object oriented software design and implementation. Object oriented software engineering methodologies: specification, hierarchical decomposition, reuse and extensibility. Implementation of projects in object oriented programming language and analysis of design case studies.

Exploration of a problem, or problems, in depth. Individual independent study upon a plan submitted by the student. Admission by consent of supervising instructor(s) and the department.

Topics vary and represent current interests in computer engineering.

Delay modeling and timing analysis of interconnections and gates. Critical path analysis and delay budgeting. Buffer insertion and device sizing. Switch and circuit level simulations.

Distributed systems modeling using languages such as ADA and CSP. Issues of concurrency control, deadlocks, synchronization,resource allocation, failure recovery and knowledge representation in distributed operating systems, data bases and AI systems; including case studies.

Issues in design and synthesis of modern VLSI systems from abstract high-level behavioral specifications: temporal and spatial optimizations, synthesis for low power, reconfigurale computing, (digital/analog and SW/HW) co-design, formal specification and verification.

Concepts, methods, and technology for effective verification of complex systems. Coverage metrics, event- and assertion-based verification, and formal methods including model checking and logical equivalence checking. Testing strategies, architecting testbenches, and design for verification.

Theoretical aspects and algebraic structure of sequential machines. Characterization of complete and incomplete machines, decomposition, and state assignment problems. Deterministic and nondeterministic finite state machines and regular expressions. Linear machines and machine identification.

Physical circuit failures and fault models. Test generation algorithms. Fault stimulation and fault coverage. Random pattern testing. Sequential circuit testing. Test application and response processing techniques. Memory, PLA, and function testing. Design for test.

This course teaches the theory, practice, and tools for using higher-order logic as a means for describing, designing, and verifying computer systems.

Specification, verification, and design of secure networks using formal logic. Includes historical access control models, role-based access control, and logics for reasoning about authentication, authorization, audit, delegation, and trust.

Design and implement software components using the Component Object Model (COM). Students will develop programs with COM components, ActiveX controls, and distributed applications.

A seminar course based on the book "Design Patterns." Object oriented design methods emphasizing conceptual understanding rather than software development projects.

Seminar/projects course including: MFC library; windows architecture Graphics Device Interface; common, ActiveX, and Explorer controls; bitmaps; property sheets; toolbars; and status bars.

Group discussion of papers in the field. Data and storage structures, interrogation and update, data base creation, architectural alternatives, problem specification languages, and modeling and optimization. Research proposal required.

Need of models and metrics; software science; cyclomatic complexity; and extensions; error analysis; reliability, cost and productivity models.

Applied software engineering and project management. Students are expected to analyze, plan, design, implement, test, and evaluate original software system to stand alone or be integrated into an existing environment. All work performed in teams.

Knowledge discovery process, data warehouses, OLAP, data mining inference based on statistics and machine learning, rule generation; emphasis on analytical aspects; applications.

Computer aids for automatic physical design of digital systems. Algorithms for partitioning, placement, wire routing, layout compaction, etc. Programming competence required.

Computer aids for automatic logic design. Heuristic algorithms for single and multiple output, two-level and multiple-level logic minimization, logic synthesis, design verification, simulation and formal methods, hardware accelerators.

Exploration of a problem, or problems, in depth. Individual independent study upon a plan submitted by the student. Admission by consent of supervising instructor(s) and the department.

Topics vary and represent current interests in computer engineering.

Seminar on the design and analysis of very large scale integrate circuits and systems. Opportunities for chip fabrication and testing.

Exploration of a problem, or problems, in depth. Individual independent study upon a plan submitted by the student. Admission by permission of supervising instructor or instructor and the department.

Work on special projects. Instructor presents new or special material.

Participation in a discipline or subject related experience. Student must be evaluated by written or oral reports or an examination. Permission in advance with the consent of the department chairperson, instructor, and dean. Limited to those in good academic standing.

Exploration of a problem, or problems, in depth. Individual independent study upon a plan submitted by the student. Admission by consent of supervising instructor(s) and the department.

Independent investigation or original research on engineering problem under faculty supervision.

Engineering investigation or analysis and evaluation of a journal paper. Written report in accordance with current departmental guidelines. Required of all students electing the nonthesis option for the master's degree.

Independent investigation on a topic of interest under supervision of a member of the graduate school faculty. Credit to be arranged.

Research on a doctoral dissertation under the supervision of a member of the graduate school faculty. Credit to be arranged.