دليل المواد | الشئون الأكاديمية

The objective of this course is to gain an understanding of various issues in designing an optical network. Topics include SONET/SDH, wavelength division multiplexing, framing techniques, traffic grooming, multiple access protocols, virtual topology design, routing and wavelength assignment, protection and restoration, and optical packet switching.

Studies key concepts, systems, and algorithms to reliably communicate data. Lecture topics cover three modules: bits, signals and packets. The bits module covers information, entropy, data compression algorithms, and error correction with block and convolutional codes. The signals module covers modeling of physical channels and noise, signal design, filtering and detection, modulation, and multiplexing. The packets module includes switching and queuing principles, multimedia networking, network management and advanced state of the art network architectures.

Introduction to the design, architecture and implementation of client and server programs in the client-server model of computing. Overview of the TCP/IP suite of protocols and some application specific protocols. Sockets programming, client/server, peer-to-peer, Internet addressing, TCP sockets, UDP sockets. Multithreading and exception handling. Interprocess communication and network programming interfaces. Server architectures. Use of scripting languages in providing client-side and server-side processing in web based applications. Security issues.

The goal of this course is to provide students with the necessary background needed in order to understand the different aspects of information security today. The course will give a broad overview of the essential ideas as well as the methods needed for providing and evaluating security in information processing systems (operating systems and applications, networks, protocols, etc.). The syllabus will cover foundational technical concepts (basic cryptology, access control principles, operating systems and database security, network security, etc.) as well as managerial (incident and risk management, business continuity, etc.) and policy ones.

Computer arithmetic deals with the hardware realization of arithmetic functions to support various computer architectures as well as with arithmetic algorithms for firmware/software implementation. A major thrust of digital computer arithmetic is the design of hardware algorithms and circuits to enhance the speed of various numeric operations. Standard and unconventional number representations. Design of fast two-operand and multi-operand adders. High-speed multiplication and division algorithms. Floating-point numbers, algorithms, and errors. Hardware algorithms for function evaluation.

The course encompasses the theoretical and practical aspects of digital systems testing and the design of easily testable circuits. Major topics include defect, fault modeling, test generation for combinational and sequential circuits, test measures and costs, functional and parametric test methods, single stuck-at model, design for testability, scan-path design, built-in self-tests, and concurrent testing. In addition, the course introduces students to ATPG tools and their usage in fault simulation, test, and diagnosis of combinational circuits.

This course will provide an introduction to the tools used to design and analyze digital circuits, including the design of exact and heuristic algorithms that form the basis for VLSI Computer-Aided-Design. Topics covered include partitioning problems, floor planning problem, placement problems, and interconnection of elements -Net selection -Minimal spanning trees -Steiner trees. Layering ordering, pin assignment, and routing algorithms.

This course provides students with a solid understanding of fundamental architectural techniques used in today\'s high-performance processors and systems. Course topics include memory hierarchies (caches and virtual memory), cache coherence, instruction level parallelism, parallel architectures classification, vector processing, introduction to shared memory multiprocessors, multithreading, multicore, GPU. Parallel programming models and multiprocessors network topologies. An emphasis will be both on hardware and software issues specially related to parallel programming.

Hands-on design and implementation of computer system design. Use of CAD tools for schematic capture and Verilog HDL based simulation and synthesis. Design and implementation of data path functional units and I/O subsystem of traditional computer systems using sophisticated logic devices such as CPLDs and FPGAs.

This course addresses design, modeling, analysis, and integration of hardware and software to achieve dependable computing systems employing on-line fault-tolerance. It covers the concepts and terminologies of Fault-Tolerant System Design including: reliability, dependability, maintainability, redundancy, damage confinement, error recovery, fault treatment, redundancy management, voting, information redundancy, combinatorial and sequential network testing, error detecting and correcting codes, self-checking circuits, and diagnostic theory.

Propositional and predicate logics: syntax and semantics, validity and inference, etc. Deductive tableaux notation and its rules: resolution, equality, equivalence, and rewriting. Axiomatic theories and theories with induction. Verification of implementation and specification using deductive tableaux.

Principles and practices involved in the design, implementation, testing, and evaluation of standard-cell ASIC chips using automated state-of-the-art CAD tools. Topics include hardware description languages, CMOS logic, Finite state machine theory and implementation, and interconnect fundamentals, chip design methodologies, automated cell-based design, CAD algorithms, details of accurately modeling ASIC delay, energy, and area, robustness issues, testing, verification, and debugging, power distribution and clocking, packaging and I/O.

This course is a study of techniques and processes for the design of digital systems. The focus is on the design of system modules derived from functional and interface specifications. A progression of designs, culminating in the design of a digital central processing unit and its peripheral units, will be used to illustrate both design and test techniques and procedures. This course will use a modern high level Hardware Design Language (HDL) as the main design tool. While implementation at the logic component (gate) level will be considered, the focus will be on system-level design and higher level behavioral modeling.

This course is designed for freshmen in Software Engineering major to introduce them to the fundamentals of the software engineering testing process, the quality assurance process and its role in software development, and the impact of ISO 9000 and the capability maturity model on software quality and testing. Students are asked to demonstrate proficiency in managing a software project to customer requirements and proficiency in quality assurance and testing through class exercises and homework assignments.

This course is designed for freshmen in Software Engineering majors to introduce them with an in-depth study of current research and practice in requirements elicitation, requirements analysis, requirements specifications, requirements verification and validation, and requirements management.