Performance Evaluation and System Verification on Computer, Communication and Distributed Systems

Modeling, design, and evaluation of performance, security, and energy efficiency in distributed systems with an emphasis on real-time multimedia streaming, cloud storage, and mobile applications.
In this context, the exploitation of information coding techniques plays a key role to achieve all design goals.
Evaluation methodologies include theoretical analysis, mathematical modeling, measurement, simulation, and prototyping.

SUGGESTIONS

energy-aware concurrent programming models

Energy-aware concurrent programming models

Most of the future computing systems' performance will be limited by power. This is expected to hold from mobile devices to parallel high-performance computing. Energy is not exclusively a hardware issue but it largely depends on programming models and algorithms that will be required to be energy-aware.

vrification and dependability for systems we can rely upon

Verification and dependability for systems we can rely upon

Research in this area should address at least one of the following: model-checking based verification, probabilistic verification, or, better, a combination of the two. An added value is the consideration of target applications characterized by adaptivity (in particular when the application behaviour adapts itself to "human factors").