Mostrando 1 - 12 resultados de 12 para a busca 'parallel finite distributed computing*', tempo de busca: 0,21s

4

Assuntos: ...Distributed resource allocation algorithm...

Algoritmo distribuído para alocação de múltiplos recursos em ambientes distribuídos.

Publicado em 2013
Tese

11

... que permite a verificação de sistemas concorrentes de estados finitos sob propriedades descritas em lógicas...

Abordagens paralelas para Model Checking de redes de autômatos estocásticos

Publicado em 2013
Dissertação