Buscar
Mostrando ítems 1-10 de 309
Deadlocks as runtime exceptions
(Universidades Federais de PernambucoUFPEBrasilPrograma de Pos Graduacao em Ciencia da Computacao, 2016)
Deadlock Parser Utility Tool
(ITESO, 2016-11)
Deadlock Parser Utility Tool
(ITESO, 2016-11)
Deadlock Parser Utility Tool
(ITESO, 2016)
Deadlock Parser Utility Tool
(ITESO, 2016)
A refinement based strategy for locally verifying networks of CSP processes
(Universidade Federal de Pernambuco, 2015)
Autonomous navigation with deadlock detection and avoidance
(Sociedad Iberoamericana de Inteligencia Artificial, 2014-02)
This paper studies alternatives to solve the problem of autonomous mobile robots navigation in unknown indoor environments. The navigation system uses fuzzy logic to combine the information obtained from range sensors and ...
Método de resolução de deadlocks no controle de produção de sistemas de manufatura automatizados utilizando redes de Petri coloridas
(Universidade Federal de São CarlosBRUFSCarPrograma de Pós-Graduação em Ciência da Computação - PPGCC, 2011-07-01)
Resources sharing is one of the main characteristics of Automated Manufacturing Systems (SMA), this characteristic can be a synonym of advantages but on the other hand it may lead to the problem of deadlock. Several papers ...
Detecção e correção de situações de deadlock em workflow nets interorganizacionais
(Universidade Federal de UberlândiaBRPrograma de Pós-graduação em Ciência da ComputaçãoCiências Exatas e da TerraUFU, 2016)