1953 search results - page 331 / 391 » Dependability Modeling and Analysis in Dynamic Systems |
ENTCS
2007
14 years 9 months ago
2007
This article presents a component verification platform called Vercors providing means to analyse the behaviour properties of applications built from distributed components. From...
ICC
2009
IEEE
15 years 4 months ago
2009
IEEE
— With the expansion of cloud-based services, the question as to how to control usage of such large distributed systems has become increasingly important. Load balancing (LB), an...
117
click to vote
TEC
2002
14 years 9 months ago
2002
Abstract--The particle swarm is an algorithm for finding optimal regions of complex search spaces through the interaction of individuals in a population of particles. Even though t...
AAI
2007
14 years 10 months ago
2007
In recent years, the KDD process has been advocated to be an iterative and interactive process. It is seldom the case that a user is able to answer immediately with a single query...
IISWC
2009
IEEE
15 years 4 months ago
2009
IEEE
Recent benchmark suite releases such as Parsec specifically utilise the tightly coupled cores available in chipmultiprocessors to allow the use of newer, high performance, models ...