435 search results - page 31 / 87 » Generative Programming and Active Libraries |
156
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: A key goal of drug discovery is to increase the throughput of small molecule screens without sacrificing screening accuracy. High-throughput screening (HTS) in drug di...
164
click to vote
GECCO
2004
Springer
15 years 11 months ago
2004
Springer
Satisfiability testing (SAT) is a very active area of research today, with numerous real-world applications. We describe CLASS2.0, a genetic programming system for semi-automatica...
159
click to vote
LCPC
2005
Springer
15 years 11 months ago
2005
Springer
Compilers employ system models, sometimes implicitly, to make code optimization decisions. These models are analytic; they reflect their implementor’s understanding and beliefs ...
159
click to vote
TACAS
2007
Springer
16 years 3 days ago
2007
Springer
Symbolic execution can be problematic when applied to real applications. This paper addresses two of these problems: (1) the constraints generated during symbolic execution may be ...
156
click to vote
ISPAN
2002
IEEE
15 years 11 months ago
2002
IEEE
Many applications written in C allocate memory blocks for their major data structures from the heap space at runtime. The analysis of heap-oriented pointers in such programs is cr...