81 search results - page 17 / 17 » Scalable Shape Analysis for Systems Code |
155
click to vote
PPOPP
2010
ACM
15 years 1 months ago
2010
ACM
Many programs exploit shared-memory parallelism using multithreading. Threaded codes typically use locks to coordinate access to shared data. In many cases, contention for locks r...