1901 search results - page 74 / 381 » Predicting Program Properties from |
AAAI
2006
15 years 15 days ago
2006
Planning in partially-observable dynamical systems is a challenging problem, and recent developments in point-based techniques such as Perseus significantly improve performance as...
PRICAI
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. A successful case of applying brute-force search to functional programming automation is presented and compared with a conventional genetic programming method. From the i...
190
click to vote
POPL
2003
ACM
15 years 11 months ago
2003
ACM
There is significant room for improving users' experiences with model checking tools. An error trace produced by a model checker can be lengthy and is indicative of a symptom...
103
click to vote
WCRE
2003
IEEE
15 years 4 months ago
2003
IEEE
A large number of metrics have been proposed for measuring properties of object-oriented software such as size, inheritance, cohesion and coupling. We have been investigating whic...
78
Voted
ASPLOS
2008
ACM
15 years 1 months ago
2008
ACM
Increasing demand for power-efficient, high-performance computing requires tuning applications and/or the underlying hardware to improve the mapping between workload heterogeneity...