Software Engineering

Compare

Overview Introduction - Overview of Phases - Requirements Engineering / Specification - Formal Specification - Algebraic Specification Methods

Digital Computer Organization

Compare

Overview Digital Computer Organization, CPU Design, Timing and Control, Micro-programmed Control, Pipeline Concept, Pipeline CPU, Memory Organization, Cache Memory Architecture, RAM Architecture, DAM Architecture Buffer Cache and Secondary Storage Organization.

Digital Systems Design

Compare

Overview Introduction, Digital Logic, Boolean Algebra, Boolean Function Minimization, Design of Combinational Circuits, Logic Design with PLA, Synchronous Sequential Circuit Design, Finite State Machine Design, Programmable Logic Devices, Design of Computer Instruction Set and the CPU.

Introduction to Computer Science and Programming

Compare

Overview Introduction-Operators and operands; statements; branching, conditionals, and iteration-Common code patterns: iterative programs

Structure and Interpretation of Computer Programs

Compare

Overview Overview and Introduction to Lisp - Procedures and Processes; Substitution Model - Higher-order Procedures - Compound Data - Henderson Escher Example - Symbolic Differentiation; Quotation - Pattern Matching and Rule-based Substitution - Generic Operators - Assignment, State, and Side-effect - Computational Objects - Streams - Metacircular Evaluator - Logic Programming - Register Machines - Compilation - Storage Allocation and Garbage Collection

Computer System Engineering

Compare

Overview Naming - Fault Isolation with Clients and Servers - Virtualization and Virtual Memory - Virtual Processors: Threads and Coordination - Performance - Introduction to Networks - Layering and Link Layer - Network Layer, Routing - End-to-end Layer - Congestion Control - Distributed Naming - Reliability - Atomicity Concepts - Recoverability - Isolation - Transactions and Consistency - Multi-site Atomicity - Security Introduction - Authentication - Authorization and Confidentiality - Advanced Authentication - Complex, Trusted Systems

Computer Systems Laboratory Colloquium

Compare

Computer Systems Laboratory Colloquium is a Stanford University course that features weekly speakers on current research and developments in computer systems. Topics touch upon all aspects of computer science and engineering including logic design, computer organization and architecture, software engineering, computer applications, public policy, and the social, business, and financial implications of technology.

Higher Computing

Compare

Overview This is the introductory course for computer science at UNSW. This course consists of three strands: programming, systems, and general computer

Design in Computing

Compare

Overview This is the third computing course taken by undergrads at UNSW. OO Design, Algorithm Design, using java.