668 search results - page 111 / 134 » Implementing and Evaluating Automatic Checkpointing |
128
click to vote
ML
2006
ACM
15 years 2 months ago
2006
ACM
Most game programs have a large number of parameters that are crucial for their performance. While tuning these parameters by hand is rather difficult, efficient and easy to use ge...
139
Voted
SIGMOD
2012
ACM
13 years 5 months ago
2012
ACM
We present an automatic skew mitigation approach for userdefined MapReduce programs and present SkewTune, a system that implements this approach as a drop-in replacement for an e...
102
Voted
SIGSOFT
2005
ACM
16 years 3 months ago
2005
ACM
A modular program analysis considers components independently and provides succinct summaries for each component, which can be used when checking the rest of the system. Consider ...
122
click to vote
OSDI
2006
ACM
16 years 2 months ago
2006
ACM
Automatic tools for finding software errors require a set of specifications before they can check code: if they do not know what to check, they cannot find bugs. This paper presen...
113
Voted
CIKM
2009
Springer
15 years 9 months ago
2009
Springer
We introduce a new theoretical derivation, evaluation methods, and extensive empirical analysis for an automatic query expansion framework in which model estimation is cast as a r...