Inproceedings,

Maximally permissive deadlock avoidance for sequential resource allocation systems using disjunctions of linear classifiers.

, , , and .
CDC, page 7244-7251. IEEE, (2012)

Meta data

Tags

Users

  • @dblp

Comments and Reviews