36 search results - page 6 / 8 » Minimal Parallelism for Polarizationless P Systems |
CLUSTER
2002
IEEE
15 years 2 months ago
2002
IEEE
With dramatic improvements in cost-performance, the use of clusters of personal computers is fast becoming widespread. For ease of use and management, a Single System Image (SSI) ...
SIAMSC
2010
14 years 7 months ago
2010
We present a new iterative scheme for PageRank computation. The algorithm is applied to the linear system formulation of the problem, using inner-outer stationary iterations. It is...
CADE
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Verification by network invariants is a heuristic to solve uniform verification of parameterized systems. Given a system P, a network invariant for P is that abstracts th...
101
click to vote
IPPS
2002
IEEE
15 years 2 months ago
2002
IEEE
In this paper we present the design and implementation of a Pluggable Fault Tolerant CORBA Infrastructure that provides fault tolerance for CORBA applications by utilizing the plu...
EUROPAR
2004
Springer
15 years 2 months ago
2004
Springer
High scalability in Peer-to-Peer (P2P) systems has been achieved with the emergence of the networks based on Distributed Hash Table (DHT). Most of the DHTs can be regarded as expon...