5228 search results - page 765 / 1046 » Case Studies for Software Engineers |
162
click to vote
ARCS
2004
Springer
16 years 3 days ago
2004
Springer
Abstract: File sharing systems cause a huge portion of traffic in the Internet. With respect to the peer-to-peer approach, unicast delivery of content is the common case. Unfortun...
213
click to vote
FOSSACS
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. We show how to generate well-founded and stable term orderings based on polynomial interpretations over the real numbers. Monotonicity (another usual requirement in termi...
170
click to vote
FSTTCS
2004
Springer
16 years 3 days ago
2004
Springer
We consider the problem of symbolic reachability analysis of higher-order context-free processes. These models are generalizations of the context-free processes (also called BPA pr...
150
click to vote
FSTTCS
2004
Springer
16 years 3 days ago
2004
Springer
In this paper we provide an automaton-based solution to the decision problem for a large set of monadic second-order theories of deterministic tree structures. We achieve it in two...
293
click to vote
PARA
2004
Springer
16 years 2 days ago
2004
Springer
We describe some extensions to Parallel Sparse BLAS (PSBLAS), a library of routines providing basic Linear Algebra operations needed to build iterative sparse linear system solvers...