Buscas alternativas:
objective programming » multiobjective programming (Expandir a busca)
formal objective » forma objetiva (Expandir a busca), formal object (Expandir a busca), social objective (Expandir a busca)
parallel formal » parallel fiscal (Expandir a busca)
objective programming » multiobjective programming (Expandir a busca)
formal objective » forma objetiva (Expandir a busca), formal object (Expandir a busca), social objective (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
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
“... 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
5
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