Open thesis proposals
- Analysis of stochastic models via approximate lumping
Performance evaluation of computer systems is often based on Markov chains analysis. Several high-level formalisms have been defined to model software and hardware architectures whose underlying stochastic process is a Continuous Time Markov Chain.
Andrea Marin, Sabina Rossi - PEPA-K and definition of block-regular stochastic models
PEPA-K is the language used in Moebius to model computer systems. Moebius is a popular tool that allows for the performance and reliability analysis of software, hardware and telecommunication systems.
Sabina Rossi, Simonetta Balsamo
Ongoing theses
- Evaluation of the impact of garbage collection policies in the QoS and energy consumption
Many modern programming languages allow the programmer to allocate the memory in a simple and transparent way without the need of the explicit deallocation when it is not necessary anymore
Andrea Marin
