Computação/UFPEL

SPC 2011
II Seminário de Pesquisa em Computação da UFPel
Evento conjunto com a XVI SACOMP - 28/11/2011 a 2/12/2011

ISSN 2237-9118



[Corpo Editorial] - [Corpo Revisor] - [Organização] - [Deadlines] - [Formatos] - [Submissão]
[Artigos Aceitos] - [Programação] - [Certificados]
Fotos: [Dia I], [Dia II], [Dia III] e [Dia IV].

Introdução
O II Seminário de Pesquisa em Computação da UFPel (SPC 2011) é um evento que acontece junto com a Semana Acadêmica da Computação e possui por foco divulgar trabalhos de pesquisa sendo realizados nos cursos de Computação da UFPel.

Os objetivos específicos são: (1) apresentar para a comunidade uma síntese das pesquisas realizadas na área da Computação da UFPel; (2) ter um espaço de discussão e possível integração de trabalhos apresentados, estimulando o desenvolvimento de trabalhos em conjunto e  (3) manter um registro histórico da produção acadêmica dos alunos.

Corpo Editorial
  • André Du Bois
  • Marilton Aguiar
Corpo Revisor
  • Adenauer Yamin
  • Anderson Ferrugem
  • André Du Bois
  • Felipe Marques
  • Gerson Cavalheiro
  • Leomar Rosa
  • Lisane Brisolara
  • Luciana Foss
  • Luciano Agostini
  • Marilton Aguiar
  • Mauricio Pilla
  • Paulo Ferreira
  • Renata Reiser
  • Ricardo Araujo
  • Simone Costa
Formato dos Trabalhos
O evento aceitará resumos de 2 páginas no formato da Sociedade Brasileira de Computação. Cada trabalho aceito no evento deverá ser apresentado oralmente por pelo menos um dos autores. Cada apresentação terá tempo máximo de 10 minutos e mais 5 minutos para questionamentos.

Submissão dos Trabalhos
O sistema Easy Chair será usado para submissão e avaliação dos artigos.
Acesse: http://www.easychair.org/conferences/?conf=spc2011

Datas Importantes
Envio de Trabalhos: até 18/11/2011 21/11/2011 (estendido)
Notificação de aceite: 22/11/2011
Evento: Junto com a XVI SACOMP, de 28/11/2011 até 2/12/2011

Organização
  • Prof. André Rauber Du Bois (dubois @ inf.ufpel.edu.br)
  • Prof. Marilton Sanchotene de Aguiar (marilton @ inf.ufpel.edu.br)
Trabalhos Aceitos

Muriel Franco, Anderson Ferrugem e Antônio César Silva. Redes neurais aplicada na automação de uma residência energeticamente eficiente PDF
Abstract: O objetivo deste trabalho é a criação de um controle utilizando redes neurais aplicado na automação de uma residência energeticamente eficiente. A rede neural é uma técnica da inteligência artificial que visa trabalhar no processamento de dados de maneira semelhante ao cérebro humano. Com a rede neural podemos criar um controle inteligente para a abertura e fechamento de seis janelas existentes a fim de estabelecer no interior da residência um estado de conforto térmico, onde a temperatura mantenha-se agradável ao ser humano sem a necessidade da utilização de equipamentos que causem danos ao meio ambiente.

Luiz Lemos Jr., Simone Costa e Luciana Foss. Prova de Teoremas para Gramática de Grafos: Um estudo nas árvores de prova e proposta de táticas PDF
Abstract: Uma forma de se desenvolver sistemas confiáveis é utilizando Métodos Formais (especificação e verificação formal). A especificação feita pela linguagem Gramática de Grafos é usual e baseada em um mecanismo simples, o qual modela os estados de um sistema na forma de grafos e usa regras de transformação de grafos para descrever as transições de um estado para outro. Já a verificação feita por provador de teoremas permite a prova de propriedades para sistemas com espaço de estados infinito. Partindo de uma abordagem existente que permite aplicar a prova de teoremas para gramática de grafos, será feito um estudo nas árvores de prova e propostas de táticas, evitando que provas sejam repetidas, de forma a melhorar a automatização dos provadores.

Marlon Dias, Inessa Luerce, Murian Ribeiro e Marilton Aguiar. Modelagem da dispersão de poluentes utilizando agentes PDF
Abstract: Substâncias tóxicas podem ser introduzidas nos lençóis freáticos de diversas maneiras. Entender o modo de transporte e o destino destas substâncias é crucial para o seu controle. Anteriormente, estas informações eram modeladas usando métodos baseados em equações, que, além de usar uma matemática rigorosa, frequentemente envolve abstrações/simplificações. Este trabalho pretende estudar modelos baseados em agentes para a simulação da dispersão de poluentes, em alternativa aos métodos convencionais.

Tymon Douglas, Mauricio Pilla e Gerson Cavalheiro. Funcionamento interno do Apache HTTP Server e seus módulos de multi-processamento PDF
Abstract: O software Apache, desenvolvido pela Apache Software Foundation (APACHE, 2011), é um dos servidores de conteúdo web com maior uso no planeta. Nos primórdios da Internet havia poucas alternativas de servidores para a hospedagem de conteúdo online. Uma dessas opções se chamava Netscape Communications Corporation (agora chamado Oracle iPlanet Web Server ), mas seu código era proprietário e o seu uso requeria uma licença comercial e paga. O NCSA HTTPd, criado no National Center for Supercomputing Applications, era uma alternativa. Quando o seu desenvolvimento aparentou sinais de estagnação, a Apache Software Foundation decidiu assumir o desenvolvimento do mesmo, trocando seu nome para “Apache HTTP Server”, e tornando-o software livre. Isso permitiu a rápida expansão da World Wide Web, reduzindo os custos dramaticamente para os servidores, e também por estar disponível em uma grande quantidade de plataformas. Hoje, ele é o servidor web com maior penetração no mercado, servindo mais de 60% de todos os websites da internet. Neste artigo, são discutidos detalhes de implementação do Apache e realizado um estudo de desempenho do mesmo.

Gustavo Freitas Sanchez, Marcelo Porto e Luciano Agostini. Algoritmo e Arquitetura VLSI para o algoritmo DMPDS para vídeos QFHD PDF
Abstract: Este artigo apresenta um algoritmo e uma arquitetura para a Estimação de Movimento (EM) utilizando o novo algoritmo DMPDS. Este novo algoritmo atinge uma alta qualidade de vídeo quando codificando vídeos de alta resolução através do mecanismo de iniciar algoritmos independentes de multiplos pontos diferentes e, dessa forma, escapar de mínimos locais. A arquitetura foi sintetizada para Altera Stratix 4 e os resultados de síntese mostram que a arquitetura é capaz de codificar 34 quadros por segundo de um vídeo QFHD (Quad Full HD).

Érico Grehs, Marlon Dias, Stephanie Mendes e Anderson Ferrugem. Construção de um Braço Mecânico Didático de Baixo Custo PDF
Abstract: Este trabalho consiste na construção de um braço mecânico utilizando conhecimentos vistos em sala de aula e materiais de baixo custo. Apresenta-se o que fora desenvolvido e como fora feito. Tenta-se frisar a importante do estudo da área da Robótica, e sua viabilidade de ser utilizada junto das outras disciplinas da computação, integrando o conhecimento de alunos.

Rodrigo Medeiros Duarte, André R. Du Bois e Gerson G. H. Cavalheiro. Memórias Transacionais como alternativa para programação de máquinas multi-core PDF
Abstract: Com a popularização de máquinas multi-core, para ter o máximo proveito desta arquitetura, programas precisam ter varias atividades concorrentes distribuídas entre os cores disponíveis. Tradicionalmente os programas usam o modelo de memória compartilhada, onde temos varias threads que se comunicam lendo e escrevendo em uma área de memória em comum. Para evitar que threads interfiram de maneira errada na execução umas das outra, são utilizados métodos de bloqueios e sincronização, conhecidos como lock's ou mutexs. Esse modelo de programação é complexo e propenso a erros. Em virtude das dificuldades e dos problemas que o modelo tradicional de programação concorrente apresenta, novas abstrações de programação são desenvolvidas. Uma delas é a de memória transacional, que tende a ser mais fácil de programar e aumentar o nível de paralelismo.

André Mello, Luciana Foss e Simone André Da Costa Cavalheiro. Modelo PopOrg: uma proposta para especificação em Gramática de Grafos PDF
Abstract: O objetivo deste trabalho é propor um mapeamento do modelo PopOrg para GGs, onde os aspectos do modelo serão preservados. A linguagem de GG foi escolhida por ter um layout gráfico, por possuir ferramentas de análise para verificação, e também por ser bastante intuitivo até para os não teóricos. Como metodologia desse trabalho, será feito um estudo sobre trabalhos relacionados à especificação de sistemas multiagentes usando GG. Também será pesquisado o modelo PopOrg em todos os seus níveis para analisar como poderia ser conduzida a formalização em gramática de grafos. Por fim, serão investigadas propriedades importantes para SMAs, que serão analisadas através de técnicas e ferramentas de análise existentes para GGs.

Tauã Cabreira e Marilton De Aguiar. Planejamento de Rotas de Robôs Móveis: Uma Abordagem de Algoritmos Genéticos em um Ambiente PDF
Abstract: Este meta-artigo descreve a abordagem de algoritmos genéticos no planejamento de rotas de robôs móveis em ambientes estáticos e dinâmicos. Através do software “Netlogo”, usado em simulações de ambientes multiagentes, foi desenvolvido um modelo inicial para o problema proposto. O modelo, composto por um robô e cinco obstáculos móveis, é responsável por determinar a melhor rota usada pelo robô para alcançar o estado objetivo idealmente no menor número de passos, evitando colisões com os obstáculos.

Guilherme Povala, Anderson Priebe Ferrugem, Felipe Beier Faria, Sabrina De Moura Ribeiro e Eduardo Frio Martins. Utilização de Mapas  Auto-Organizáveis na Classificação Qualitativa de Jogadores de Voleibol PDF
Abstract: Mapas auto-organizáveis estão sendo aplicados em diversas áreas, com especial destaque para problemas de análise exploratória de dados multivariados. Porém, na área esportiva, especificamente no voleibol, onde os dados coletados (scouts) de uma competição são dessa natureza, a técnica não tem sido muito explorada. Este trabalho apresenta uma metodologia para a análise desses dados utilizando, como ferramentas, o Mapa Auto-Organizável e seus algoritmos. A modelagem abrange os dados a respeito dos melhores em cada fundamento, dados sobre o grupo de jogadores como um todo, além da relação entre eles e seu aproveitamento individual na competição. Com essa ferramenta pode-se reduzir o número de dados dos agrupamentos, e assim projetar os dados de uma forma não linear em uma rede bidimensional. Os resultados são expressos e analisados visando a compreensão dos motivos pelo baixo ou alto desempenho de uma atleta em uma competição, visto que muitos treinadores e/ou preparadores físicos buscam em suas equipes a padronização dos jogadores. A utilização dos Mapas Auto-Organizáveis e de seus algoritmos mostrou-se uma ferramenta robusta para a classificação dos dados multivariados, e de forma rápida apresentou os resultados dos agrupamentos com bastante clareza, facilitando assim a hermenêutica e posterior comparação dos resultados obtidos.

Nícolas Bisi, Vinícius Pazzini, Simone Costa, Luciana Foss e Lisane Brisolara. Tradução Formal de Sistemas UML para Simulink PDF
Abstract: This research aims to formally define the transformation of UML diagrams (suitable to describe high-level abstractions) in Simulink blocks (used to model the flow of data and supporting code generation), proposed in natural language.

Henrique Vianna e Luciano Agostini. Investigação da Transformada Rotacional do Futuro Padrão de Codificação de Vídeo HEVC para Implementação em Hardware PDF
Abstract: Este trabalho apresenta os resultados iniciais de uma investigação em andamento da Transformada Rotacional (ROT), visando sua implementação em hardware. A ROT é uma das novas ferramentas propostas para o futuro padrão de codificação de vídeo HEVC, e seu objetivo é obter maior compactação de energia na matriz de coeficientes da transformada principal, melhorando assim a codificação de entropia. Inicialmente foi desenvolvida uma arquitetura para parte do conjunto de transformadas que compõem a ROT. Os resultados obtidos mostram que essa arquitetura é capaz de processar vídeos até a resolução UHDTV em tempo real (30 quadros por segundo).

Dieison Silveira, Mateus Grellert, Gustavo Sanchez, Vinicius Possani e Luciano Agostini. Redução de largura de banda da memória em sistemas de codificação de vídeo através da compressão de quadros de referência sem perdas adaptativa ao contexto. PDF
Abstract: Este artigo apresenta o Compressor de Quadros de Referência de Comprimento Variável Adaptativo ao Contexto (RFCAVLC) para sistemas de codificação de vídeo. O RFCAVLC visa reduzir a largura de banda de memória externa. Os resultados mostram que o RFCAVLC alcançou uma taxa de compressão média de mais de 24%, sem gerar perda de qualidade para qualquer resolução. Essa compressão é semelhante às melhores soluções propostas na literatura, mas é a única solução sem perdas. Uma arquitetura que implementa o codificador do RFCAVLC foi descrita em VHDL e sintetizada em FPGA. Os resultados indicam que a arquitetura do RFCAVLC pode ser facilmente acoplada a qualquer arquitetura de codificação de vídeos.

Eliane Siegert, Milena Marques e Lisane Brisolara. Estudo das extensões da UML para a modelagem de sistemas embarcados: MARTE e SysML PDF
Abstract: Este artigo apresenta o estudo de dois perfis UML, o SysML e o Marte, os quais são interessantes para o domínio de sistemas embarcados. O SysML foca na especificação, análise, projeto e verificação de sistemas complexos e o MARTE na modelagem e análise de sistemas embarcados de tempo real. Porém, ambos os perfis são relevantes para o domínio e podem ser considerados complementares.

Virginia Andersson, Gustavo Graña e Ricardo Araújo. Investigando o Uso do Kinect para Biometria Através do Caminhar Humano PDF
Abstract: Este artigo apresenta uma proposta de investigação do uso do Microsoft Kinect - um dispositivo equipado de uma câmera e um sensor de profundidade - para análise do caminhar humano com fins de identificação biométrica. A tecnologia fornecida pelo Kinect simplifica consideravelmente etapas de processamento de vídeo para a obtenção do modelo de esqueleto, possibilitando o foco do trabalho no estudo do comportamento temporal das articulações e dos atributos do caminhar humano.

Cássio Cristani, Pargles Dall'Oglio, Gustavo Sanchez, Marcelo Porto e Luciano Agostini. Hardware eficiente para codificação em vídeos Full HD PDF
Abstract: Atualmente, vídeos em alta definição vêm sendo utilizados em larga escala e o número de dispositivos que os utilizam tem crescido no mercado mundial. Essa popularização ocorre, principalmente, devido à qualidade visual obtida com o aumento de resolução, aumentando a satisfação dos usuários. Entretanto, apesar da grande quantidade de dispositivos que suportam aplicações neste tipo de resolução de vídeo, existe uma grande variedade em suas características. Em geral, estes dispositivos têm a demanda por soluções que visam pequena área física, baixo consumo de potência e alta qualidade. Neste contexto, tem aumentado o esforço de pesquisa na academia e na indústria, buscando soluções eficientes que satisfaçam estas necessidades.

Pargles Dall'Oglio, Cássio Cristani, Marcelo Porto e Luciano Agostini. Algoritmos para Compressão de Vídeos de Alta Definição PDF
Abstract: O aumento na quantidade de aparelhos eletrônicos capazes de reproduzir e armazenar vídeos de alta definição, assim com sua utilização na internet, vem crescendo muito nos últimos anos. Essa elevada definição gera uma grande quantidade de informação, exigindo novos e eficientes algoritmos capazes de comprimir esses dados e manter uma boa qualidade do vídeo. Por esse motivo desenvolveu-se vários algoritmos utilizando uma estratégia aleatória e melhoramentos a cada nova versão desenvolvida. As últimas versões desenvolvidas obtêm resultados de qualidade superior aos demais algoritmos rápidos, além de aproximar-se do resultado ótimo obtido pelo FS com um grande aumento na velocidade da compressão.

Julio Domingues Jr, Renato Souza De Souza, Vinicius Neves Possani, Felipe De Souza Marques e Leomar Soares Da Rosa Jr. Extração de Expressões Booleanas a Partir de Redes de Transistores Representadas por Grafos PDF
Abstract: A microeletrônica é a base da tecnologia atual e o projeto de circuitos digitais se torna cada vez mais complexo. Este artigo propõe um método para extrair as expressões Booleanas a partir de grafos. Este método preenche uma lacuna no projeto da ferramenta Soptimizer. O algoritmo é capaz de gerar expressões tanto para redes de transistor do tipo série-paralelo quanto do tipo "bridge".

Marcia Z. Gusmão e Adenauer Yamin. EXEHDA-UC: Gerenciamento de Servidores de Contexto Distribuídos direcionado à Computação Ubíqua PDF
Abstract: As aplicações ubíquas precisam adaptar-se ao ambiente, compreendendo o contexto em que estão inseridas. Essa nova classe de sistemas computacionais, adaptativos ao contexto, abre perspectivas para o desenvolvimento de aplicações mais ricas, elaboradas e complexas, que exploram a natureza dinâmica, a mobilidade do usuário e a heterogeneidade de dispositivos. Entretanto, o desenvolvimento de aplicações que se adaptem continuamente ao ambiente e permaneçam operacionais, mesmo quando o indivíduo se movimentar ou trocar de dispositivo, continua um desafio de pesquisa em aberto. O objetivo central da pesquisa em desenvolvimento é avaliar a utilização da estratégia de ambientes Federados no Subsistema de Reconhecimento e Adaptação do EXEHDA, particularmente na organização dos Servidores de Contexto existentes nas Células de Execução, provendo uma arquitetura de gerencia que permita uma visão unificada, considerando os interesses das aplicações, e os contextos aquisitados nas diferentes células.

Renato Souza, Vinicius Possani, Felipe Marques e Leomar Da Rosa Jr.. Um método eficiente para validação de otimizações da ferramenta Soptimizer a partir de uma técnica de assinaturas Booleanas PDF
Abstract: As ferramentas de CAD (Computer Aided Design) estão sendo cada vez mais indispensáveis no desenvolvimento de circuitos digitais devido a grande adaptação de novos parâmetros da tecnologia dos transistores. Este trabalho propõe um método rápido e seguro baseado em assinatura de funções lógicas, onde se pode representar funções Booleanas de forma eficiente, para ser utilizada na ferramenta Soptimizer com o intuito de validar as otimizações geradas pela ferramenta. Experimentos mostram uma redução no tempo de execução de ate 41,4% em relação a estratégia anteriormente adotada.

Inessa Diniz Luerce, Glauco Roberto Munsberg Dos Santos, Lidiane Costa Da Silva e Anderson Priebe Ferrugem. Inteligência Artificial aplicada ao controle de um termo-acumulador passivo PDF
Abstract: Conforto térmico é o estado mental do homem em que ele expressa satisfação com o ambiente térmico ao seu redor. Visando alcançar e manter o conforto térmico, sistemas de condicionamento de ar necessitam da automatização do seu controle para atingir resultados eficazes. O presente trabalho visa aplicar técnicas de inteligência artificial para o controle do protótipo de um termo-acumulador passivo, proposto em CUNHA (2009). São utilizadas as técnicas de Redes Neurais e Lógica Difusa, em conjunto com técnicas convencionais, On-Off e Proporcional-Integral-Derivativo (PID), para efetuar diferentes controles.

Gustavo Wrege e Luciano Agostini. Projeto de hardware da DCT 16x16 do padrão emergente HEVC para compressão de vídeos digitais PDF
Abstract: Com o aumento da qualidade dos vídeos e consequentemente maiores resoluções, torna-se indispensável o uso de codificadores e decodificadores de vídeo, deste modo, um novo padrão está sendo desenvolvido, chamado HEVC e deve ser lançado em 2013. Um dos processos da compressão se detém na transformada direta dos cossenos (DCT). Este artigo aborda a primeira implementação de uma arquitetura dedicada para a DCT 16x16 que foi sintetizada em FPGA e gerou resultados suficientes para o processamento de vídeos com qualidade Full HD com exibição em tempo real.

Matheus Nachtigall, Maurício Pilla, Alan Araujo e Rodolfo Favaretto. Análise de Consumo e Desempenho em Processadores ARM PDF
Abstract: Smartphones, tablets e outros dispositivos móveis, devido a suas várias funcionalidades e aplicações, costumam ter um gasto significativo de energia. Grande parte desses dispositivos utiliza processadores com arquiteturas ARM, por vários motivos, entre eles o baixo consumo de energia. Apesar de apresentarem gastos de energia reduzidos em relação a processadores de propósito geral, ainda são desejáveis otimizações na arquitetura para diminuir o consumo de energia. Com modificações tanto na arquitetura quanto no software é possível alterar o consumo de energia e o desempenho desses dispositivos. Nesse trabalho, foram analizadas diferentes configurações de cache, fila de load e store, latência de memória e tamanho da Register Update Unit para otimizar consumo e desempenho para um conjunto de benchmarks do MiBench.

Murian Dos Reis Ribeiro e Marilton Sanchotene De Aguiar. Aplicação de algoritmos culturais na descoberta de padrões de perfil em redes sociais PDF
Abstract: Este trabalho tem a finalidade traçar um panorama nos estudos sobre inteligência artificial evolucionária, tendo como objeto central a descoberta de conhecimento através de algoritmos culturais em sites de redes sociais (SRS) como o Twitter e o Facebook.

Marcel Corrêa, Gabriel Cardoso e Luciano Agostini. Arquitetura em Hardware para Interpolação de Amostras com Precisão de 1/4 de Pixel Segundo o Padrão HEVC PDF
Abstract: Arquitetura em Hardware para Interpolação de Amostras com Precisão de 1/4 de Pixel Segundo o Padrão HEVC

Luis Felipe Kiesow De Macedo, Murian Dos Reis Ribeiro, Stephanie Loi Brião, Marilton Sanchotene De Aguiar e Graçaliz Pereira Dimuro. Simulação do jogo do ultimato em um sistema multiagente PDF
Abstract: Este trabalho tem como objetivo de integrar as teorias da função utilitária de preferências sociais com jogos evolucionários a partir de redes complexas de agentes inspirado pelo Jogo do Ultimato.

Cícero Augusto De Souza Camargo e Gerson Cavalheiro. Uma Revisão De Ferramentas De Programação Multithread PDF
Abstract: As limitações encontradas nas tecnologias atuais de desenvolvimento de microprocessadores levaram a uma diminuição severa no ganho periódico de desempenho em arquiteturas monoprocessadas. Surgiram, então, as arquiteturas multicore, as quais unem, em um mesmo chip, múltiplas unidades de processamento com alta eficiência energética. Porém, para tirar proveito das unidades paralelas presentes nos processadores multicore as aplicações devem, além de possibilitar a extração de paralelismo, ser desenvolvidas com o apoio de ferramentas de programação multithread. Este trabalho revisa ferramentas de programação multithread comerciais e acadêmicas e apresenta um conjunto de benchmarks para posterior avaliação das mesmas. O objetivo é identificar recursos interessantes a serem trabalhados e, posteriormente, incluídos no ambiente de programação e execução Athreads.

Roger Cruz e Paulo Roberto Ferreira Jr. Inserindo o agente Crowd no Simulador Itsumo PDF
Abstract: O presente trabalho propõe as alterações necessárias para inserção de um agente que possa definir o comportamento de uma multidão em um simulador de tráfego veicular urbano. Essas alterações tornam possível a simulação social no ambiente disponível.

Alan Araujo, Matheus Nachtigall, Rodolfo Favaretto, André Du Bois e Gerson Cavalheiro. Construção de uma Estratégia Eficiente de Escalonamento de Threads em Arquiteturas Multicore PDF
Abstract: Pesquisas sobre a redução do consumo de energia relacionam-se diretamente com a Computação Sustentável (Green Computing), abordada em [Kurp 2008]. Um dos objetivos da green computing concentra-se em explorar o potencial de sistemas computacionais visando a economia de energia. Com o advento das arquiteturas multicore os anseios por eficiência energética tornam-se ainda mais importantes, uma vez que tais arquiteturas consumem muita energia para manter, em sua capacidade máxima, todos os recursos de processamento disponíveis, isso quando comparadas às arquiteturas monoprocessadas. Neste trabalho é avaliada uma estratégia de escalonamento EDCF (Escalonamento Dinâmico de Carga e Frequência) de threads em programas multithread sobre arquiteturas multicore. Esses programas utilizam, para desenvolvimento e execução, o ambiente Anahy [Cavalheiro 2007]. EDCF busca garantir o uso eficiente da energia necessária para a execução de programas. Essa eficiência dá-se a partir de uma melhor exploração dos recursos de hardware disponíveis pelo gerenciamento de frequência de operação e de escalonamento de threads usuário.

Mateus Grellert, Dieison Silveira, Luciano Agostini e Julio C. B. Mattos. Heurísticas para Decisão Rápida das Unidades de Predição do Padrão Emergente HEVC PDF
Abstract: Em virtude dos avanços tecnológicos recentes na indústria de semicondutores, dispositivos que antigamente realizavam apenas tarefas simples são hoje utilizados para os mais diversos fins. Aliado a isso, a utilização de vídeos digitais de alta resolução tem atingido um crescimento substancial nos últimos anos, tornando esse tipo de mídia presente em diversos meios, como a internet, os dispositivos móveis e a TV Digital. Devido a esses fatores, a codificação de vídeos digitais é um processo indispensável para viabilizar a crescente utilização desse tipo de mídia, posto que vídeos de alta resolução requerem um imenso volume de dados para serem representados.

Marco Beckmann, Lisane Brisolara e Julio C. B. Mattos. Otimização de Software Embarcado Para o Sistema Operacional Android PDF
Abstract: Com o avanço da tecnologia os softwares dedicados aos sistemas embarcados tem se tornado cada vez mais complexos, acarretando assim em um maior uso de recursos de hardware na execução de aplicativos. Visando um aumento na eficiência desta execução são comuns técnicas de otimização de código a partir da análise do mesmo. Este trabalho propõe o estudo de otimizações de software para aplicativos do sistema operacional Android, fazendo uma análise do impacto destas otimizações no aumento da eficiência na execução do código.

Daniel Santin Debastiani, Andrws Aires Vieira, Moisés Dorneles Da Silveira, Luciano Agostini e Felipe Marques. StoreFinder: Um aplicativo Android para TV Digital utilizando recursos de Mapas e GPS PDF
Abstract: Este artigo apresenta um aplicativo para a TVDi na plataforma Android. O aplicativo desenvolvido possui o nome de StoreFinder e se utiliza de recursos do Sistema de Posicionamento Global (Global Position System – GPS) e do acesso à internet do dispositivo móvel para detectar a localização atual do usuário e traçar o mapa desta posição até a empresa cujo comercial televisivo está sendo recebido no dispositivo móvel. A idéia básica do aplicativo se baseia na possibilidade de que o usuário, ao assistir um comercial de televisão em seu dispositivo, através de um toque na tela possa obter a rota mais próxima para o estabelecimento apresentado neste comercial de televisão.

Andrws Vieira, Daniel Debastiani, Luciano Agostini, Felipe Marques e Julio Mattos. Avaliação de Desempenho e Consumo de Energia em Aplicações para Android PDF
Abstract: O Android é uma plataforma de desenvolvimento para aplicativos móveis baseada em um sistema operacional Linux [Lecheta 2011], sendo um projeto de código aberto e liderado pela Google. Por ter seu código fonte aberto e pelo tipo de licença a plataforma se torna flexível, permitindo que customizações sejam feitas sem que os fabricantes precisem compartilhar tais alterações. O desenvolvimento de aplicações para Android é facilitado devido ao kit de desenvolvimento que disponibiliza ferramentas e APIs necessárias para o desenvolvimento de aplicações que fornecem fácil integração com diversos recursos físicos disponíveis no aparelho. Durante o desenvolvimento de aplicações móveis se faz necessário à análise de requisitos não funcionais como desempenho, consumo de potência e energia, tendo em vista que estas aplicações são executadas em aparelhos com bateria. A análise de desempenho de uma aplicação no Android pode ser feita através da ferramenta Traceview [Android 2011], e a análise do consumo de potência e energia pode ser realizada pela ferramenta PowerTutor [Zhang 2010]. O foco deste trabalho está na avaliação de aplicações para Android, quanto ao desempenho e consumo de energia, em diferentes versões de algoritmos recursivos e iterativos de mesma complexidade computacional. Assim diagnosticando a melhor versão de um determinado algoritmo para um fim especifico.

Douglas Detoni, Julio Saracol Domingues Junior, Leomar S. Da Rosa Jr. e Felipe De Souza Marques. Algoritmos de tradução de circuitos na intenção de alimentar ferramentas de CAD baseadas em AIG PDF
Abstract: A diversidade dos formatos de descrição de circuitos torna importante existência de algoritmos que analisem estes formatos e gerem uma descrição dos mesmos em um formato mais compacto e ágil. Podendo este ser usado como padrão para projeto de ferramentas de CAD(computer-aided design). Este artigo propõem a implementação de dois algoritmos de análise para os formatos BLIF( Berkeley Logic Interchange Format) e EQN(Equation Format), assim como a conversão dos mesmos para o formato AIG(And-Inverter Graph).

Abilio Gambim Parada, Thiago Alves e Lisane Brisolara. Modelagem e Geração de código para dispositivos Android PDF
Abstract: O desenvolvimento de aplicações para a plataforma Android difere do desenvolvimento de aplicações tradicionais. Estas aplicações são geralmente complexas, devido a características impostas pela plataforma, aumentando assim a complexidade do projeto. Aliado à complexidade o projetista tem que se preocupar com o tempo de colocação no mercado. Frequentemente modelos são utilizado para lidar com sistemas complexos, sendo a UML o padrão de modelagem para o domínio de software. Este trabalho visa apresentar um padrão de modelagem utilizando UML, para o projeto de aplicações Android.

Melissa Colvara, Felipe S Marques, Leomar Rosa Jr e Stephano Gonçalves. Avaliação de Estruturas de Dados para Aplicações em Computação Quântica PDF
Abstract: Este artigo traça um comparativo entre pacotes de diagramas de decisão existentes para implementação na computação quântica, tais como as estruturas QuIDD, e QMDD, destacando suas características. Concluímos que as estruturas são diferentes na representação gráfica e na forma de interpretação das matrizes. Testes de uso prático não foram realizados devido ao pacote QMDD ainda não estar disponível publicamente.

Ricardo Jeske, José Cláudio De Souza Jr., Gustavo Wrege, Ruhan Conceição, Júlio Mattos e Luciano Agostini. Projeto de Baixo Custo e Elevada Taxa de Processamento Sem Multiplicadores da Transformada DCT 1-D de 16 Pontos para o Novo Padrão HEVC de Codificação de Vídeo PDF
Abstract: Este artigo apresenta o desenvolvimento em hardware da DCT 1-D de 16 pontos, que faz parte da DCT 2-D 16x16, usada no emergente padrão de codificação de vídeo HEVC. O projeto apresentado neste trabalho é focado em baixo custo e elevada taxa de processamento. A arquitetura foi desenvolvida de forma completamente combinacional, com o objetivo de reduzir o consumo de hardware. A síntese da arquitetura para FPGAs mostrou um ganho em consumo de recursos na ordem de 72% quando comparada a uma versão da arquitetura não otimizada. Mesmo com uma versão puramente combinacional a arquitetura desenvolvida é capaz de processar, mais de 30 quadros QFHD (3840x2160 pixels) por segundo.

Daniel Retzlaff, Murilo Schmalfuss, Adriano Maron, Renata Reiser e Maurício Pilla. Análise e Validação da Biblioteca de Simulação Quântica do Ambiente VPE-qGM PDF
Abstract: Este trabalho apresenta uma otimização da biblioteca de execução do ambiente VPE-qGM, utilizando funçôes matemáticas e métodos recursivos para a geração dinâmica dos valores que definem as transformações quânticas. Essa evolução viabilizou uma significativa redução quanto à complexidade espacial.

Anderson Avila, Adriano Maron e Renata Reiser. QCEdit – Modelagem e Geração de Circuitos Quânticos PDF
Abstract: Este artigo tem por objetivo descrever os principais aspectos da ferramenta de edição de circuitos quânticos QCEdit. Mais especificamente, são descritas as otimizações obtidas quanto às funcionalidades do QCEdit, incluindo a modelagem e implementação de novas funcionalidades para o desenvolvimento de aplicações.

Felipe Teixeira, Maurício Pilla e André Du Bois. Comparação entre Memórias Transacionais e Mutex PDF
Abstract: Estes artigo faz uma comparação entre dois métodos de sincronização, as memórias transacionais (de mais alto nível) e o mutex (de mais baixo nível). Ele também fala como cada um deles é implementado, quais instruções cada um tem, entre outras coisas.

Ruhan Conceição, Bruno Hecktheuer, José Claudio Souza, Julio Mattos e Luciano Agostini. Arquitetura Reconfigurável das Transformadas Discreta dos Cossenos 1-D para o Padrão Emergente HEVC de Codificação de Vídeo PDF
Abstract: Este trabalho descreve uma arquitetura reconfigurável para o módulo das transformadas discretas dos cossenos do padrão emergente em codificação de vídeos - HEVC. A arquitetura visa diminuir a quantidade de hardware consumido , uma vez que este não implementa todos os tamanhos da DCT estipulada pelo padrão, utilizando apenas a maior como arquitetura base. A reconfiguração do hardware foi obtida através de informações redundante presentes entre todos os tamanhos da transformada. A arquitetura foi sintetizada na ferramenta ISE 10.1 da Xilinx para o dispositivo Virtex 5.

Programação

Clique aqui para ter o programa em PDF