|
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 |
|
|
|
|
|
|
|
|
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:
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 |
Contact teaching: 30 % Distance learning: 0 % Self-directed learning: 70 % |