4075 search results - page 103 / 815 » Modeling Distributed Algorithm Using B |
ICML
2006
IEEE
14 years 10 months ago
2006
IEEE
The Dirichlet compound multinomial (DCM) distribution, also called the multivariate Polya distribution, is a model for text documents that takes into account burstiness: the fact ...
FMCAD
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. This paper presents a scalable method for parallel symbolic on-the-fly model checking in a distributed memory environment. Our method combines a scheme for on-the-fly mod...
IFM
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
DAC
2004
ACM
14 years 10 months ago
2004
ACM
Variability of circuit performance is becoming a very important issue for ultra-deep sub-micron technology. Gate length variation has the most direct impact on circuit performance...
ISCAS
2007
IEEE
14 years 3 months ago
2007
IEEE
— The Lagrangian technique proves to be an effective way in Rate-Distortion optimization for hybrid video coding. In this paper, an new Lagrange multiplier selection method for I...