380 search results - page 66 / 76 » Process Algebra and Markov Chains |
IPPS
2002
IEEE
14 years 18 days ago
2002
IEEE
A bulk synchronous computation proceeds in phases that are separated by barrier synchronization. For dynamic bulk synchronous computations that exhibit varying phase-wise computat...
AGENTS
1997
Springer
13 years 12 months ago
1997
Springer
The coordination problem in multi-agent systems is the problem of managing dependencies between the activities of autonomous agents, in conditions of incomplete knowledge about th...
VLSID
1996
IEEE
13 years 11 months ago
1996
IEEE
Simulated annealing based standard cell placement for VLSI designs has long been acknowledged as a compute-intensive process, and as a result several research efforts have been un...
3DPVT
2006
IEEE
13 years 11 months ago
2006
IEEE
We present a novel method for detecting and quantifying 3D structure in stacks of microscopic images captured at incremental focal lengths. We express the image data as stochastic...
ALGOSENSORS
2004
Springer
13 years 11 months ago
2004
Springer
In this paper we introduce a dynamical model for wireless sensor networks. We obtain a convergent martingale for the broadcast process in such networks. To our knowledge, such mart...