327 search results - page 9 / 66 » Algorithms for infinite huffman-codes |
POPL
2008
ACM
14 years 10 months ago
2008
ACM
We show that the reachability problem for recursive state machines (or equivalently, pushdown systems), believed for long to have cubic worst-case complexity, can be solved in sli...
CAV
2007
Springer
14 years 1 months ago
2007
Springer
We present a simple and effective approximated backward reachability algorithm for parameterized systems with existentially and universally quantified global conditions. The indivi...
TALG
2008
13 years 9 months ago
2008
The Tower of Hanoi problem is generalized by placing pegs on the vertices of a given directed graph G with two distinguished vertices, S and D, and allowing moves only along arcs o...
CORR
2006
Springer
13 years 9 months ago
2006
Springer
A dimension extractor is an algorithm designed to increase the effective dimension
STOC
2002
ACM
14 years 10 months ago
2002
ACM
A randomized algorithm is given that solves the wait-free consensus problem for a shared-memory model with infinitely many processes. The algorithm is based on a weak shared coin ...