1404 search results - page 38 / 281 » Increasing Concurrency in Databases Using Program Analysis |
109
click to vote
SENSYS
2006
ACM
15 years 6 months ago
2006
ACM
We undertake a systematic experimental study of the effects of concurrent packet transmissions in low-power wireless networks. Our measurements, conducted with Mica2 motes equippe...
151
Voted
PLDI
2009
ACM
15 years 7 months ago
2009
ACM
We present a novel dynamic analysis technique that finds real deadlocks in multi-threaded programs. Our technique runs in two stages. In the first stage, we use an imprecise dyn...
92
Voted
PPOPP
2010
ACM
15 years 9 months ago
2010
ACM
Chip multi-processors (CMPs) have become ubiquitous, while tools that ease concurrent programming have not. The promise of increased performance for all applications through ever ...
108
click to vote
POPL
2012
ACM
13 years 8 months ago
2012
ACM
Separation Logic has witnessed tremendous success in recent years in reasoning about programs that deal with heap storage. Its success owes to the fundamental principle that one s...
108
click to vote
PLDI
1999
ACM
15 years 4 months ago
1999
ACM
This paper presents a novel interprocedural, ow-sensitive, and context-sensitive pointer analysis algorithm for multithreaded programs that may concurrently update shared pointers...