Sarita Mazzini Bruschi

Learn More
This paper presents two extensions for Statecharts: the Stochastic Statecharts, which use the original statecharts notation with a minor modification in the formal semantics and the Queuing Statecharts, which do not follow the pure Statecharts notation, but a join between Statecharts and queuing network representations. Some basic elements of Statecharts(More)
This paper presents the performance evaluation of a CMB (Chandy-Misra-Bryant) protocol from the perspective of execution time. The performance of each logical process in simulation is measured. Our evaluation shows that logical processes can have different behaviors and different protocols can be used simultaneously in simulations. While some logical(More)
Developing a sequential simulation program is not an easy task. Developing a distributed simulation program is harder than a sequential one because it is necessary to deal with mapping physical processes into logical processes, communication and synchronization problems and learn another simulation language/library. In literature, several simulation(More)
This article aims to evaluate the flexibility of GreenMACC (Metascheduling Green Architecture to Provide Quality of Service in Cloud Computing). The GreenMACC has a module called LRAM (Local Resource Allocation Manager) to automate the execution of all scheduling policies implemented in the architecture. This module enables the Meta-scheduler automatically(More)