Buscas alternativas:
logica programming » logical programming (Expandir a busca), logic programming (Expandir a busca), conic programming (Expandir a busca)
parallel programs » parallel programing (Expandir a busca), parallel programming (Expandir a busca)
programs logica » programas logicos (Expandir a busca), programacao logica (Expandir a busca), programing logic (Expandir a busca)
logica programming » logical programming (Expandir a busca), logic programming (Expandir a busca), conic programming (Expandir a busca)
parallel programs » parallel programing (Expandir a busca), parallel programming (Expandir a busca)
programs logica » programas logicos (Expandir a busca), programacao logica (Expandir a busca), programing 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:
“...Parallel and distributed processing (Computing)...”
Depuração de erros lógicos em programas paralelos.
Tese
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
Assuntos:
“...Parallel programming...”
Adding native support for task scheduling to a Linux-capable RISC-V multicore system
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:
“...Lógica linear temporal...”
Detecção automática de violações de propriedades de sistemas concorrentes em tempo de execução.
Dissertação
10
Assuntos:
“...Lógica linear temporal...”
Detecção automática de violações de propriedades de sistemas concorrentes em tempo de execução.
Dissertação
11
“... e o mapeamento lógico desses processos nos processadores. A ferramenta FAPP gera automaticamente o esqueleto...”
Uma abordagem orientada a objetos de uma ferramenta de auxilio a programação paralela
Tese
12
“... 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