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 |