Objectives
The course deals with methodologies and techniques for the design of run-time supports for programming and application paradigms in distributed systems, according to approaches based on abstract architectures and cost models for computation and communication. General methodologies and techniques are presented in the general case, as well as relevant case studies which can be defined and modified in distinct years.

Syllabus
1. Abstract architectures and cost models for distributed systems
2. Methodologies and techniques for static analysis of distributed applications
3. Methodologies and techniques for run-time analysis of distributed applications
4. Design of run-time supports and optimizations
5. Configuration, inizialization, and execution tools
6. Case studies.

Course structure
6 CFUs. Exam consists in a written and an oral part.