Buscas alternativas:
formal programming » fetal programming (Expandir a busca), goal programming (Expandir a busca), logical programming (Expandir a busca)
and formal » and normal (Expandir a busca), and informal (Expandir a busca), and form (Expandir a busca)
formal programming » fetal programming (Expandir a busca), goal programming (Expandir a busca), logical programming (Expandir a busca)
and formal » and normal (Expandir a busca), and informal (Expandir a busca), and form (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 and distributed programming...”
Modelagem e simulação de filme radiográfico através de programação paralela e distribuída orientada a objetos
Tese
4
5
Assuntos:
“...Bulk synchronous parallel...”
MigBSP : a new approach for processes rescheduling management on bulk synchronous parallel applications
Tese
6
Assuntos:
“...Validation and verification...”
Metodologia para modelagem, validação e programação de controladores lógicos industriais usando statecharts básicos
Tese
7
“... 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
8
“.... 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
9
10
“... 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
11
“... and allowing parallel execution of non-conflicting transitions. The DCPN allows the conception 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
12
“... 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