Deadlock and WCET analysis of barrier-synchronized concurrent programs

Robert Mittermayr, Johann Blieberger. Deadlock and WCET analysis of barrier-synchronized concurrent programs. Computing, 103(5):749-770, 2021. [doi]

Abstract

Abstract is missing.