MoDCS Research Group

Welcome to the Modeling of Distributed and Concurrent Systems page maintained by Paulo Maciel.

Our main research interest is devoted to formal timing modeling and evaluation of systems. Over the last years, our group has investigated a large sort of systems that encompasses real time and power aware embedded systems, data center systems, outbound logistic distribution, virtual workload generation for capacity planning and reliability and availability studies on electrical generation and distribution companies.

Our research themes are:

• Stochastic Petri Nets
• Performance Modelling
• Embeded/Critical/Real-Time System Modelling
• Capacity Planning
• Dependability modeling
• Software Aging in Cloud Computing

SEMISH 2012 – 39th Seminar on Hardware and Software

http://www.imago.ufpr.br/csbc2012/semish.php

SEMISH is the main symposium of the Brazilian Computer Society Congress. The thirty ninth edition of SEMISH will be held in Curitiba (Brazil) on July 16-19, 2012 in conjunction with 32th Brazilian Computer Society Congress.

SEMISH aims bringing together academics and industry practitioners in order to share experiences by submitting papers (in English or in Portuguese) that discusses solutions, the existing state-of- the-art and set directions for future research.

The Modcs Workshop is an internal event that occurs every six months with the aim of spreading knowledge among the participants. Each student must present the current state of your research. Exception: The new group members.

In this edition, the event going to occurs in 03/16/2012, from 08:00AM to 06:00PM, and located at the Park Hotel, Rua dos Navegantes, nº 09, Boa Viagem, Recife/PE, Brazil.

Click HERE to see the presentation schedule.

All presentations can be found int this LINK.

To see the event’s photos, READ MORE: