1855 search results - page 197 / 371 » Composing model programs for analysis |
257
click to vote
POPL
2009
ACM
16 years 4 months ago
2009
ACM
Speed improvements in today's processors have largely been delivered in the form of multiple cores, increasing the importance of ions that ease parallel programming. Software...
129
Voted
FLAIRS
2006
15 years 4 months ago
2006
Intelligent Tutoring Systems, while effective at producing student learning [2,7], are notoriously costly to construct [1,9], and require PhD level experience in cognitive science...
156
click to vote
BMCBI
2006
15 years 3 months ago
2006
Background: The invariant lineage of the nematode Caenorhabditis elegans has potential as a powerful tool for the description of mutant phenotypes and gene expression patterns. We...
132
Voted
CAV
2006
Springer
15 years 7 months ago
2006
Springer
Previous symbolic software model checkers (i.e., program analysis tools based on predicate abstraction, pushdown model checkiterative counterexample-guided abstraction refinement, ...
104
click to vote
EOR
2008
15 years 3 months ago
2008
Market baskets arise from consumers' shopping trips and include items from multiple categories that are frequently chosen interdependently from each other. Explanatory models...