6939 search results - page 614 / 1388 » Algorithm Engineering for Parallel Computation |
128
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
We introduce Petruchio, a tool for computing Petri net translations of dynamic networks. To cater for unbounded architectures beyond the capabilities of existing implementations, t...
201
click to vote
CCECE
2006
IEEE
16 years 18 days ago
2006
IEEE
In this paper, we introduce new algorithms for selecting taxon samples from large evolutionary trees, maintaining uniformity and randomness, under certain new constraints on the t...
164
click to vote
DSN
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper, we propose new scheduling algorithms to achieve fault security in multiprocessor systems. We consider scheduling of parallel programs represented by directed acycli...
155
click to vote
IPPS
2006
IEEE
16 years 17 days ago
2006
IEEE
Violations of a number of common safety properties of multithreaded programs–such as atomicity and absence of dataraces–cannot be observed by looking at the linear execution t...
164
click to vote
PPSN
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We introduce a model for cooperative coevolutionary algorithms (CCEAs) using partial mixing, which allows us to compute the expected long-run convergence of such algorith...