Portal do Governo Brasileiro
s
Mostrando
1 - 1
resultados de
1
para a busca '
"SAT-PaDdlinG"
'
Pular para o conteúdo
Institucional
Sobre
Como participa
Diretrizes
Indicadores
Rede
Instituições participantes
Tecnologia
Dúvidas frequentes
Contato
A sua conta
Sair
Entrar
Todos os campos
Título
Ano da publicação
Autor
Assunto
Resumo
Buscar
Busca avançada
Resultados da busca: "SAT-PaDdlinG"
Buscas alternativas
:
sat »
salt
(Expandir a busca)
,
sant
(Expandir a busca)
,
sato
(Expandir a busca)
Mostrando
1 - 1
resultados de
1
para a busca '
"SAT-PaDdlinG"
'
, tempo de busca: 0,06s
Ordenar:
Relevância
Data descendente
Data ascendente
Área
Autor
Título
Exportar
Export RIS
Exportar CSV
1
Parallel SAT solvers and their application in automatic parallelization
Por
Silveira, Jaime Kirch da
Publicado em 2014
Acessar documento
Dissertação
Voltar
Refinar a Busca
Instituição de defesa
Universidade Federal do Rio Grande do Sul (UFRGS)
1
Bases coletadas
Biblioteca Digital de Teses e Dissertações da UFRGS
1
Autor
Silveira, Jaime Kirch da
1
Orientador(a)
Carro, Luigi
1
Tipo de documento
Dissertação
1
Tipo de acesso
openAccess
1
Idioma
Inglês
1
Assunto
Microeletrônica
1
Processadores
1
Assunto em inglês
Automatic parallelization
1
Parallel SAT solver
1
RePaSAT
1
SAT-PaDdlinG
1
Ano da publicação
De:
Até:
Carregando...
