Buscas alternativas:
logica programming » logical programming (Expandir a busca), logic programming (Expandir a busca), conic programming (Expandir a busca)
devir logica » devir etica (Expandir a busca), devir musica (Expandir a busca)
logica programming » logical programming (Expandir a busca), logic programming (Expandir a busca), conic programming (Expandir a busca)
devir logica » devir etica (Expandir a busca), devir musica (Expandir a busca)
1
Assuntos:
“...Fuzzy logic...”
Improving species distribution model quality with a parallel linear genetic programming-fuzzy algorithm.
Tese
2
Assuntos:
“...Parallelism in logic programming...”
Granlog : um modelo para analise automatica de granulosidade na programacao em logica
Dissertação
3
Assuntos:
“...Parallel programming...”
Algoritmo distribuído para alocação de múltiplos recursos em ambientes distribuídos.
Tese
4
Assuntos:
“...Parallel programming...”
Yali : uma extensão do modelo linda para programação paralela em redes heterogêneas
Dissertação
5
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
6
Assuntos:
“...Parallel programming (Computer science)...”
Proposição de uma arquitetura para árvores de decisão orientada a notificações - ADON
Tese
7
Assuntos:
“...Distributed programming...”
O sistema operacional de rede heterogêneo HetNOS
Dissertação
8
Assuntos:
“...Lógica linear temporal...”
Detecção automática de violações de propriedades de sistemas concorrentes em tempo de execução.
Dissertação
9
Assuntos:
“...Lógica linear temporal...”
Detecção automática de violações de propriedades de sistemas concorrentes em tempo de execução.
Dissertação
10
“... em computador através das propriedades que tais entidades devem satisfazer. Isto a feito usando métodos...”
Lop : uma abordagem unificada de especificação algébrica, orientação a objetos e processos
Tese
11
“.... Para isso existem sistemas CLP (controlador lógico programável) que empregam microcontroladores responsáveis...”
Automação do sistema de direção de uma colhedora de café
Dissertação
12
“... pela empresa. O modelo apresentado foi validado, porém, não implantado devido os custos inerentes de aquisição...”
Modelagem matemática para otimização do planejamento e programação da produção em uma fundição de pequeno porte
Dissertação