Buscas alternativas:
parallel d » parallel i (Expandir a busca), parallel h (Expandir a busca), parallel k (Expandir a busca)
d logic » _ logic (Expandir a busca), and logic (Expandir a busca), of logic (Expandir a busca)
parallel d » parallel i (Expandir a busca), parallel h (Expandir a busca), parallel k (Expandir a busca)
d logic » _ logic (Expandir a busca), and logic (Expandir a busca), of 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
6
Assuntos:
“...Parallel programming...”
Yali : uma extensão do modelo linda para programação paralela em redes heterogêneas
Dissertação
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
Assuntos:
“...Controlador Lógico Programável (CLP)...”
Projeto de um kit ARM para simulação de um CLP residencial de baixo custo com placa de expansão de relês sem fio
Dissertação
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
18
“... 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