Maximally permissive deadlock avoidance for multithreaded computer programs

  • Authors:

  • Yin Wang;Hongwei Liao;Ahmed Nazeem;Spyros Reveliotis;Terence Kelly;Scott Mahlke;Stéphane Lafortune

  • Affiliations:

  • HP Labs, Palo Alto, CA;Department of EECS, The University of Michigan, Ann Arbor, MI;School of Industrial & Systems Engineering, Georgia Institute of Technology, Atlanta, GA;School of Industrial & Systems Engineering, Georgia Institute of Technology, Atlanta, GA;HP Labs, Palo Alto, CA;Department of EECS, The University of Michigan, Ann Arbor, MI;Department of EECS, The University of Michigan, Ann Arbor, MI

  • Venue:
  • CASE'09 Proceedings of the fifth annual IEEE international conference on Automation science and engineering
  • Year:
  • 2009

Quantified Score

Hi-index 0.01

Visualization

Abstract