5639 search results - page 545 / 1128 » Timed Abstract Non-interference |
134
click to vote
FPL
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper focuses on a class of problem relating to the multiplication of a single number by several coefficients that, while not constant, are drawn from a finite set ...
146
click to vote
FSTTCS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Conventional semantics for shared-variable concurrency suffers from the “grain of time” problem, i.e., the necessity of specifying a default level of atomicity. We pr...
151
click to vote
GD
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. One of the most popular graph drawing methods is based on achieving graph-theoretic target distances. This method was used by Kamada and Kawai [15], who formulated it as ...
173
click to vote
GECCO
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Genetic algorithms have been a standard technique for engineers optimising water distribution networks for some time. However in recent years there has been an increasing...
135
click to vote
GECCO
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper studies the inducement of sequentiality in genetic algorithms (GAs) for uniformly-scaled problems. Sequentiality is a phenomenon in which sub-solutions converg...