14244 search results - page 340 / 2849 » Modeling Program Predictability |
133
click to vote
CLUSTER
2003
IEEE
15 years 9 months ago
2003
IEEE
Application run-time information is a fundamental component in application and job scheduling. However, accurate predictions of run times are difficult to achieve for parallel app...
127
click to vote
ECIR
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. This paper explores how to predict query difficulty for contextual image retrieval. We reformulate the problem as the task of predicting how difficult to represent a quer...
122
click to vote
ENTCS
2010
15 years 3 months ago
2010
Software failures can lead to substantial costs for the user. Existing models for software reliability prediction do not provide much insight into this financial impact. Our appro...
114
click to vote
CORR
2006
Springer
15 years 3 months ago
2006
Springer
Solomonoff completed the Bayesian framework by providing a rigorous, unique, formal, and universal choice for the model class and the prior. We discuss in breadth how and in which...
133
click to vote
TPHOL
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper concerns the formal semantics of programming languages, and the specification and verification of software. We are interested in the verification of real programs, wr...