12272 search results - page 2125 / 2455 » Experimental program analysis |
195
click to vote
CAV
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. We present a novel static analysis technique that substantially improves the quality of invariants inferred by standard loop invariant generation techniques. Our techniqu...
197
click to vote
CHI
2011
ACM
14 years 10 months ago
2011
ACM
Despite the tremendous popularity of social network sites both on the web and within enterprises, the relationship information they contain may be often incomplete or outdated. We...
219
click to vote
CSCW
2011
ACM
14 years 10 months ago
2011
ACM
This ethnographic study of 22 diverse families in the San Francisco Bay Area explores parents’ attitudes about their children’s use of technology. We found that parents from d...
289
click to vote
EDBT
2011
ACM
14 years 10 months ago
2011
ACM
Equi-depth histograms represent a fundamental synopsis widely used in both database and data stream applications, as they provide the cornerstone of many techniques such as query ...
239
Voted
GECCO
2011
Springer
14 years 10 months ago
2011
Springer
In continuous optimisation, surrogate models (SMs) are used when tackling real-world problems whose candidate solutions are expensive to evaluate. In previous work, we showed that...