Lightweight Specifications for Parallel Correctness

Autor: Burnim, Jacob Samuels

Publikováno v: Burnim, Jacob Samuels. (2012). Lightweight Specifications for Parallel Correctness. UC Berkeley: Computer Science. Retrieved from: http://www.escholarship.org/uc/item/9vt9p147

With the spread of multicore processors, it is increasingly necessaryfor programmers to write parallel software. Yet writing correctparallel software with explicit multithreading remains a difficultundertaking. Though many tools exist to help test, d

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______325::21f68de49664b8780641e5f12af43f1e
http://www.escholarship.org/uc/item/9vt9p147