Programming of Parallel and Distributed Systems 2-AIN-109
Programming of Parallel and Distributed Systems 2-AIN-109
| Course name and code: | Programming of Parallel and Distributed Systems (2-AIN-109) |
| Prerequisite courses: | none |
| Available in/recommended study year: | Summer semester / 1 |
| Form and # of hours/week: | L - lecture (3), P - practicals (1) |
| Credits: | 4 |
| Evaluation (semester/exam): | 40/60 |
| Course webpage: | not available |
| Information sheet: | 2-AIN-109 information sheet |
| Teacher(s): | doc. RNDr. Damas Gruska, PhD. |
| E-mail: | gruska ii.fmph.uniba.sk
|
| Homepage(s): | http://ii.fmph.uniba.sk/~gruska/ |
Short description:
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.
Offered in these study programs: Obligatory in Master program in Applied Informatics
Recommendations: none