8179 search results - page 1530 / 1636 » The PRACTIONIST Development Tool |
282
click to vote
PLDI
2009
ACM
16 years 4 months ago
2009
ACM
Inefficient use of memory, including leaks and bloat, remain a significant challenge for C and C++ developers. Applications with these problems become slower over time as their wo...
118
Voted
CHI
2009
ACM
16 years 4 months ago
2009
ACM
Web search and browsing have been streamlined for a comfortable experience when the network connection is fast. Existing tools, however, are not optimized for scenarios where conn...
168
Voted
PPOPP
2009
ACM
16 years 4 months ago
2009
ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...
103
click to vote
SPAA
2009
ACM
16 years 4 months ago
2009
ACM
We present three new reader-writer lock algorithms that scale under high read-only contention. Many previous reader-writer locks suffer significant degradation when many readers a...
164
click to vote
KDD
2008
ACM
16 years 4 months ago
2008
ACM
: Locality Sensitive Hash functions are invaluable tools for approximate near neighbor problems in high dimensional spaces. In this work, we are focused on LSH schemes where the si...