Hardware Acceleration of Deadlock Avoidance and Detection in Real-Time Operating Systems. - P. Samson; P. Sinha (IWSOC, 2005)