851 search results - page 87 / 171 » History Effects and Verification |
110
click to vote
SIGSOFT
2010
ACM
14 years 11 months ago
2010
ACM
Empirical studies of software defects rely on links between bug databases and program code repositories. This linkage is typically based on bug-fixes identified in developer-enter...
107
Voted
SIGSOFT
2009
ACM
16 years 2 months ago
2009
ACM
Software engineering researchers have long been interested in where and why bugs occur in code, and in predicting where they might turn up next. Historical bug-occurence data has ...
117
click to vote
RECOMB
2006
Springer
16 years 2 months ago
2006
Springer
Meiotic recombination is a fundamental biological event and one of the principal evolutionary forces responsible for shaping genetic variation within species. In addition to its fu...
110
click to vote
FOSSACS
2005
Springer
15 years 7 months ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
112
click to vote
BMCBI
2006
15 years 1 months ago
2006
Background: Genetic recombination can produce heterogeneous phylogenetic histories within a set of homologous genes. These recombination events can be obscured by subsequent resid...