4075 search results - page 599 / 815 » Modeling Distributed Algorithm Using B |
165
Voted
UAI
2004
15 years 8 months ago
2004
We present new MCMC algorithms for computing the posterior distributions and expectations of the unknown variables in undirected graphical models with regular structure. For demon...
216
click to vote
SIMULATION
2010
15 years 1 months ago
2010
We introduce and describe a novel network simulation tool called NeSSi (Network Security Simulator). NeSSi incorporates a variety of features relevant to network security distingu...
203
Voted
IPPS
2006
IEEE
16 years 1 months ago
2006
IEEE
Battery lifetime, a primary design constraint for mobile embedded systems, has been shown to depend heavily on the load current profile. This paper explores how scheduling guidel...
166
click to vote
ATAL
2005
Springer
16 years 17 days ago
2005
Springer
We present here Extended Markov Tracking (EMT), a computationally tractable method for the online estimation of Markovian system dynamics, along with experimental support for its ...
241
click to vote
ISPAN
2002
IEEE
15 years 12 months ago
2002
IEEE
In the directed acyclic graph (dag) model of algorithms, consider the following problem for precedence-constrained multiprocessor schedules for array computations: Given a sequenc...