portal da computação    ciência da computação     engenharia de computação     pós-graduação webmail
Pós-Graduação em Computação
O PPGC-UFPel atualmente oferece cursos de Mestrado e Doutorado em Ciência da Computação. O Programa conta com 24 pesquisadores doutores, atuando em quatro linhas de pesquisa: Fundamentos de Computação, Processamento Paralelo e Distribuído, Sistemas Digitais e Embarcados e Sistemas Inteligentes.
por Gerson Cavalheiro, 36 dias atrás

A Universidade Federal de Pelotas (UFPel) está com inscrições abertas para os Testes de Competência em Leitura em Língua Estrangeira (TCLLE) para o primeiro semestre do ano de 2018. Confira notícia completa.

por Gerson Cavalheiro, 37 dias atrás

A UFPel recebe a Ideorum para realização de um curso de formação para uso do Cientum. Haverá duas turmas e o encontro tem duração de 3 horas. Serão duas turmas, uma dia 23 e outra dia 24 de abril, das 9h as 12h.

O Cientum é um sistema de gestão de pesquisadores, cujo o objetivo é fornecer análises gráficas de forma qualitativa, quantitativa e temporal sendo uma ferramenta de auxílio à tomada de decisão e alocação de recursos.

Acesse para inscrição (gratuita) e maiores informações.

por Gerson Cavalheiro, 40 dias atrás
Palestrante: Luciana Foss (Computação – UFPel)
Data: 16/04/2018
Local: sala 434, Campus Porto
Horário: 17h10

Título:  Gramática de Grafos: Especificação e Verificação Formal

Resumo:  A complexidade dos sistemas atuais requer o uso de métodos de desenvolvimento que garantem a corretude e a qualidade destes sistemas. Métodos formais de desenvolvimento podem ajudar a alcançar esses objetivos fornecendo mecanismos para descrever com precisão a estrutura e/ou o comportamento de um sistema, bem como disponibilizando técnicas de análise formal. Gramática de grafos é um formalismo flexível e bastante adequado para especificação de sistemas complexos que devem levar em conta orientação a objetos, concorrência, mobilidade e distribuição. De fato, grafos podem ser naturalmente usados para dar uma representação estruturada aos estados de um sistema, na qual são destacados os subcomponentes e suas interconexões lógicas. Os eventos que ocorrem no sistema e o fazem evoluir de um estado para outro podem ser modelados por aplicações de regras de transformação de grafos. Além disso, existem diversas técnicas e ferramentas que dão suporte a diferentes tipos de análise de sistemas descritos usando gramática de grafos. Nesta palestra será apresentada uma introdução a este formalismo.

por Marilton Sanchotene de Aguiar, 51 dias atrás

Título: Proposta de métodos de clusterização de dados com validação por testes de heterogeneidade e discordância aplicados à regionalização de bacias hidrográficas

Autor: LEROI FLORIANO DE OLIVEIRA

Orientação:

  • Marilton Sanchotene de Aguiar, Orientador (PPGC-UFPel)
  • Samuel Beskow, Coorientador (PPGRecHid-UFPel)

Banca Examinadora:

  • Paulo Roberto Ferreira Jr. (PPGC-UFPel)
  • Diana Francisca Adamatti (FURG)
  • Tiago Thompsen Primo (UFPel)

Data: 6 de Abril de 2018

Hora: 14:00

Local: Auditório da Reitoria

Resumo:
Através da regionalização de bacias hidrográficas é possível, dentre outras aplicações, fazer previsões estatísticas de vazões máximas e mínimas em cursos d’água. Diversos estudos demonstram bons resultados na utilização de clusterização para a formação de melhores regiões do ponto de vista hidrológico. Este trabalho aplica técnicas de aprendizado de máquina para a formação de regiões hidrologicamente homogêneas. Mais especificamente, neste trabalho foi explorada a utilização dos métodos: k-means, affinnity propagation, aglomerative clustering e regions of influence para a formação de regiões, o qual é feita uma comparação entre os métodos e a utilização de técnicas de seleção de atributos. Ainda, neste trabalho também são propostos três métodos para a solução do problema, utilizando ajuste dos clusters com base nas medidas de heterogeneidade e discordância de Hosking. Dois destes métodos utilizam o algoritmo k-means fazendo variações nos clusters iniciais de forma a buscar centroides que melhor representem regiões hidrologicamente homogêneas. O outro método combina resultados de clusterização com o método regions of influence. Com os métodos propostos foi possível alcançar uma melhora, de 63,2% para 90,5% de aproveitamento das regiões formadas para a aplicação da análise de frequência regional. Com este trabalho concluiu-se que os atributos selecionados apresentaram melhores resultados que a utilização de todos os atributos; e, que os métodos propostos demonstram grande potencial visto que apresentaram melhores resultados que outros métodos já existentes.

por Gerson Cavalheiro, 58 dias atrás

Recepção aos Calouros 2018/1 do PPGC

Mestrado e Doutorado

Segunda, dia 2 de abril, 17h

Auditório Acadêmico, Campus Porto, 4o andar

 

 

 

por Gerson Cavalheiro, 61 dias atrás

O Coordenador do Programa de Pós-Graduação em Computação da UFPel divulga o resultado do pedido de recurso recebido ao Processo Seletivo para Aluno Especial no PPGC (Edital 18/2018). O pedido de Jean Carlos Scheunemann foi deferido pela Comissão de Seleção em vista do Decreto Nº 9.094, de 17 de Julho de 2017. O candidato deve se dirigir a secretaria do Programa até as 14 horas do dia 27 de maio para efetivação de sua matrícula.

por Gerson Cavalheiro, 65 dias atrás

Título: An Evaluation of Memory Controllers for Non-Volatile Memories

Autor: GIOVANE DE OLIVEIRA TORRES

Orientação:

  • Maurício Pilla, Orientador (PPGC-UFPel)

Banca Examinadora:

  • Julio Carlos Balzano de Mattos (PPGC-UFPel)
  • Antônio Carlos S. Beck Filho (UFRGS)
  • Adenauer Corrêa Yamin (PPGC-UFPel (suplente))

Data: 20 de Abril de 2018

Hora: 08:30

Local: A definir.

Resumo:
Many demands which include performance and energy consumption are present in current computational systems. In this context, actual memory technologies are critical components which affect directly both performance and energy cost of a system. Thus, memory needs improvements since they could be reaching its scalability limit. One of the alternatives to improve memory subsystems is the use of non-volatile memories (NVMs). Even though NVMs show many positive features, they still have some issues which need to be overcome in order to allow large-scale use. Those issues include costly write operations (both on latency and energy) and lower material endurance if compared to current memory technologies. Parallel to that, one difficulty to adopt NVMs as main memories in computational systems is related to providing a proper scheduling of memory operations — as it should cope with the particular characteristics of NVMs. With that issues in mind, this work performs a runtime analysis of memory operations in NVM-based systems. To implement a memory controller, we use Gem5 and NVMain simulators, since their combination could reach runtime evaluations that this work aims. Then, the implemented controller was tested by running applications from MediaBench and MiBench benchmark set. With that, the controller was analyzed under different configurations. Tests were performed using the three most well-known and studied NVMs (PCRAM — Phase Change Random Access Memory, RRAM — Resistive Random Access Memory and STT-RAM — Spin Transfer Torque Random Access Memory). Many observations could be highlighted, including: (i) while running the benchmarks in isolation, the time spent in serving memory requests is very low, not surpassing $2\%$ of the total execution time of any application tested, (ii) when running the memory controller under different NVM technologies, latencies of read and write operations in overall were mostly impacted by the different type of memories used, (iii) when using queues with variable sizes to hold memory requests, it made negligible difference in overall performance, due to applications having small busy periods, i.e., generating and serving a small number of memory requests in detriment of other operations. Lastly, a comparison between the implemented memory controller and NVMain default memory controllers was performed, which pointed out that in the majority of the studied cases, the proposed memory controller may need extra techniques to get better performance.

por Gerson Cavalheiro, 66 dias atrás

O Coordenador do Programa de Pós-Graduação em Computação divulga a oferta e a grade de horários das disciplinas para 2018/1. O início das aulas será em 26/março, segunda-feira, exceto as disciplinas Fundamentos de Inteligencia Artificial, com início em 15 de maio e TEC II Princípios de Codificação de Vídeo, com início em 2 de abril.

Horário

Seg

Ter

Qua

Qui

Sex

8h – 9h40

TC

FIA

FIA
PTSD

IPPD
AC

10h – 11h40

TC

AC

IPPD

PTSD

13h30 – 15h10

AED
CCI

LC
CCI

15h10 – 16h40

Met.

LC

AED

17h10 – 18h50

Sem. I

TEC II

TEC II

 

Sigla

Código

Disciplina

Sala

Docente(s)

TC 1118001 Teoria da Computação 305 Simone Costa
TEC II 1118003 TEC II Princípios de Codificação de Vídeo 307 / 250 M. Porto, D. Palomino, L. Agostini, G. Correa
FIA 1118009 Fundamentos de Inteligência Artificial 319B / 305 Ricado Araújo
AC 1110115 Arquitetura de Computadores Lab 4 / 319B Marcelo Porto
Sem. I D001241 Seminário de Pesquisa em Computação I 434 André Du Bois
PTSD 1110114 Projeto e Teste de Sistemas Digitais Lab 4 / 305 Rafael Soares
Met. 1118107 Metodologia para Pesquisa e Desenvolvimento em Computação 319B Paulo Ferreira
LC 1118010 Lógica para Computação 306 / 319B Renata Reiser
CCI 1118212 Concepção de Circuitos Integrados 305 / Lab 4 Leomar da Rosa
AED 1118013 Algoritmos e Estrutura de Dados 319B / Lab 1 Marilton Aguiar
IPPD 1110146 Introdução ao Processamento Paralelo e Distribuído 305 Gerson Cavalheiro

 

 

 

 

 

 

outras notícias recentes
por Gerson Cavalheiro em 20/03/2018
por Gerson Cavalheiro em 13/03/2018
por Gerson Cavalheiro em 08/03/2018
por Gerson Cavalheiro em
por Gerson Cavalheiro em
por Computação UFPel em 02/03/2018
por Gerson Cavalheiro em 28/02/2018
por Gerson Cavalheiro em 20/02/2018
por Computação UFPel em 05/02/2018
Não há eventos no momento.
CDTec UFPel
Find us on Google+