Buscas alternativas:
formal programming » fetal programming (Expandir a busca), goal programming (Expandir a busca), logical programming (Expandir a busca)
parallel data » parallelism data (Expandir a busca), parallel plate (Expandir a busca), parallel state (Expandir a busca)
data formal » marca formal (Expandir a busca)
formal programming » fetal programming (Expandir a busca), goal programming (Expandir a busca), logical programming (Expandir a busca)
parallel data » parallelism data (Expandir a busca), parallel plate (Expandir a busca), parallel state (Expandir a busca)
data formal » marca formal (Expandir a busca)
1
Assuntos:
“...Parallel programming...”
Um conjunto de recursos para programação paralela orientada a objetos.
Tese
2
Assuntos:
“...Formal methods...”
Contratos formais para derivação e verificação de componentes paralelos
Dissertação
3
Assuntos:
“...Parallel programming (Computer science)...”
Modelagem e simulação de filme radiográfico através de programação paralela e distribuída orientada a objetos
Tese
4
“.... 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
5
“... de Especificação Formal, chamada LOP. Esta linguagem a de natureza algébrica, com destaque para a semântica baseada...”
Lop : uma abordagem unificada de especificação algébrica, orientação a objetos e processos
Tese