1404 search results - page 38 / 281 » Increasing Concurrency in Databases Using Program Analysis |
144
Voted
SENSYS
2006
ACM
15 years 9 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...
186
click to vote
PLDI
2009
ACM
15 years 10 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...
119
Voted
PPOPP
2010
ACM
16 years 1 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 ...
142
Voted
POPL
2012
ACM
13 years 11 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...
143
Voted
PLDI
1999
ACM
15 years 8 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...