Assure Parallel Interference Patterns in Multithreaded Programs with Permissions

Yang Zhao, Ligong Yu, Jia Bei. Assure Parallel Interference Patterns in Multithreaded Programs with Permissions. In International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 2: Software Engineering, December 12-14, 2008, Wuhan, China. pages 668-671, IEEE Computer Society, 2008. [doi]

Abstract

Abstract is missing.