Buscas alternativas:
semantics programming » genetic programming (Expandir a busca), scratch programming (Expandir a busca), reactive programming (Expandir a busca)
formal semantics » frame semantics (Expandir a busca), global semantics (Expandir a busca)
parallel formal » parallel fiscal (Expandir a busca)
semantics programming » genetic programming (Expandir a busca), scratch programming (Expandir a busca), reactive programming (Expandir a busca)
formal semantics » frame semantics (Expandir a busca), global semantics (Expandir a busca)
parallel formal » parallel fiscal (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
“...Due of industrial informatics several attempts have been done to develop notations and semantics...”
Metodologia para modelagem, validação e programação de controladores lógicos industriais usando statecharts básicos
Tese