25 search results - page 5 / 5 » Dynamic heap type inference for program understanding and de... |
BMCBI
2006
13 years 4 months ago
2006
Background: The identification of chromosomal homology will shed light on such mysteries of genome evolution as DNA duplication, rearrangement and loss. Several approaches have be...
CPM
2009
Springer
13 years 11 months ago
2009
Springer
The haplotype inference problem (HIP) asks to find a set of haplotypes which resolve a given set of genotypes. This problem is of enormous importance in many practical fields, su...
PLDI
2009
ACM
14 years 5 months ago
2009
ACM
As computer systems continue to become more powerful and comdo programs. High-level abstractions introduced to deal with complexity in large programs, while simplifying human reas...
EVOW
2011
Springer
12 years 8 months ago
2011
Springer
This paper extends a previous model where we examined the markets’ microstructure dynamics by using Genetic Programming as a trading rule inference engine, and Self Organizing Ma...
SIGSOFT
2010
ACM
12 years 11 months ago
2010
ACM
Although a number of automatic tools have been developed to detect faults, much of the diagnosis is still being done manually. To help with the diagnostic tasks, we formally intro...