Ahmed Nazeem

Available identifiers

zbMath Open nazeem.ahmedMaRDI QIDQ2348356

List of research outcomes

Publication	Date of Publication	Type
Maximal Linear Deadlock Avoidance Policies for Sequential Resource Allocation Systems: Characterization, Computation, and Approximation	2021-09-09	Paper
Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Nonlinear Case	2017-09-08	Paper
Designing Optimal Deadlock Avoidance Policies for Sequential Resource Allocation Systems Through Classification Theory: Existence Results and Customized Algorithms	2017-09-08	Paper
Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Linear Case	2017-08-25	Paper
Maximally permissive deadlock avoidance for resource allocation systems with R/W-locks	2015-06-12	Paper
Optimal linear separation of the safe and unsafe subspaces of sequential resource allocation systems as a set-covering problem: algorithmic procedures and geometric insights	2013-07-17	Paper

Research outcomes over time

This page was built for person: Ahmed Nazeem