BibTeX-Export: 1 Datensatz f{\"u}r alle [global] @article{TUW-259392, author = {Mittermayr, Robert and Blieberger, Johann}, title = {Deadlock and WCET Analysis of Barrier-Synchronized Concurrent Programs}, journal = {Computing}, year = {2021}, volume = {103}, number = {5}, pages = {749--770}, doi = {10.1007/s00607-017-0555-8}, keywords = {Barrier synchronization, Worst-case execution time analysis, Deadlocks, Kronecker algebra, Concurrent systems, Multi-threaded programs} } 1 Datensatz ausgegeben