685 search results - page 23 / 137 » A Comparative Study of Three Program Exploration Tools |
135
click to vote
BMCBI
2011
14 years 9 months ago
2011
Background: The accurate determination of orthology and inparalogy relationships is essential for comparative sequence analysis, functional gene annotation and evolutionary studie...
114
Voted
ECOOP
2010
Springer
15 years 5 months ago
2010
Springer
Domain-specific languages (DSLs) are increasingly used as embedded languages within general-purpose host languages. DSLs provide a compact, dedicated syntax for specifying parts o...
119
Voted
DSN
2009
IEEE
15 years 8 months ago
2009
IEEE
Dynamic symbolic execution is a structural testing technique that systematically explores feasible paths of the program under test by running the program with different test input...
107
Voted
CONSTRAINTS
2010
15 years 2 months ago
2010
Abstract. We present three constraint models of the problem of finding a graceful labelling of a graph, or proving that the graph is not graceful. An experimental comparison of the...
115
click to vote
PVLDB
2010
15 years 8 days ago
2010
Studies show that about 50% of web search is for information exploration purpose, where a user would like to investigate, compare, evaluate, and synthesize multiple relevant resul...