Course Catalog 2010-2011
International

Basic Pori International Postgraduate Open University

|Degrees|     |Study blocks|     |Courses|    

Course Catalog 2010-2011

OHJ-4046 Concurrency, Advanced Course, 3 cr

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 2010-01 Tuesday 12 - 14, TB216
Wednesday 12 - 14, TB216

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    

Prerequisite relations (Requires logging in to POP)

Correspondence of content

There is no equivalence with any other courses

Additional information

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

More precise information per implementation

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

Last modified30.01.2011