Simulation analysis of multithreaded programs under deadlock-avoidance control

Hongwei Liao, Hao Zhou, Stéphane Lafortune. Simulation analysis of multithreaded programs under deadlock-avoidance control. In S. Jain, Roy R. Creasey Jr., Jan Himmelspach, K. Preston White, Michael C. Fu, editors, Winter Simulation Conference 2011, WSC'11, Phoenix, AZ, USA, December 11-14, 2011. pages 703-715, WSC, 2011. [doi]

Abstract

Abstract is missing.