17366 search results - page 210 / 3474 » New Revision Algorithms |
173
click to vote
SPAA
1990
ACM
15 years 10 months ago
1990
ACM
We introduce a new preconditioner for solving a symmetric Toeplitz system of equations by the conjugate gradient method. This choice leads to an algorithm which is particularly sui...
170
click to vote
ICALP
2000
Springer
15 years 10 months ago
2000
Springer
Abstract A new unfolding approach to LTL model checking is presented, in which the model checking problem can be solved by direct inspection of a certain finite prefix. The techniq...
158
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
This paper presents a new dynamic power management architecture of a System on Chip. The Power State Machine describing the status of the core follows the recommendations of the A...
189
click to vote
JAL
2000
15 years 6 months ago
2000
The (unweighted) Maximum Satisfiability problem (MaxSat) is: given a boolean formula in conjunctive normal form, find a truth assignment that satisfies the most number of clauses....
200
click to vote
JAMDS
2002
15 years 6 months ago
2002
We propose a new heuristic for the solution of the quadratic assignment problem. The heuristic combines ideas from tabu search and genetic algorithms. Run times are very short comp...