4759 search results - page 502 / 952 » Parallelizing the Phylogeny Problem |
187
click to vote
CONCUR
2000
Springer
15 years 11 months ago
2000
Springer
Model checking based on the causal partial order semantics of Petri nets is an approach widely applied to cope with the state space explosion problem. One of the ways to exploit su...
174
click to vote
HPDC
1998
IEEE
15 years 11 months ago
1998
IEEE
One of the most difficult problems to be solved by metacomputing systems is to ensure strong authentication and authorization. The problem is complicated since the hosts involved ...
261
click to vote
HPDC
1998
IEEE
15 years 11 months ago
1998
IEEE
Conventional resource management systems use a system model to describe resources and a centralized scheduler to control their allocation. We argue that this paradigm does not ada...
175
click to vote
HPDC
1998
IEEE
15 years 11 months ago
1998
IEEE
We describe a methodology that enables the real-time diagnosis of performance problems in complex high-performance distributed systems. The methodology includes tools for generati...
197
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
In this paper the problem of fault-tolerant message routing in two-dimensional meshes, with each inner node having 4 neighbors, is investigated. It is assumed that some nodes/links...