portal da computação    ciência da computação     engenharia de computação     pós-graduação webmail
Ciência da Computação na UFPel
Criado em 1992, o curso de graduação em Ciência da Computação fornece uma formação abrangente na área de Computação, com foco no estudo e desenvolvimento de algoritmos, tanto em software como em hardware. Conta com um corpo docente jovem e em expansão, atualmente com 18 doutores e 4 mestres dedicados à área.
por Computação UFPel, 4 dias atrás
Os Seminários de Pesquisa em Computação são promovidos pelo Programa de Pós-Graduação em Computação, convidando regularmente pesquisadores para apresentar seus trabalhos e áreas de atuação à comunidade da Universidade em geral e do PPGC em específico. Abaixo estão os detalhes do próximo convidado.


An opaque model for software transactional memory for Haskell
Prof. Rodrigo Geraldo Ribeiro (UFOP)
Data: 2 de maio de 2017 (terça-feira)

Sala:434

Horário: 17h

Resumo: Software Transactional Memory (STM) provides programmers with a simple high-level model of transactions that allows the writing of concurrent programs without worrying with locks, since all transaction concurrency management is done by the STM runtime. Such programming model grealy simplifies development of concurrent applications, but it has a cost: implementing an efficient and correct
STM algorithm is an art. Several criteria have been proposed to certify STM algorithms, some based on model checkers and proof assistants. In this work, we are interested in a more lightweight approach: specify STM algorithm as small-step operational semantics of a idealized language with STM support and check for safety properties using QuickCheck, a property-based testing library for Haskell.

Horários com salas e professores da Ciência da Computação:

Alunos Ingressantes / Demais Alunos

por Marilton Sanchotene de Aguiar, 55 dias atrás

O calendário das bancas dos Trabalhos de Conclusão dos cursos de Ciência e Engenharia de Computação está publicado no site do Núcleo de Orientação de Trabalhos de Conclusão de Curso (NOTCC) da Computação.

Acompanhe a agenda e participe das bancas, pois é um forma de se preparar para a sua vez.

por Marilton Sanchotene de Aguiar, 144 dias atrás

UNIVERSIDADE FEDERAL DE PELOTAS
CENTRO DE DESENVOLVIMENTO TECNOLÓGICO
TRABALHO DE CONCLUSÃO DE CURSO

Apresentações Finais (2016/2)

Implementação de Um Escalonador de Transações Para STM Haskell
por
Rodrigo Medeiros Duarte

Curso:
Engenharia de Computação

Banca:
Prof. André Rauber Du Bois (orientador)
Profa. Renata Hax Sander Reiser (co-orientador)
Prof. Maurício Lima Pilla (co-orientador)
Msc. Jeronimo da Cunha Ramos
Prof. Gerson Geraldo Homrich Cavalheiro

Data: 12 de Dezembro de 2016

Hora: 14:00h

Local: Sala 415 Campus Porto (Anglo)

Leia na íntegra.

por Marilton Sanchotene de Aguiar, 155 dias atrás

UNIVERSIDADE FEDERAL DE PELOTAS
CENTRO DE DESENVOLVIMENTO TECNOLÓGICO
TRABALHO DE CONCLUSÃO DE CURSO

Apresentações Finais (2016/2)

Implementação de Uma Interface de Expressão de Concorrência Compatível com C++11
por
Bruno Giacobo Pinto

Curso:
Ciência da Computação

Banca:
Prof. Gerson Geraldo Homrich Cavalheiro (orientador)
Prof. André Rauber Du Bois
Prof. André Desessards Jardim
Prof. Edevaldo Braga dos Santos

Data: 30 de Novembro de 2016

Hora: 15:30h

Local: Sala 440

Leia na íntegra.

por Marilton Sanchotene de Aguiar, 155 dias atrás

UNIVERSIDADE FEDERAL DE PELOTAS
CENTRO DE DESENVOLVIMENTO TECNOLÓGICO
TRABALHO DE CONCLUSÃO DE CURSO

Apresentações Finais (2016/2)

Avaliação das interfaces de ferramentas de programação multithread com a suíte Cowichan
por
Pablo Tyszkievicz Kila

Curso:
Ciência da Computação

Banca:
Prof. Gerson Geraldo Homrich Cavalheiro (orientador)
Prof. André Rauber Du Bois
Prof. André Desessards Jardim
Prof. Edevaldo Braga dos Santos

Data: 30 de Novembro de 2016

Hora: 14:00h

Local: Sala 440

Leia na íntegra.

por Computação UFPel, 191 dias atrás

O Programa de Pós-Graduação em Computação da Universidade Federal de Pelotas torna público o Edital de Seleção para alunos regulares nos cursos de Mestrado e Doutorado em Ciência da Computação, com ingresso no primeiro semestre de 2017. Este site reúne informações sobre o processo seletivo e permite a inscrição on line dos candidatos até o dia 30 de novembro.

Saiba mais no site da seleção!

por Julio Carlos Balzano de Mattos, 264 dias atrás

Prezados Alunos,

No links abaixo estão os horários com salas e professores:

Horários da Ciência da Computação

Horários da Engenharia de Computação

Horários dos outros cursos

Atenção Calouros: os horários dos calouros está na primeira página de cada documento.

Um ótimo início de 2016/2 !

As Coordenações.

outras notícias recentes
por Marilton Sanchotene de Aguiar em 04/08/2016
por Marilton Sanchotene de Aguiar em 08/07/2016
por Marilton Sanchotene de Aguiar em 05/07/2016
por Marilton Sanchotene de Aguiar em
por Marilton Sanchotene de Aguiar em 03/07/2016
por Marilton Sanchotene de Aguiar em 01/07/2016
por Marilton Sanchotene de Aguiar em
por Marilton Sanchotene de Aguiar em
por Marilton Sanchotene de Aguiar em 28/06/2016
por Marilton Sanchotene de Aguiar em
por Marilton Sanchotene de Aguiar em
por Marilton Sanchotene de Aguiar em 25/06/2016
Não há eventos no momento.
CDTec UFPel