Dynamic deadlock detection under the OR requirement model
Deadlock detection is one of the most discussed problems in the literature. Although several al- gorithms have been proposed, the problem is still open. In general, the correct operation of an algorithm depends on the requirement model being considered. This article introduces a deadlock detection a...
Guardado en:
| Autores principales: | Campos, Alvaro E., Orellana, Christian Fabián, Soto, María Pía |
|---|---|
| Formato: | Articulo |
| Lenguaje: | Inglés |
| Publicado: |
2003
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/9466 http://journal.info.unlp.edu.ar/wp-content/uploads/JCST-Oct03-7.pdf |
| Aporte de: |
Ejemplares similares
-
Generación de mensajes de error significativos en herramienta de detección estática de deadlocks para programas en Go
por: Furman, Damián Ariel
Publicado: (2019) -
Generación de mensajes de error significativos en herramienta de detección estática de deadlocks para programas en Go
por: Furman, Damián Ariel
Publicado: (2019) -
Autonomous navigation with deadlock detection and avoidance
por: Sanchez, Guido, et al.
Publicado: (2013) -
Tool for the verification of BPMN models based on anti-patterns
por: Orsi, Maximiliano, et al.
Publicado: (2017) -
Detección estática de canales no cerrados usando tipos comportamentales
por: Marottoli, Daniela
Publicado: (2019)