Buscas alternativas:
formal programming » fetal programming (Expandir a busca), goal programming (Expandir a busca), logical programming (Expandir a busca)
parallel to » parallel code (Expandir a busca), parallel and (Expandir a busca)
to formal » nao formal (Expandir a busca), _ formal (Expandir a busca), to form (Expandir a busca)
formal programming » fetal programming (Expandir a busca), goal programming (Expandir a busca), logical programming (Expandir a busca)
parallel to » parallel code (Expandir a busca), parallel and (Expandir a busca)
to formal » nao formal (Expandir a busca), _ formal (Expandir a busca), to 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 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
5
Assuntos:
“...Bulk synchronous parallel...”
MigBSP : a new approach for processes rescheduling management on bulk synchronous parallel applications
Tese
6
“... 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
7
“.... 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
8
9
“... 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
10
“.... In the first one, we present the Multi-Language Programming Interface (IPML), which allows to extend...”
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
11
“... 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
12
13
“... 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