5228 search results - page 765 / 1046 » Case Studies for Software Engineers |
181
click to vote
ARCS
2004
Springer
16 years 24 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...
245
click to vote
FOSSACS
2004
Springer
16 years 24 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...
190
click to vote
FSTTCS
2004
Springer
16 years 24 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...
174
click to vote
FSTTCS
2004
Springer
16 years 24 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...
326
click to vote
PARA
2004
Springer
16 years 23 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...