4491 search results - page 613 / 899 » Algorithm Engineering |
137
click to vote
CP
2007
Springer
16 years 25 days ago
2007
Springer
In this paper we argue that an attractive and potentially very general way of achieving generalized arc consistency (GAC) on a constraint is by using unit propagation (UP) over a C...
174
click to vote
EMSOFT
2007
Springer
16 years 25 days ago
2007
Springer
This paper proposes a scheduling strategy and an automatic scheduling flow that enable the simultaneous execution of multiple hard-real-time dataflow jobs. Each job has its own ...
186
click to vote
FSTTCS
2007
Springer
16 years 24 days ago
2007
Springer
We study several cost coloring problems, where we are given a graph and a cost function on the independent sets and are to find a coloring that minimizes the function costs of the...
170
click to vote
GECCO
2007
Springer
16 years 24 days ago
2007
Springer
Evolutionary structural testing is an approach to automatically generating test cases that achieve high structural code coverage. It typically uses genetic algorithms (GAs) to sea...
193
click to vote
GECCO
2007
Springer
16 years 24 days ago
2007
Springer
In this paper, we borrow the concept of reference direction approach from the multi-criterion decision-making literature and combine it with an EMO procedure to develop an algorit...