Buscar
Mostrando ítems 1-7 de 7
Problema de alcançabilidade em grafos muito grandes: Aplicação, complexidade e algoritmos
(Universidade Federal de Minas GeraisUFMG, 2019-02-15)
Given a directed acyclic graph G=(V,E) and two vertices u, v in V, the reachability problem is to answer if is it possible to reach v from u by transversing the edges of the graph. For very large graphs, with millions of ...
Propriedades decidíveis de autômatos celulares finitos, híbridos, não-lineares, sensíveis e reversíveis
(Universidade Federal de UberlândiaBrasilPrograma de Pós-graduação em Ciência da Computação, 2016)
Coordenação em sistemas multi-robôs utilizando métodos baseados em autômatos
(Florianópolis, SC, 2012)
A process for sound conformance testing of cyber-physical systems
(Universidade Federal de PernambucoUFPEBrasilPrograma de Pos Graduacao em Ciencia da Computacao, 2019)
Efficient methods for massive random access
(2019)
Este trabalho investiga o canal de acesso aleatório com um número massivo de usuários sob ruído gaussiano, com foco em pacotes pequenos. Para esse problema, esquemas coordenados são considerados ineficientes devido à ...