Buscas alternativas:
formal programming » fetal programming (Expandir a busca), goal programming (Expandir a busca), logical programming (Expandir a busca)
parallel based » parallele base (Expandir a busca), parallel and (Expandir a busca), parallel layer (Expandir a busca)
based formal » based firms (Expandir a busca), and formal (Expandir a busca), based firm (Expandir a busca)
formal programming » fetal programming (Expandir a busca), goal programming (Expandir a busca), logical programming (Expandir a busca)
parallel based » parallele base (Expandir a busca), parallel and (Expandir a busca), parallel layer (Expandir a busca)
based formal » based firms (Expandir a busca), and formal (Expandir a busca), based firm (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
“... do GASC é baseada em características de outras linguagens de programação e de especificação formal...”
UM GERADOR DE APLICACOES PARA SISTEMAS CONCORRENTES COM UTILIZACAO DE FERRAMENTAS FORMAIS.
Dissertação
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
6
“... o formalismo de Hodgkin-Huxley, que pode ser tida como um protótipo das simulações realizadas de modo geral...”
Otimização de um cluster de alto desempenho para o uso do programa PGENESIS em simulações biologicamente plausíveis em larga-escala de sistemas neurais
Dissertação
7
“..., compromising simulations based on CPN. Aiming to provide mechanisms to reduce the cost of extensibility and...”
Contribuições à modelagem e à simulação de sistemas distribuídos usando redes de Petri coloridas - alocação de webcaches e particionamento de modelos em processos independentes...
Tese
8
9
“... controller programming, they are still programmed by conventional trial-and-error methods and, in practice...”
Metodologia para modelagem, validação e programação de controladores lógicos industriais usando statecharts básicos
Tese