Constrained Horn Clauses for Program Verification
05 de setembro às 16h na sala 6321 (DCC)
Constrained Horn Clauses for Program Verification Read More »
05 de setembro às 16h na sala 6321 (DCC)
Laboratório
Categoria com os laboratórios do DCC
Projeto de pesquisa em redes 5G coordenado pelo DCC é avaliado em workshop interno
O Departamento de Ciência da Computação (DCC) da UFMG promoveu, nesta segunda e terça-feira, 31/07 e 1º/08, o 2º workshop interno do Projeto de Pesquisa Temático “Programabilidade, ORquestração e VIRtualização de Redes em 5G” – PORVIR-5G. O projeto é fruto de acordos de cooperação entre MCTIC/CGI – Cooperação Científica e Tecnológica e FAPESP – Projeto
Projeto de pesquisa em redes 5G coordenado pelo DCC é avaliado em workshop interno Read More »
O Departamento de Ciência da Computação (DCC) da UFMG promoveu, nesta segunda e terça-feira, 31/07 e 1º/08, o 2º workshop interno do Projeto de Pesquisa Temático “Programabilidade, ORquestração e VIRtualização de Redes em 5G” – PORVIR-5G. O projeto é fruto de acordos de cooperação entre MCTIC/CGI – Cooperação Científica e Tecnológica e FAPESP – Projeto
Artigo produzido por alunos e professor do DCC é apresentado na Espanha
O aluno de doutorado do Departamento de Ciência da Computação (DCC) da UFMG, Marcos Carvalho, apresentou, na última semana, durante a 9ª Conferência Internacional IEEE sobre Software de Rede, ocorrido em Madri, na Espanha, o artigo “Transfer Learning-Based QoE estimation for different cloud gaming context”. O trabalho tem como autores, além do Marcos, o também
Artigo produzido por alunos e professor do DCC é apresentado na Espanha Read More »
O aluno de doutorado do Departamento de Ciência da Computação (DCC) da UFMG, Marcos Carvalho, apresentou, na última semana, durante a 9ª Conferência Internacional IEEE sobre Software de Rede, ocorrido em Madri, na Espanha, o artigo “Transfer Learning-Based QoE estimation for different cloud gaming context”. O trabalho tem como autores, além do Marcos, o também
Projeto da UFMG leva internet a aldeias Maxakalis do Vale do Mucuri
Iniciativa nasceu de demanda surgida no início da pandemia de covid-19; conexão é feita por satélite Durante a pandemia de covid-19, a UFMG precisou se reestruturar para que as aulas da graduação e da pós-graduação fossem ofertadas remotamente. O maior desafio educacional relacionado ao distanciamento foi o acesso dos estudantes à internet, visto que muitos
Projeto da UFMG leva internet a aldeias Maxakalis do Vale do Mucuri Read More »
Iniciativa nasceu de demanda surgida no início da pandemia de covid-19; conexão é feita por satélite Durante a pandemia de covid-19, a UFMG precisou se reestruturar para que as aulas da graduação e da pós-graduação fossem ofertadas remotamente. O maior desafio educacional relacionado ao distanciamento foi o acesso dos estudantes à internet, visto que muitos
Professor do DCC profere palestra em seminário em Foz do Iguaçu
Na próxima quarta-feira, 21, o professor do Departamento de Ciência da Computação (DCC) da UFMG, Omar Paranaíba, durante o IEEE Computer Society Annual Symposium on VLSI, irá proferir a palestra “Computação não convencional com nanotecnologias não convencionais”. O seminário, organizado pela Universidade Federal do Rio Grande do Sul (UFRGS), será em Foz do Iguaçu, de
Professor do DCC profere palestra em seminário em Foz do Iguaçu Read More »
Na próxima quarta-feira, 21, o professor do Departamento de Ciência da Computação (DCC) da UFMG, Omar Paranaíba, durante o IEEE Computer Society Annual Symposium on VLSI, irá proferir a palestra “Computação não convencional com nanotecnologias não convencionais”. O seminário, organizado pela Universidade Federal do Rio Grande do Sul (UFRGS), será em Foz do Iguaçu, de
Aluno do DCC/UFMG implementa algoritmo que será usado pelo Apache TVM
No último sábado, 29, o algoritmo Droplet Search para otimização de kernel, projetado pelo aluno do Laboratório de Compiladores do Departamento de Ciência da Computação (DCC) da UFMG e do Programa de Pós-graduação em Ciência da Computação (PPGCC) da universidade, Michael Canesche, foi aceito no Apache TVM e estará disponível nas próximas versões do compilador.
Aluno do DCC/UFMG implementa algoritmo que será usado pelo Apache TVM Read More »
No último sábado, 29, o algoritmo Droplet Search para otimização de kernel, projetado pelo aluno do Laboratório de Compiladores do Departamento de Ciência da Computação (DCC) da UFMG e do Programa de Pós-graduação em Ciência da Computação (PPGCC) da universidade, Michael Canesche, foi aceito no Apache TVM e estará disponível nas próximas versões do compilador.
Colorações, Heurísticas e um pouco de pessimismo
Data e hora: sexta, 5 de maio de 2023, às 16h Local: sala 2077 (ICEx) Palestrante: Marcio Santos (DCC, UFMG) Resumo: Um dos problemas mais estudados em teoria dos grafos é o problema de determinar o número cromático de um grafo. O número cromático é o menor número de cores necessário para colorir um grafo
Colorações, Heurísticas e um pouco de pessimismo Read More »
Data e hora: sexta, 5 de maio de 2023, às 16h Local: sala 2077 (ICEx) Palestrante: Marcio Santos (DCC, UFMG) Resumo: Um dos problemas mais estudados em teoria dos grafos é o problema de determinar o número cromático de um grafo. O número cromático é o menor número de cores necessário para colorir um grafo
Inscrições abertas para a segunda turma do curso gratuito em Tecnologia de Comunicação Móvel 5G promovido pelo DCC/UFMG
Estão abertas as inscrições, até o dia 07 de maio, para a segunda turma do curso gratuito de capacitação na tecnologia de comunicação móvel 5G.
Estão abertas as inscrições, até o dia 07 de maio, para a segunda turma do curso gratuito de capacitação na tecnologia de comunicação móvel 5G.
Departamento de Ciência da Computação da UFMG abre inscrições para curso gratuito em Tecnologia de Comunicação Móvel 5G
Estão abertas as inscrições, até o dia 27 de fevereiro, para o curso gratuito de capacitação na tecnologia de comunicação móvel 5G. O curso é voltado para estudantes de graduação ou profissionais com graduação em cursos relacionados, como Engenharia, Computação e Tecnologia da Informação.
Estão abertas as inscrições, até o dia 27 de fevereiro, para o curso gratuito de capacitação na tecnologia de comunicação móvel 5G. O curso é voltado para estudantes de graduação ou profissionais com graduação em cursos relacionados, como Engenharia, Computação e Tecnologia da Informação.
Curso – Tecnologias de Comunicação Móvel 5G
Período de inscrições: 06 a 27/02/2023 Resultado da seleção dos inscritos: até 10/03/2023 Início das aulas da primeira turma: 22/03/2023 Duração do curso: 5 semanas Aulas online: 1x por semana, em horário noturno, de 19h às 21h; aulas de mentoria (datas a definir). Coordenação Geral: Professores Heitor Ramos e José Marcos Nogueira Contato: curso5g.dcc.ufmg@gmail.com Saiba
Curso – Tecnologias de Comunicação Móvel 5G Read More »
Período de inscrições: 06 a 27/02/2023 Resultado da seleção dos inscritos: até 10/03/2023 Início das aulas da primeira turma: 22/03/2023 Duração do curso: 5 semanas Aulas online: 1x por semana, em horário noturno, de 19h às 21h; aulas de mentoria (datas a definir). Coordenação Geral: Professores Heitor Ramos e José Marcos Nogueira Contato: curso5g.dcc.ufmg@gmail.com Saiba