4075 search results - page 20 / 815 » Modeling Distributed Algorithm Using B |
SPAA
2010
ACM
14 years 1 months ago
2010
ACM
Energy consumption by computer systems has emerged as an important concern. However, the energy consumed in executing an algorithm cannot be inferred from its performance alone: i...
SAC
2010
ACM
14 years 4 months ago
2010
ACM
Target tracking is an important issue in wireless sensor network applications. In this paper, we design a Coverage-Hole Trap Model (CTM) based on a system that contains one moving...
CEC
2009
IEEE
14 years 3 months ago
2009
IEEE
—Structure learning is a crucial component of a multivariate Estimation of Distribution algorithm. It is the part which determines the interactions between variables in the proba...
IPPS
2010
IEEE
13 years 7 months ago
2010
IEEE
The automatic allocation of enterprise workload to resources can be enhanced by being able to make `whatif' response time predictions, whilst different allocations are being c...
IPPS
2007
IEEE
14 years 3 months ago
2007
IEEE
We overview CASL, the CoGenT Architecture Specification Language, a mixed behavioral-structure architecture description language designed to facilitate fast prototyping and tool ...