867 search results - page 95 / 174 » An Evolutionary Algorithm for Integer Programming |
173
click to vote
LCTRTS
2001
Springer
15 years 6 months ago
2001
Springer
Phase-decoupled methods for code generation are the state of the art in compilers for standard processors but generally produce code of poor quality for irregular target architect...
105
click to vote
STOC
1998
ACM
15 years 6 months ago
1998
ACM
We study integrated prefetching and caching problems following the work of Cao et. al. [3] and Kimbrel and Karlin [13]. Cao et. al. and Kimbrel and Karlin gave approximation algor...
117
click to vote
ALGORITHMICA
1999
15 years 1 months ago
1999
In this paper, we consider the following question: what is the maximum number of entries that can be added to a partially lled latin square? The decision version of this question ...
146
click to vote
JAR
2008
15 years 2 months ago
2008
This article presents detailed implementations of quantifier elimination for both integer and real linear arithmetic for theorem provers. The underlying algorithms are those by Coo...
124
click to vote
COCOA
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We present a branch-and-bound (bb) algorithm for the multiple sequence alignment problem (MSA), one of the most important problems in computational biology. The upper bou...