2152 search results - page 372 / 431 » A Comparative Study of 2QBF Algorithms |
140
click to vote
IPSN
2009
Springer
15 years 11 months ago
2009
Springer
We consider the problem of monitoring spatial phenomena, such as road speeds on a highway, using wireless sensors with limited battery life. A central question is to decide where ...
145
click to vote
GLOBECOM
2009
IEEE
15 years 11 months ago
2009
IEEE
—One of the key factors underlying the popularity of Low-density parity-check (LDPC) code is its iterative decoding algorithm that is amenable to efficient hardware implementati...
137
click to vote
SIGMETRICS
2005
ACM
15 years 10 months ago
2005
ACM
To bridge the increasing processor-disk performance gap, buffer caches are used in both storage clients (e.g. database systems) and storage servers to reduce the number of slow di...
144
click to vote
TACAS
2005
Springer
15 years 10 months ago
2005
Springer
Transformations using retiming and resynthesis operations are the most important and practical (if not the only) techniques used in optimizing synchronous hardware systems. Althoug...
138
click to vote
AMAI
2004
Springer
15 years 9 months ago
2004
Springer
Recent dynamic local search (DLS) algorithms such as SAPS are amongst the state-of-the-art methods for solving the propositional satisfiability problem (SAT). DLS algorithms modi...