17366 search results - page 210 / 3474 » New Revision Algorithms |
142
click to vote
SPAA
1990
ACM
15 years 8 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...
138
click to vote
ICALP
2000
Springer
15 years 8 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...
116
click to vote
CORR
2007
Springer
15 years 4 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...
160
click to vote
JAL
2000
15 years 4 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....
164
Voted
JAMDS
2002
15 years 4 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...