Course Catalog 2007-2008

OHJ-4046 CONCURRENCY, ADVANCED COURSE, 3 cr
Concurrency, Advanced Course

Courses persons responsible
Mikko Tiusanen

Lecturers
Mikko Tiusanen

Implementations
  Period 1 Period 2 Period 3 Period 4 Period 5 Summer
Lecture - - - - 2 h/week -
Exercise - - - - 2 h/week -
Exam  
(Timetable for academic year 2007-2008)

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
Homework or exam.

Evaluation criteria for the course

  • Exam or graded homework problems. The grade received based on homework problems can be replaced or improved by taking the exam.

  • Used assessment scale is numeric (1-5)

    • 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-2500 OHJ-2500 Program Verification 5 Recommendable
    OHJ-4016 OHJ-4016 Concurrency 4 Mandatory
    OHJ-4106 OHJ-4106 Operating Systems 4 Recommendable

    Prequisite relations (Sign up to TUT Intranet required)

    Remarks

  • Partial passing of course must be in connection with the same round of implementation.

  • The course is suitable for postgraduate studies.

    • Distance learning

  • ITC utilized during the course

    • - In information distribution via homepage, newsgroups or mailing lists, e.g. current issues, timetables
    - In compiling exercise, group or laboratory work
    - In distributing and/or returning exercise work, material etc

  • Estimate as a percentage of the implementation of the course

    • - Contact teaching: 25 %
    - Distance learning: 0 %
    - Proportion of a student's independent study: 75 %

    Scaling
    Methods of instructionHours
    Lectures 14
    Exercises 10
    Assignments 30

    Study materials Hours
    Lecture notes 24

    Other scaledHours
    New tools and study methods 10
    Total sum 88

    Principles and starting points related to the instruction and learning of the course

  • Based on the homework, the exercise sessions will complement the lectures. An on-line feedback form will be made available.

    • Course homepage

    Last modified 28.01.2007
    Modified byMikko Tiusanen