Deadlock and WCET analysis of barrier-synchronized concurrent programs
Mittermayr, Robert; Blieberger, Johann
- 期刊名称Computing
- 作者Mittermayr, Robert; Blieberger, Johann
- 印刷ISSN0010-485X
- 电子ISSN1436-5057
- 文件大小1613.32KB
- 发表时间2017-5-8
- DOI10.1007/s00607-017-0555-8