81 search results - page 17 / 17 » Scalable Shape Analysis for Systems Code |
PPOPP
2010
ACM
13 years 3 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...