Buscas alternativas:
parallel evaluation » parallel execution (Expandir a busca), parana evaluation (Expandir a busca), parcial evaluation (Expandir a busca)
evaluation logic » evaluation policy (Expandir a busca), evaluation basic (Expandir a busca), evaluation andrologic (Expandir a busca)
parallel evaluation » parallel execution (Expandir a busca), parana evaluation (Expandir a busca), parcial evaluation (Expandir a busca)
evaluation logic » evaluation policy (Expandir a busca), evaluation basic (Expandir a busca), evaluation andrologic (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:
“...Parallelism in logic programming...”
Granlog : um modelo para analise automatica de granulosidade na programacao em logica
Dissertação
3
Assuntos:
“...OpenMP (Parallel programming)...”
Automatic offloading to FPGA accelerators : Transferência automática para aceleradores FPGA
Dissertação
4
Assuntos:
“...Lógica linear temporal...”
Detecção automática de violações de propriedades de sistemas concorrentes em tempo de execução.
Dissertação
5
Assuntos:
“...Lógica linear temporal...”
Detecção automática de violações de propriedades de sistemas concorrentes em tempo de execução.
Dissertação