Buscas alternativas:
multi programming » multiple programming (Expandir a busca), math programming (Expandir a busca), rule programming (Expandir a busca)
parallel logicas » parallel legs (Expandir a busca), parallel loops (Expandir a busca), parallel topological (Expandir a busca)
logicas multi » opticas multi (Expandir a busca)
multi programming » multiple programming (Expandir a busca), math programming (Expandir a busca), rule programming (Expandir a busca)
parallel logicas » parallel legs (Expandir a busca), parallel loops (Expandir a busca), parallel topological (Expandir a busca)
logicas multi » opticas multi (Expandir a busca)
1
Assuntos:
“...Constraint logic programming...”
Exploração de paralelismo ou em uma linguagem em lógica com restrições
Dissertação
2
Assuntos:
“...Parallel programming...”
Adding native support for task scheduling to a Linux-capable RISC-V multicore system
Dissertação
3
Assuntos:
“...Lógica linear temporal...”
Detecção automática de violações de propriedades de sistemas concorrentes em tempo de execução.
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