HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:deadlock

Publications
Non-Preemptive SJF Scheduling and the Efficacy of FIFO in Mitigating Starvation
Krisha Anne Chan, Enrico Baratang, Henry Adorna and Alfonso Labao
EasyChair Preprint 14076
Fuzzy Genetic Algorithm Approach for Verification of Reachability and Detection of Deadlock in Graph Transformation Systems
Nahid Salimi, Vahid Rafe, Hamed Tabrizchi and Amir Mosavi
EasyChair Preprint 4327
Model Checking Approach for Deadlock Detection in an Operating System Process-Resource Graph Using Dynamic Model Generating and Computation Tree Logic Specification
Thitivatr Patanasakpinyo
In:Proceedings of 34th International Conference on Computers and Their Applications
Improving SAT-based Bounded Model Checking for Existential CTL through Path Reuse
Chuan Jiang and Gianfranco Ciardo
In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Copyright © 2012-2025 easychair.org. All rights reserved.