|
OHJ-4046 CONCURRENCY, ADVANCED COURSE, 3 cr
|
Courses persons responsible
Mikko Tiusanen
Lecturers
Mikko Tiusanen
Language of Instruction
Course material and exercise sessions in English, lectures in Finnish.
Implementations
| Person responsible: |
|
| Period 1 | Period 2 | Period 3 | Period 4 | Period 5 | Summer | |
| Lecture | - | - | - | - | 2 h/week | - |
| Exercise | - | - | - | - | 2 h/week | - |
| Exam | ||||||
Objectives
Having passed the course, the student knows what it means for a concurrent program to be correct and know a method to argue about the correctness of a concurrent program.
Content
| Content | Core content | Complementary knowledge | Specialist knowledge |
| 1. | The correctness of a concurrent program. |   | |
| 2. | Applying concurrency to computation. |   | |
| 3. | Classical problems of concurrent programming. |   |
Requirements for completing the course
Kotitehtävät tai tentti
Evaluation criteria for the course
Study material
| Type | Name | Auhor | ISBN | URL | Edition, availability... | Exam material | Language |
| Lecture slides | OHJ-4040 Concurrency, advanced course | Mikko Tiusanen | start of course | Yes | English |
Prerequisites
| Code | Course | Credits | M/R |
| OHJ-4016 | OHJ-4016 Concurrency | 4 | Mandatory |
| OHJ-4106 | OHJ-4106 Operating Systems | 4 | Recommendable |
Prequisite relations (Sign up to TUT Intranet required)
Remarks
Distance learning
- In information distribution via homepage, newsgroups or mailing lists, e.g. current issues, timetables
- In distributing and/or returning exercise work, material etc
- Contact teaching: 60 %
- Distance learning: 0 %
- Proportion of a student's independent study: 40 %
Scaling
| Methods of instruction | Hours |
| Lectures | 12 |
| Exercises | 40 |
| Total sum | 52 |
Principles and starting points related to the instruction and learning of the course
| Last modified | 25.02.2006 |
| Modified by | Mikko Tiusanen |