Skip nav

Projectos de I&D

Consulta de projectos homologados

Concurso para Projectos de I&D em todos os Domínios Científicos - 2008

ParSat - Algoritmos Paralelos de Satisfação e suas Aplicações

PTDC/EIA-EIA/103532/2008

Área Científica Principal
Engenharia Informática - Engenharia Informática
Área Científica Secundária
Engenharia Eletrotécnica - Eletrónica e Computadores
Palavras Chave
Satisfação Proposicional (SAT)
Algoritmos Paralelos
Programação em Multicores (SMP/NUMA)
Unidades de Processamento Gráfico (GPUs/CUDA)
Financiamento
€ 100 000,00
Instituições
Instituição Proponente
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC ID/INESC/IST/ULisboa)
Unidade de Investigação Principal
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC ID/INESC/IST/ULisboa)
Equipa
Investigador Responsável
Paulo Ferreira Godinho Flores
Investigadores
José Carlos Alves Pereira Monteiro
Luis Miguel Teixeira d´Avila Pinto da Silveira
Luís Jorge Brás Monteiro Guerra e Silva
Maria Inês Camarate de Campos Lynce de Faria
Vasco Miguel Gomes Nunes Manquinho