Buscas alternativas:
aplicada programming » application programming (Expandir a busca), lidia programming (Expandir a busca), logical programming (Expandir a busca)
parallel formal » parallel fiscal (Expandir a busca)
formal aplicada » forca aplicada (Expandir a busca), social aplicada (Expandir a busca), virtual aplicada (Expandir a busca)
aplicada programming » application programming (Expandir a busca), lidia programming (Expandir a busca), logical programming (Expandir a busca)
parallel formal » parallel fiscal (Expandir a busca)
formal aplicada » forca aplicada (Expandir a busca), social aplicada (Expandir a busca), virtual aplicada (Expandir a busca)
1
Assuntos:
“...Formal methods...”
Contratos formais para derivação e verificação de componentes paralelos
Dissertação
2
“.... Neste sentido, propomos uma definição formal para o padrão de Redução Múltipla e analisamos...”
[pt] ALGORITMOS PARA PROCESSAMENTO DE IMAGENS E VISÃO COMPUTACIONAL PARA ARQUITETURAS PARALELAS EM PLACAS GRÁFICAS
Tese