Skip header content and main navigation Binghamton University, State University of New York - Watson
 

Graduate Course Description

Computer Science Colloquium Series & Computer Science Seminar - Spring 2003

This is a complete list of courses that also appears in the University Bulletin. Not every course can be offered every semester or, in some cases, not even every academic year.

CS 511 - Design Automation In Digital Systems
Prerequisite: CS 210 or knowledge of logic design
Course Description: Principles for efficient computer-aided design; computer hardware description languages; hardware compiler (translator); system and logic level simulation; test generation, design verification, computer-aided logic design; physical construction.

CS 512 - Diagnosis And Reliable Design Of Digital Systems I
Prerequisite: CS 210
Course Description: CMOS layout design rules, CMOS logic families, basic cell designs (gates, latches, memory cells, etc.), floor planning. Project involves use of VLSI design tools to design a small chip (such as a small CPU, associative memory, array multiplier) that will eventually be fabricated using the MOSIS facilities.

CS 514 - INTRODUCTION TO VLSI DESIGN
Prerequisite: CS 210 or knowledge of logic design
Course Description: Principles for efficient computer-aided design; computer hardware description languages; hardware compiler (translator); system and logic level simulation; test generation, design verification, computer-aided logic design; physical construction.

CS 515 - VLSI PROCESSOR DESIGN
Prerequisite: CS 514 (alternatives not acceptable)
Course Description: Advanced issues in VLSI microprocessor design: datapath and control design techniques and tradeoffs, using cell libraries of datapath components. Team project involves the specification, design, and implementation of a (pipeline) RISC CPU that will eventually be fabricated using the MOSIS facilities.

CS 522 - COMPUTER ARCHITECTURE AND ORGANIZATION
Prerequisite: CS 325
Course Description: Pipelined processors: basic theory, instruction pieplines, multifunction units, instruction scheduling, precise interrupts. Pipelined vector machines. Superscalar and VLIW architectures. High-speed memory system design. Overview of parallel architectures: SIMD/MIMD systems, interconnection networks, synchronization and cache coherence.

CS 524 - MICROCOMPUTER SYSTEMS
Prerequisite: CS 323
Course Description: Advanced concepts in microprocessor systems such as interrupt handling, A-D and D-A conversion, programmable peripheral controllers, caches, multitasking, protection, memory management and virtual memory. Laboratory work will involve construction of a non-trivial microprocessor system.

CS 528 - COMPUTER NETWORKS AND DATA COMMUNICATIONS
Prerequisite: CS 350 and some probability theory
Course Description: Survey of computer communication networks. Fundamental concepts of circuit and packet switching, local and remote networks, OSI reference model, protocols and network control algorithms.

CS 532 - DATABASE SYSTEMS
Prerequisite: CS 333
Course Description: Associations between data elements and data models: entity-relationship, relational, and object-oriented. Relational database design techniques. Formal and commercial query languages. Introduction to query processing, transaction management, and concurrency control.

CS 533 - INFORMATION RETRIEVAL
Prerequisite: CS 333
Course Description: Indexing and data structures for storing and searching the index. Boolean, statistical, inference nets and knowledge based models. Thesaurus construction. Query expansion. Natural language and linguistic techniques. Evaluation. Distributed information retrieval. Information integration and fusion. Dissemination of information. Summaries, themes and reading tours. Hypertext. Internet tools. Intelligent agents. Digital Libraries.

CS 545 -SOFIWARE ENGINEERING
Prerequisite: CS 333
Course Description: Techniques for software development. Software life cycles. Software cost factors, estimation techniques. Software design concepts; design methodologies, notations. Language support for life-cycle; software verification, testing. Individual, team software design projects.

CS 546 - SOFTWARE ENGINEERING ANALYSIS
Prerequisite: CS 333
Course Description: Analytic methodologies associated with software engineering and its application to large projects. Software economics, verification and testing, software metrics, performance, design of experiments.

CS 548 - INTRODUCTION TO MULTIMEDIA SYSTEMS
Prerequisite: CS 333 or equivalent
Course Description: Multimedia's opportunities, problems, and solutions. Creating and interacting with video and audio, as well as with text, data, and graphics.

Binghamton University State University of New York
PO BOX 6001 Binghamton, NY 13902-6001
About This Site Employment Opportunities

Last Updated: 9/23/09