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:
“...Logic programming...”
Uma proposta de escalonamento distribuído para exploração de paralelismo na programação em lógica
Dissertação
4
Assuntos:
“...Parallelism in logic programming...”
Granlog : um modelo para analise automatica de granulosidade na programacao em logica
Dissertação
5
Assuntos:
“...Fuzzy logic...”
Improving species distribution model quality with a parallel linear genetic programming-fuzzy algorithm.
Tese
6
Assuntos:
“...Arranjos de lógica programável em campo...”
Proposição do paradigma orientado a notificações no desenvolvimento de circuitos lógico-digitais reconfiguráveis
Tese
7
Assuntos:
“...Parallel programming...”
Algoritmo distribuído para alocação de múltiplos recursos em ambientes distribuídos.
Tese
8
Assuntos:
“...Constraint logic programming...”
Exploração de paralelismo ou em uma linguagem em lógica com restrições
Dissertação
9
Assuntos:
“...OpenMP (Parallel programming)...”
Automatic offloading to FPGA accelerators : Transferência automática para aceleradores FPGA
Dissertação
10
Assuntos:
“...Algorithmes parallèle...”
Analysis of synchronizations in greedy-scheduled executions and applications to efficient generation of pseudorandom numbers in parallel
Tese
11
12
Assuntos:
“...Parallel programming...”
Yali : uma extensão do modelo linda para programação paralela em redes heterogêneas
Dissertação
13
“... 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
14
Assuntos:
“...Parallel programming...”
Adding native support for task scheduling to a Linux-capable RISC-V multicore system
Dissertação
15
16
Assuntos:
“...Arranjos de lógica programável em campo...”
Contribuição para o desenvolvimento de uma arquitetura de computação própria ao paradigma orientado a notificações
Tese
17
Assuntos:
“...Parallel programming (Computer science)...”
Proposição de uma arquitetura para árvores de decisão orientada a notificações - ADON
Tese
18
Assuntos:
“...Parallel programming (Computer science)...”
Modelagem e simulação de filme radiográfico através de programação paralela e distribuída orientada a objetos
Tese
19
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
20
Assuntos:
“...Lógica linear temporal...”
Detecção automática de violações de propriedades de sistemas concorrentes em tempo de execução.
Dissertação