Buscas alternativas:
parallel detect » parallel between (Expandir a busca), parallel nearest (Expandir a busca)
detect linear » direct linear (Expandir a busca)
Mostrando 1 - 2 resultados de 2 para a busca 'parallel detect linear programming*', tempo de busca: 0,12s

1

Assuntos: “...Lógica linear temporal...”

Detecção automática de violações de propriedades de sistemas concorrentes em tempo de execução.

Publicado em 2007
Acessar documento
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.

Publicado em 2007
Acessar documento
Dissertação