Algorithmic approach to deadlock detection for resource allocation in heterogeneous platforms | IEEE Conference Publication | IEEE Xplore