Buscas alternativas:
parallel mult » parallel cut (Expandir a busca), parallel file (Expandir a busca), parallel mean (Expandir a busca)
mult logic » multi logics (Expandir a busca), mvl logic (Expandir a busca)
parallel mult » parallel cut (Expandir a busca), parallel file (Expandir a busca), parallel mean (Expandir a busca)
mult logic » multi logics (Expandir a busca), mvl logic (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