2052 search results - page 406 / 411 » Term necessity prediction |
113
click to vote
MSR
2011
ACM
14 years 2 months ago
2011
ACM
A good understanding of the impact of different types of bugs on various project aspects is essential to improve software quality research and practice. For instance, we would ex...
129
click to vote
POPL
2011
ACM
14 years 2 months ago
2011
ACM
We describe a new algorithm for proving temporal properties expressed in LTL of infinite-state programs. Our approach takes advantage of the fact that LTL properties can often be...
115
click to vote
SIGIR
2011
ACM
14 years 2 months ago
2011
ACM
Online forum discussions are emerging as valuable information repository, where knowledge is accumulated by the interaction among users, leading to multiple threads with structure...
120
click to vote
SIGMETRICS
2011
ACM
14 years 2 months ago
2011
ACM
Opportunistic routing aims to improve wireless performance by exploiting communication opportunities arising by chance. A key challenge in opportunistic routing is how to achieve ...
106
click to vote
SIGMOD
2011
ACM
14 years 2 months ago
2011
ACM
Conventional OLTP systems assign each transaction to a worker thread and that thread accesses data, depending on what the transaction dictates. This thread-to-transaction work ass...