Course Catalog 2008-2009 International Basic Pori International Postgraduate Open University |Degrees|     |Study blocks|     |Courses|

Course´s person responsible

Mikko Tiusanen

Implementations

	Lecture times and places	Target group recommended to
Implementation 1

Requirements

Homework or exam.
Completion parts must belong to the same implementation

Principles and baselines related to teaching and learning

-

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.	Goals for proving correctness of a concurrent program.	Proving correctness of a concurrent program.
2.	Applying concurrency to computation.
3.	Classical problems of concurrent programming.

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.

Assessment scale:

Numerical evaluation scale (1-5) will be used on the course

Partial passing:

Completion parts must belong to the same implementation

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

Additional information

See http://www.cs.tut.fi/kurssit/OHJ-4046/

More precise information per implementation

	Description	Methods of instruction	Implementation
Implementation 1		Lectures Excercises ITC Utilization Practical works	Contact teaching: 30 % Distance learning: 0 % Self-directed learning: 70 %

Last modified	05.08.2008
Modifier	Mikko Tiusanen