|
|
|||||||||||||||||
Course Catalog 2011-2012
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 |
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 % |