Buscas alternativas:
parallel victor » parallel vector (Expandir a busca), parallel vectors (Expandir a busca), parallel factor (Expandir a busca)
victor logic » victor longhi (Expandir a busca), victor luiz (Expandir a busca), victor lopes (Expandir a busca)
parallel victor » parallel vector (Expandir a busca), parallel vectors (Expandir a busca), parallel factor (Expandir a busca)
victor logic » victor longhi (Expandir a busca), victor luiz (Expandir a busca), victor lopes (Expandir a busca)
1
Assuntos:
“...Parallelism in logic programming...”
Granlog : um modelo para analise automatica de granulosidade na programacao em logica
Dissertação
2
Assuntos:
“...Lógica linear temporal...”
Detecção automática de violações de propriedades de sistemas concorrentes em tempo de execução.
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