2752 search results - page 260 / 551 » Rounding to an Integral Program |
153
click to vote
VTS
2006
IEEE
16 years 18 days ago
2006
IEEE
Abstract: An optimization algorithm for the design of combinational circuits that are robust to single-event upsets (SEUs) is described. A simple, highly accurate model for the SEU...
188
click to vote
DATE
2005
IEEE
16 years 6 days ago
2005
IEEE
This paper introduces a new SAT solver that integrates logicbased reasoning and integer programming methods to systems of CNF and PB constraints. Its novel features include an eff...
168
click to vote
BTW
2005
Springer
16 years 4 days ago
2005
Springer
: The Web Services architecture defines various specifications that applications may wish to use in combination. In this paper, we investigate the composition of the Web services s...
114
click to vote
CP
2005
Springer
16 years 3 days ago
2005
Springer
We present a new and more efficient heuristic by restricting lookahead saturation (LAS) with NVO (neighbourhood variable ordering) and DEW (dynamic equality weighting). We report o...
173
click to vote
UM
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. A promising approach towards evaluating adaptive systems is to decompose the adaptation process and evaluate the system in a “piece-wise” manner. This paper presents ...