6274 search results - page 1006 / 1255 » Proofs, Programs, Processes |
105
click to vote
BMCBI
2011
14 years 7 months ago
2011
Background: Designing maximally selective ligands that act on individual targets is the dominant paradigm in drug discovery. Poor selectivity can underlie toxicity and side effect...
136
click to vote
ICST
2011
IEEE
14 years 4 months ago
2011
IEEE
—Static analysis tools have been widely used to detect potential defects without executing programs. It helps programmers raise the awareness about subtle correctness issues in t...
166
click to vote
IWMM
2011
Springer
14 years 3 months ago
2011
Springer
At the heart of all garbage collectors lies the process of identifying and processing reference fields within an object. Despite its key role, and evidence of many different impl...
173
Voted
ICDCS
2012
IEEE
13 years 3 months ago
2012
IEEE
—Cloud resources are usually priced in multiple markets with different service guarantees. For example, Amazon EC2 prices virtual instances under three pricing schemes — the su...
128
Voted
GECCO
1999
Springer
15 years 5 months ago
1999
Springer
Genetic programming makes it possible to automatically search the space of possible programs. First we evolved a behavior-based control architecture using computer simulations. Th...