Concurrent algorithms for real-time memory management | IEEE Journals & Magazine | IEEE Xplore