Course Catalog 2012-2013
International

Basic Pori International Postgraduate Open University

|Degrees|     |Study blocks|     |Courses|    

Course Catalog 2012-2013

OHJ-4046 Concurrency, Advanced Course, 3 cr

Additional information

See http://www.cs.tut.fi/kurssit/OHJ-4046/
Suitable for postgraduate studies

Person responsible

Mikko Tiusanen

Lessons

Study type P1 P2 P3 P4 Summer Implementations Lecture times and places
Lectures
Excercises


 


 


 
 2 h/week
 2 h/week


 
OHJ-4046 2012-01 Monday 12 - 14, TC128

Requirements

Seminar, exam, and/or homework. May vary from instance to another.
Completion parts must belong to the same implementation

Principles and baselines related to teaching and learning

-

Learning outcomes

Having passed the course, the student knows the problem of formulating a distributed algorithm and some methods or models to solve this.

Content

Content Core content Complementary knowledge Specialist knowledge
1. The correctness of a concurrent program.     
2. Formulating a distributed algorithm.  Models of distributed computation.  Relationships among models of distributed computation. 

Evaluation criteria for the course

Seminar, exam, and/or homework; can vary according to each instance of the course.

Assessment scale:

Numerical evaluation scale (1-5) will be used on the course

Partial passing:

Completion parts must belong to the same implementation

Study material

Type Name Author ISBN URL Edition, availability, ... Examination material Language
Lecture slides   OHJ-4040 Concurrency, advanced course   Mikko Tiusanen       start of course      English  

Prerequisites

Course Mandatory/Advisable Description
OHJ-2506 Program Verification Advisable    
OHJ-4010 Concurrency Mandatory    
OHJ-4100 Operating Systems Advisable    

Additional information about prerequisites
English or Finnish versions.

Prerequisite relations (Requires logging in to POP)

Correspondence of content

There is no equivalence with any other courses

More precise information per implementation

Implementation Description Methods of instruction Implementation
OHJ-4046 2012-01       Contact teaching: 30 %
Distance learning: 0 %
Self-directed learning: 70 %  

Last modified23.02.2012