2-AIN-109 Programming of Parallel and Distributed Systems

Evaluation during the course: practicals

Concluding evaluation: exam

Subject aim: To give an introduction to parallel and distributive programming.

Brief curriculum of the subject:

At the beginning student will learn a simple language suitabel for parallel and distributed programming. They will learn some basics on parallel and distributive architectures and how to implement the programs on them. They will learn temporal logic based language suitable for specification and verification of the programs. On a number of examples (dinnig philosphers, Bizantine agreement, fault-tolerante protocols, shortest path etc) they will learn basic concepts and techniques of parallel and distributive programmming.

Literature:

K. M. Chandy, J. Misra: Parallel Program Design. Addison-Wesley 1988

C. Stirling: Modal and Temporal Properties of Processes, Springer 2001

D. Gruska, Úvod do paralelného programovania, www.ii.fmph.uniba.sk/~gruska

Language in which the subject is taught: Slovak

Date of the last sheet revision: 6.8.2007