Buscas alternativas:
parallel detection » parallel execution (Expandir a busca), parallel projection (Expandir a busca), particle detection (Expandir a busca)
detection logic » deduction logic (Expandir a busca), detection low (Expandir a busca), detection music (Expandir a busca)
parallel detection » parallel execution (Expandir a busca), parallel projection (Expandir a busca), particle detection (Expandir a busca)
detection logic » deduction logic (Expandir a busca), detection low (Expandir a busca), detection music (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:
“...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
5
6
7
“... que esta opera com múltiplas unidades lógicas aritméticas, até milhares de unidades, bem diferente...”
Otimização de busca por SNPs baseada em máscaras por meio de unidade de processamento gráfico (GPU)
Dissertação