602 search results - page 19 / 121 » Program Calculation in Coq |
GECCO
2008
Springer
13 years 11 months ago
2008
Springer
A well-designed fitness function is essential to the effectiveness and efficiency of evolutionary testing. Fitness function design has been researched extensively. For fitness ...
BMCBI
2008
2008
WSPMaker: a web tool for calculating selection pressure in proteins and domains using window-sliding
13 years 10 months ago
Background: In the study of adaptive evolution, it is important to detect the protein coding sites where natural selection is acting. In general, the ratio of the rate of non-syno...
BMCBI
2010
13 years 7 months ago
2010
Background: Expression levels for 47294 transcripts in lymphoblastoid cell lines from all 270 HapMap phase II individuals, and genotypes (both HapMap phase II and III) of 3.96 mil...
ICFP
2009
ACM
14 years 10 months ago
2009
ACM
We define logical relations between the denotational semantics of a simply typed functional language with recursion and the operational behaviour of low-level programs in a varian...
ESOP
2010
Springer
14 years 7 months ago
2010
Springer
Iterated Register Coalescing (IRC) is a widely used heuristic for performing register allocation via graph coloring. Many implementations in existing compilers follow (more or less...