Buscas alternativas:
programming logic » programmable logic (Expandir a busca), programming model (Expandir a busca)
logic programs » logica programas (Expandir a busca), logistics programs (Expandir a busca), logic programming (Expandir a busca)
programming logic » programmable logic (Expandir a busca), programming model (Expandir a busca)
logic programs » logica programas (Expandir a busca), logistics programs (Expandir a busca), logic programming (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
“... 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
12
“... 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