Visualitza ICC_Articles per paraule clau "C++ contracts"
Ara mostrant els elements 1-1 d 1
-
Detecting semantic violations of lock-free data structures through C++ contracts
Springer (2019-03)The use of synchronization mechanisms in multithreaded applications is essential on shared-memory multi-core architectures. However, debugging parallel applications to avoid potential failures, such as data races or ...