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: Nazeem:Ahmed
Contributed to:
2012201120102009Wrote 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.