799 search results - page 13 / 160 » Improving the feasibility pump |
DATE
2009
IEEE
14 years 5 months ago
2009
IEEE
Fast real-time feasibility tests and analysis algorithms are necessary for a high acceptance of the formal techniques by industrial software engineers. This paper presents a possi...
CDC
2008
IEEE
14 years 5 months ago
2008
IEEE
Abstract— This paper develops a novel mechanism for managing the performance and feasibility trade off withing predictive control. Specifically, it demonstrates that the potenti...
GECCO
2004
Springer
14 years 4 months ago
2004
Springer
This paper presents an improved version of a simple evolution strategy (SES) to solve global nonlinear optimization problems. As its previous version, the approach does not require...
ISCAS
1999
IEEE
14 years 3 months ago
1999
IEEE
The bigraph crossing problem, embedding the two node sets of a bipartite graph G = V0;V1;E along two parallel lines so that edge crossings are minimized, has application to placeme...
CODES
2010
IEEE
13 years 9 months ago
2010
IEEE
Due to the ever increasing system complexity, deciding whether a given platform is sufficient to implement a set of applications under given constraints becomes a serious bottlene...