3958 search results - page 289 / 792 » Dynamic Graph Algorithms with Applications |
214
click to vote
INFOSCALE
2006
ACM
16 years 1 months ago
2006
ACM
According to the special features of the dynamic heterogeneous grid environment, a loose-coupled and scalable resource model is described by a hybrid multi-level tree reflecting a...
183
click to vote
DATE
2002
IEEE
16 years 5 days ago
2002
IEEE
The core computation in BDD-based symbolic synthesis and verification is forming the image and pre-image of sets of states under the transition relation characterizing the sequen...
201
click to vote
CC
2010
Springer
16 years 2 months ago
2010
Springer
Abstract. This paper presents four extensions to the Interprocedural Finite Distributive Subset (IFDS) algorithm that make it applicable to a wider class of analysis problems. IFDS...
372
click to vote
ICAC
2009
IEEE
16 years 1 months ago
2009
IEEE
Increasingly, applications need to be able to self-reconfigure in response to changing requirements and environmental conditions. Autonomic computing has been proposed as a means...
194
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. This paper proposes a novel solution to spam detection inspired by a model of the adaptive immune system known as the crossregulation model. We report on the testing of a...