Buscas alternativas:
parallel 52 » parallel to (Expandir a busca), parallel i (Expandir a busca), parallel h (Expandir a busca)
52 logic » of logic (Expandir a busca), _ logic (Expandir a busca), in logic (Expandir a busca)
parallel 52 » parallel to (Expandir a busca), parallel i (Expandir a busca), parallel h (Expandir a busca)
52 logic » of logic (Expandir a busca), _ logic (Expandir a busca), in logic (Expandir a busca)
1
Assuntos:
“...Parallelism in logic programming...”
Um ambiente para exploração de paralelismo na programação em lógica
Dissertação
2
Assuntos:
“...Logic programming...”
Uma proposta de escalonamento distribuído para exploração de paralelismo na programação em lógica
Dissertação
3
Assuntos:
“...Parallelism in logic programming...”
Granlog : um modelo para analise automatica de granulosidade na programacao em logica
Dissertação
4
Assuntos:
“...Constraint logic programming...”
Exploração de paralelismo ou em uma linguagem em lógica com restrições
Dissertação
5
Assuntos:
“...Parallel programming...”
Yali : uma extensão do modelo linda para programação paralela em redes heterogêneas
Dissertação
6
7
8
Assuntos:
“...Algorithmes parallèle...”
Analysis of synchronizations in greedy-scheduled executions and applications to efficient generation of pseudorandom numbers in parallel
Tese
9
“... 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
10
Assuntos:
“...Distributed programming...”
O sistema operacional de rede heterogêneo HetNOS
Dissertação
11
Assuntos:
“...Lógica linear temporal...”
Detecção automática de violações de propriedades de sistemas concorrentes em tempo de execução.
Dissertação
12
Assuntos:
“...Lógica linear temporal...”
Detecção automática de violações de propriedades de sistemas concorrentes em tempo de execução.
Dissertação
13
“... reality techniques, and an programming environment for developing the control logic. The programming...”
Ambiente de programação e integração para manufatura virtual “APIMV”
Dissertação
14
“... em teorias em lógica de primeira ordem e na construção incremental de especificações baseada em bibliotecas....”
Lop : uma abordagem unificada de especificação algébrica, orientação a objetos e processos
Tese
15
16
17
“... suas lógicas e ao ensinar ao seu leitor como lidar com esse novo cenário midiático; o relacionamento construído...”
"Intervalo para Conversa": a carta do leitor de revista e a formação do público da tv brasileira nos anos 1960 e 1970
Tese