12015 search results - page 652 / 2403 » Interactive Algorithms 2005 |
225
Voted
FMCO
2005
Springer
16 years 20 days ago
2005
Springer
Abstract. In recent years a bundle of parallel and distributed algorithms for verification of finite state systems has appeared. We survey distributed-memory enumerative LTL mode...
158
click to vote
GECCO
2005
Springer
16 years 20 days ago
2005
Springer
Various algorithms have been developed and applied to structural optimization, in which cross-sectional areas of structure members are assumed to be continuous. In most cases of p...
170
click to vote
ISSADS
2005
Springer
16 years 20 days ago
2005
Springer
We present a simple implementation of a token-based distributed mutual exclusion algorithm for multithreaded systems. Several per-node requests could be issued by threads running ...
224
click to vote
CCIA
2005
Springer
15 years 9 months ago
2005
Springer
This work presents a new multiobjective algorithm based on ant colonies, which is used in the construction of the multicast tree for data transmission in a computer network. The pr...
212
click to vote
DIALM
2005
ACM
15 years 9 months ago
2005
ACM
We investigate to what extent flooding and routing is possible if the graph is allowed to change unpredictably at each time step. We study what minimal requirements are necessary...