Listar ICC_Articles por autoría "e0756ee7-5e11-4782-ad36-1b55bcf3d686"
Mostrando ítems 1-1 de 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 ...
