Avaliação de Arquiteturas Many-core e Aplicações Paralelas Utilizando Análise Formal de Conceitos

Detalhes bibliográficos
Autor(a) principal: Daniel de Araújo Santos Carmo
Data de Publicação: 2018
Tipo de documento: Dissertação
Título da fonte: Portal de Dados Abertos da CAPES
Texto Completo: https://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=6183886
id BRCRIS_470d9a02867f87f6a6bd17b6c4ce5208
network_acronym_str CAPES
network_name_str Portal de Dados Abertos da CAPES
dc.title.pt-BR.fl_str_mv Avaliação de Arquiteturas Many-core e Aplicações Paralelas Utilizando Análise Formal de Conceitos
title Avaliação de Arquiteturas Many-core e Aplicações Paralelas Utilizando Análise Formal de Conceitos
spellingShingle Avaliação de Arquiteturas Many-core e Aplicações Paralelas Utilizando Análise Formal de Conceitos
Many-core systems, evaluation, FCA, GEM5, benchmarking.
Sistemas many-core, avaliação, AFC, GEM5, benchmarking
Daniel de Araújo Santos Carmo
title_short Avaliação de Arquiteturas Many-core e Aplicações Paralelas Utilizando Análise Formal de Conceitos
title_full Avaliação de Arquiteturas Many-core e Aplicações Paralelas Utilizando Análise Formal de Conceitos
title_fullStr Avaliação de Arquiteturas Many-core e Aplicações Paralelas Utilizando Análise Formal de Conceitos
Avaliação de Arquiteturas Many-core e Aplicações Paralelas Utilizando Análise Formal de Conceitos
title_full_unstemmed Avaliação de Arquiteturas Many-core e Aplicações Paralelas Utilizando Análise Formal de Conceitos
Avaliação de Arquiteturas Many-core e Aplicações Paralelas Utilizando Análise Formal de Conceitos
title_sort Avaliação de Arquiteturas Many-core e Aplicações Paralelas Utilizando Análise Formal de Conceitos
topic Many-core systems, evaluation, FCA, GEM5, benchmarking.
Sistemas many-core, avaliação, AFC, GEM5, benchmarking
publishDate 2018
format masterThesis
url https://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=6183886
author_role author
author Daniel de Araújo Santos Carmo
author_facet Daniel de Araújo Santos Carmo
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/7348329707931896
dc.contributor.advisor1.fl_str_mv HENRIQUE COTA DE FREITAS
dc.contributor.advisor1Lattes.fl_str_mv http://lattes.cnpq.br/4075688424083407
dc.contributor.advisor1orcid.por.fl_str_mv https://orcid.org/0000-0001-9722-1093
dc.publisher.none.fl_str_mv PONTIFÍCIA UNIVERSIDADE CATÓLICA DE MINAS GERAIS
publisher.none.fl_str_mv PONTIFÍCIA UNIVERSIDADE CATÓLICA DE MINAS GERAIS
instname_str PONTIFÍCIA UNIVERSIDADE CATÓLICA DE MINAS GERAIS
dc.publisher.program.fl_str_mv INFORMÁTICA
dc.description.course.none.fl_txt_mv INFORMÁTICA
reponame_str Portal de Dados Abertos da CAPES
collection Portal de Dados Abertos da CAPES
spelling CAPESPortal de Dados Abertos da CAPESAvaliação de Arquiteturas Many-core e Aplicações Paralelas Utilizando Análise Formal de ConceitosAvaliação de Arquiteturas Many-core e Aplicações Paralelas Utilizando Análise Formal de ConceitosAvaliação de Arquiteturas Many-core e Aplicações Paralelas Utilizando Análise Formal de ConceitosAvaliação de Arquiteturas Many-core e Aplicações Paralelas Utilizando Análise Formal de ConceitosAvaliação de Arquiteturas Many-core e Aplicações Paralelas Utilizando Análise Formal de ConceitosAvaliação de Arquiteturas Many-core e Aplicações Paralelas Utilizando Análise Formal de ConceitosAvaliação de Arquiteturas Many-core e Aplicações Paralelas Utilizando Análise Formal de ConceitosMany-core systems, evaluation, FCA, GEM5, benchmarking.2018masterThesishttps://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=6183886authorDaniel de Araújo Santos Carmohttp://lattes.cnpq.br/7348329707931896HENRIQUE COTA DE FREITAShttp://lattes.cnpq.br/4075688424083407https://orcid.org/0000-0001-9722-1093PONTIFÍCIA UNIVERSIDADE CATÓLICA DE MINAS GERAISPONTIFÍCIA UNIVERSIDADE CATÓLICA DE MINAS GERAISPONTIFÍCIA UNIVERSIDADE CATÓLICA DE MINAS GERAISINFORMÁTICAINFORMÁTICAPortal de Dados Abertos da CAPESPortal de Dados Abertos da CAPES
identifier_str_mv Carmo, Daniel de Araújo Santos. Avaliação de Arquiteturas Many-core e Aplicações Paralelas Utilizando Análise Formal de Conceitos. 2018. Tese.
dc.identifier.citation.fl_str_mv Carmo, Daniel de Araújo Santos. Avaliação de Arquiteturas Many-core e Aplicações Paralelas Utilizando Análise Formal de Conceitos. 2018. Tese.
_version_ 1741890197518286848