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
López-Gómez, Javier; del Río Astorga, David; Dolz, Manuel F.; Fernández Muñoz, Javier; García, J. Daniel 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 ...