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