Mostrando 1 - 12 resultados de 12 para a busca 'parallel finite distributed computing~', tempo de busca: 5,53s

3

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