3025 search results - page 380 / 605 » Automatic Programming of Robots Using Genetic Programming |
195
click to vote
CP
2003
Springer
15 years 10 months ago
2003
Springer
Multiple sequence alignment is a central problem in Bioinformatics. A known integer programming approach is to apply branch-and-cut to exponentially large graph-theoretic models. T...
156
Voted
BMCBI
2007
15 years 5 months ago
2007
Background: Coalescent simulations have proven very useful in many population genetics studies. In order to arrive to meaningful conclusions, it is important that these simulation...
192
click to vote
PLDI
2003
ACM
15 years 10 months ago
2003
ACM
This paper presents a static analysis tool that can automatically find memory leaks and deletions of dangling pointers in large C and C++ applications. We have developed a type s...
160
click to vote
GPCE
2008
Springer
15 years 6 months ago
2008
Springer
Software product lines (SPLs) are used to create tailor-made software products by managing and composing reusable assets. Generating a software product from the assets of an SPL i...
131
click to vote
ASPLOS
2012
ACM
14 years 23 days ago
2012
ACM
Even though most data races are harmless, the harmful ones are at the heart of some of the worst concurrency bugs. Alas, spotting just the harmful data races in programs is like ...