5235 search results - page 10 / 1047 » Analysis of Multithreaded Programs |
237
click to vote
POPL
2007
ACM
16 years 1 months ago
2007
ACM
Race detection algorithms for multi-threaded programs using the common lock-based synchronization idiom must correlate locks with the memory locations they guard. The heart of a p...
132
click to vote
POPL
2012
ACM
13 years 8 months ago
2012
ACM
We propose a general formal model of isolated hierarchical parallel computations, and identify several fragments to match the concurrency constructs present in real-world programm...
146
click to vote
ICDCS
1997
IEEE
15 years 5 months ago
1997
IEEE
This paper evaluates the use of per-node multi-threading to hide remote memory and synchronization latencies in a software DSM. As with hardware systems, multi-threading in softwa...
116
click to vote
PLDI
2006
ACM
15 years 7 months ago
2006
ACM
One common technique for preventing data races in multi-threaded programs is to ensure that all accesses to shared locations are consistently protected by a lock. We present a too...
113
click to vote
PPOPP
2006
ACM
15 years 7 months ago
2006
ACM
IP forwarding is one of the main bottlenecks in Internet backbone routers, as it requires performing the longest-prefix match at 10Gbps speed or higher. IPv6 forwarding further ex...