3359 search results - page 337 / 672 » A Simplified Idea Algorithm |
153
click to vote
FM
2009
Springer
15 years 9 months ago
2009
Springer
Abstract: There is growing need to develop formal verification tools for Message Passing Interface (MPI) programs, to eliminate bugs such as deadlocks and local assertion violatio...
120
click to vote
FSTTCS
2009
Springer
15 years 9 months ago
2009
Springer
We describe a simple iterative method for proving a variety of results in combinatorial optimization. It is inspired by Jain’s iterative rounding method (FOCS 1998) for designing...
135
click to vote
LION
2009
Springer
15 years 9 months ago
2009
Springer
In this paper we present a novel hybrid algorithm, in which ideas from the genetic algorithm and the GRASP metaheuristic are cooperatively used and intertwined to dynamically adjus...
118
click to vote
PSIVT
2009
Springer
15 years 9 months ago
2009
Springer
In this paper, we propose a novel algorithm, named as Spatially Varying Transform (SVT). The basic idea of SVT is that we do not restrict the transform coding inside normal block b...
148
click to vote
SPIN
2009
Springer
15 years 9 months ago
2009
Springer
While symmetry reduction has been established to be an important technique for reducing the search space in model checking, its application in concurrent software verification is ...