309 search results - page 18 / 62 » A quantitative approach to functional debugging |
PUC
2006
13 years 7 months ago
2006
Traditional remote controls typically allow users to activate functionality of a single device. Given that users activate a subset of functionality across devices to accomplish a p...
ICSE
2009
IEEE-ACM
14 years 8 months ago
2009
IEEE-ACM
Automatic repair of programs has been a longstanding goal in software engineering, yet debugging remains a largely manual process. We introduce a fully automated method for locati...
BMCBI
2006
13 years 7 months ago
2006
Background: The biological interpretation of large-scale gene expression data is one of the paramount challenges in current bioinformatics. In particular, placing the results in t...
BMCBI
2004
13 years 7 months ago
2004
Background: The function of a novel gene product is typically predicted by transitive assignment of annotation from similar sequences. We describe a novel method, GOtcha, for pred...
ASIAN
1998
Springer
13 years 11 months ago
1998
Springer
Abstract. Type-directed partial evaluation is a new approach to program specialization for functional programming languages. Its merits with respect to the traditional offline part...