O MDCC realizará um Workshop Científico de Computação de Alto Desempenho voltado para os seus alunos.

O evento acontecerá no dia 10/12/2014 a partir das 14h na Sala de Seminários do Bloco 952 nesta universidade e contará com palestras dos Professores Antônio Tadeu Azevedo Gomes do Laboratório Nacional de Computação Científica (LNCC), André Rauber Du Bois da Universidade Federal de Pelotas (UFPel) e João Saraiva da Universidade do Minho (Portugal).

Todos estão convidados!

Saiba mais sobre as palestras:

Palestrante: Prof. André Rauber Du Bois (Universidade Federal de Pelotas)

Título: Transactional Boosting para Haskell

Resumo: Transactional boosting é uma metodologia para transformar objetos altamente concorrentes e linearizáveis em objetos transacionais concorrentes. Nesta palestra descrevemos uma extensão do STM Haskell para construir versões transacionais (boosted) de tipos abstratos concorrentes do Haskell. Apesar da técnica só poder ser empregada em tipos que possuem certas propriedades, quando usada corretamente, obtemos versões transacionais de funções existentes que são muito mais rápidas do que usando STM Haskell puro.

Palestrante: Prof. João Saraiva (Universidade do Minho)

Título: Localização e Consumo de Energia Anormais em Aplicações Android

Resumo: O uso de dispositivos móveis poderosos, tais como smartphones, tablets e laptops, está mudando a forma como os programadores desenvolvem software. Enquanto no passado o objetico principal da otimização de software era a otimização do tempo de execução, hoje em dia está a crescer a necessidade da otimização ser feita a nível do consumo de energia. Nesta palestra apresentamos um técnica e uma ferramenta que a implementar, para detetar consumos excessivos de energia em applicações Android, e uma forma de relacionar o consumo diretamente com o código fonte da aplicação. Assim, usamos um modelo de consumo de energia para aplicações do ecosistema Android como uma API para monitorar a execução da aplicação: primeiro, instrumentamos o código da aplicação de modo podermos relacionar o consumo de energia com o código da aplicação. Segundo, usamos um métodos estatístico para localização de falhas em software, mais concretamente Spectrum-based Fault Localization, para localizar consumos excessivos no código.

Palestrante: Prof. Antonio Tadeu Azevedo Gomes

Título: Experimentos com uma abordagem multi-linguagem na implementação de um resolvedor para uma nova família de métodos numéricos multiescala

Resumo: Esta palestra apresenta o projeto de um resolvedor projetado especificamente para uma nova família de métodos numéricos baseados em elementos finitos. Essa família de métodos, denominada MHM (Multiscale Hybrid-Mixed), permite a solução de problemas físicos com precisão de alta ordem em domínios discretizados através de malhas de granulosidade grossa. Mais importante, MHM explora uma estratégia computacional de baixo acoplamento baseada no cômputo independente de subproblemas potencialmente idênticos ao problema original (a não ser pelas suas condições de fronteira) em elementos individuais da malha grossa. As soluções nesses elementos são então usadas para compor a solução do problema global na malha grossa completa. Esse resolvedor está sendo desenvolvido no âmbito da plataforma SPiNMe (Software Productivity in Numerical Methods) de prototipagem rápida de métodos numéricos baseados em elementos finitos. Uma abordagem multi-linguagem vem sendo empregada nesse desenvolvimento, com Erlang sendo usada na implementação de base para os mecanismos de comunicação entre os componentes do resolvedor, enquanto C++ é usada na implementação dos componentes que fazem o processamento numérico para resolução dos subproblemas locais e composição da solução do problema global. Esta palestra apresenta as vantagens de uso de Erlang em termos da maior produtividade na implementação dos mecanismos de comunicação bem como no seu suporte nativo a mecanismos de tolerância a falhas. Esta palestra apresenta uma avaliação preliminar de desempenho do resolvedor, considerando suas propriedades de speed-up e balanceamento de carga. A palestra termina com uma descrição do trabalho futuro que se pretende desenvolver com esse resolvedor, incluindo a possibilidade de uso de modelos de componentes.