1246 search results - page 224 / 250 » Online testing with model programs |
113
click to vote
JCDL
2004
ACM
15 years 6 months ago
2004
ACM
The number of research papers available is growing at a staggering rate. Researchers need tools to help them find the papers they should read among all the papers published each y...
104
Voted
PLDI
2009
ACM
15 years 7 months ago
2009
ACM
Taint analysis, a form of information-flow analysis, establishes whether values from untrusted methods and parameters may flow into security-sensitive operations. Taint analysis...
125
Voted
VEE
2012
ACM
13 years 8 months ago
2012
ACM
As cloud-based computation becomes increasingly important, providing a general computational interface to support datacenterscale programming has become an imperative research age...
104
Voted
EACL
1993
ACL Anthology
15 years 2 months ago
1993
ACL Anthology
The strategy for natural language interpretation presented in this paper implements the dynamics of context change by translating natural language texts into a meaning representat...
102
Voted
BMCBI
2006
15 years 24 days ago
2006
Background: The imprint of natural selection on gene sequences is often difficult to detect. A plethora of methods have been devised to detect genetic changes due to selective pro...