2266 search results - page 118 / 454 » Some Solutions to the Ignoring Problem |
145
click to vote
CPAIOR
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. In recent work binary decision diagrams (BDDs) were introduced as a technique for postoptimality analysis for integer programming. In this paper we show that much smaller...
113
click to vote
IAT
2008
IEEE
15 years 8 months ago
2008
IEEE
The discrete particle swarm optimization (DPSO) is a kind of particle swarm optimization (PSO) algorithm to find optimal solutions for discrete problems. This paper proposes an i...
132
click to vote
ACL2
2006
ACM
15 years 7 months ago
2006
ACM
Several users have had problems using equivalence-based rewriting in ACL2 because the ACL2 rewriter caches its results. We describe this problem in some detail, together with a pa...
124
click to vote
EUROMICRO
1999
IEEE
15 years 5 months ago
1999
IEEE
This paper addresses the problem of component selection, task assignment and task scheduling for distributed embedded computer systems. Such systems have a large number of constra...
ISSS
1997
IEEE
15 years 5 months ago
1997
IEEE
Integer Linear Programming ILP is commonly used in high level and system level synthesis. It is an NP-Complete problem in general cases . There exists some tools that give an o...