Seminários da Pós-Graduação em Informática
Data: 28 de setembro de 2018
Local: Sala Multiuso CIC
Horário: 14h
Palestrante: Pergentino Araújo Neto (doutorando)
Título: A Prediction Approach to Define Checkpoint Intervals in Spot Instances
Resumo: Cloud computing providers have started offering their idle resources in the form of virtual machines without availability guarantees. Know as transient servers, these \virtualmachines can be revoked at any time without user intervention. Spot instances are transient servers offered by Amazon at lower prices than regular dedicated servers. A market model was used to create a bidding scenario for cloud users of servers without service reliability guarantees, where prices changed dynamically over time based on supply and demand. To prevent data loss, the use of fault tolerance techniques allows the exploration of transient resources. This paper proposes a strategy that addressesthe problem of executing a distributed application, like bag-of-tasks, using spot instances. We implemented a heuristic model that uses checkpoint and restore techniques, supported by a statistical model that predicts time to revocation by analyzing price changes and defining the best checkpoint interval. Our experiments demonstrate that by using a bid strategy and the observed price variation history, our model is able to predict revocation time with high levels of accuracy. We evaluate our strategy through extensive simulations, which use the price change history, simulating bid strategies and comparing our model with real time to revocation events. Using instances with considerable price changes, our results achieve an 94% success with standard deviation of 1.36. Thus, the proposed model presents promising results under realistic working conditions.
Horário: 14h30
Palestrante: Ariane Alves Almeida (doutorando)
Título: Formalização do principio de terminação de pares dependentes para TRS
Resumo: Sistemas de reescrita fornecem um modelo computacional para raciocínio sobre programas funcionais. Assim sendo, terminação é uma propriedade de estudo relevante sobre esses sistemas, pois é requisito necessário para atestar corretude de um programa. Diversas abordagens de semi-decisão fornecem mecanismos para análise de terminação, dentre elas, a análise por Dependency Pairs, que visa analisar possíveis aplicações de regras a termos reduzidos, ou seja, a relação entre regras que podem gerar reduções infinitas. Como a corretude tanto programas funcionais quanto sistemas de reescrita são frequentemente formalizadas com auxílio de assistentes de prova, se faz imprescindível que os critérios de terminação utilizados como parte das provas de corretude estejam também formalizados neste assistente para que sua utilização se dê de maneira correta. Essa apresentação abordará uma formalização para o critério de Pares Dependentes para sistemas de reescrita no assistente de prova Prototype Verification System.
Horário: 15h
Palestrante: Thiago Mendonça Ferreira Ramos (doutorando)
Título: Formalização do Teorema de Rice
Resumo: Mostra-se-á teoremas necessários para formalização do Teorema de Rice em PVS.
Horário: 15h30
Palestrante: Lucas Angelo Silveira (doutorando)
Título: Migração e topologias de comunicação em programação evolutiva paralela
Resumo: não informado
Profa Célia Ghedini Ralha (Este endereço de email está sendo protegido de spambots. Você precisa do JavaScript ativado para vê-lo.)
Coordenadora dos Seminários de Pós-Graduação em Informática 2018-2