4075 search results - page 72 / 815 » Modeling Distributed Algorithm Using B |
SBMF
2010
Springer
13 years 4 months ago
2010
Springer
Designers of concurrent and distributed algorithms usually express them using pseudo-code. In contrast, most verification techniques are based on more mathematically-oriented forma...
AAAI
2006
13 years 10 months ago
2006
This paper is concerned with estimating the effects of actions from causal assumptions, represented concisely as a directed graph, and statistical knowledge, given as a probabilit...
PPSN
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. We present an island model that uses different representations in each island. The model transforms individuals from one representation to another during migrations. We ...
DAC
2000
ACM
14 years 1 months ago
2000
ACM
Signal integrity analysis has become imperative for high-speed designs. In this paper, we present a new technique to advance Krylov-space based passive model-reduction algorithms ...
ESCIENCE
2005
IEEE
14 years 2 months ago
2005
IEEE
The GRIA project set out to make the Grid usable by industry. The GRIA middleware is based on Web Services, and designed to meet the needs of industry for security and business-to...