Eliminating Concurrency Bugs in Multithreaded Software: A New Approach Based on Discrete-Event Control
Liao, Hongwei, Wang, Yin, Stanley, Jason, Lafortune, Stephane, Reveliotis, Spyros, Kelly, Terence, Mahlke, ScottVolume:
21
Language:
english
Journal:
IEEE Transactions on Control Systems Technology
DOI:
10.1109/tcst.2012.2226034
Date:
November, 2013
File:
PDF, 1.05 MB
english, 2013