BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × India
1 × Italy
1 × Korea
Collaborated with:
S.A.Reveliotis S.Reveliotis Y.Wang H.Liao T.Kelly S.A.Mahlke S.Lafortune
Talks about:
resourc (3) permiss (3) system (3) maxim (3) alloc (3) deadlock (2) complex (2) design (2) avoid (2) multithread (1)

Person: Ahmed Nazeem

DBLP DBLP: Nazeem:Ahmed

Contributed to:

CASE 20122012
CASE 20112011
CASE 20102010
CASE 20092009

Wrote 4 papers:

CASE-2012-NazeemR #algorithm #performance #resource management
An efficient algorithm for the enumeration of the minimal unsafe states in complex resource allocation systems (AN, SAR), pp. 686–693.
CASE-2011-NazeemR #classification #concurrent #design #policy #resource management
Designing maximally permissive deadlock avoidance policies for sequential resource allocation systems through classification theory (AN, SAR), pp. 405–412.
CASE-2010-NazeemR #approach #design #resource management
A practical approach to the design of maximally permissive liveness-enforcing supervisors for complex resource allocation systems (AN, SR), pp. 451–458.
CASE-2009-WangLNRKML #concurrent #parallel #source code #thread
Maximally permissive deadlock avoidance for multithreaded computer programs (YW, HL, AN, SAR, TK, SAM, SL), pp. 37–41.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.