2468 search results - page 149 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
137
Voted
CORR
2007
Springer
15 years 3 months ago
2007
Springer
— Franceschetti et al. [1] have recently shown that per-node throughput in an extended (i.e., geographically expanding), ad hoc wireless network with Θ(n) randomly distributed n...
144
Voted
RTAS
2005
IEEE
15 years 9 months ago
2005
IEEE
No one middleware communication model completely solves the problem of ensuring schedulability in every DRE system. Furthermore, there have been few studies to date of the trade-o...
166
Voted
TNN
2010
14 years 10 months ago
2010
Abstract--In this paper, the problem of stochastic synchronization analysis is investigated for a new array of coupled discretetime stochastic complex networks with randomly occurr...
137
Voted
CLUSTER
2001
IEEE
15 years 7 months ago
2001
IEEE
This paper presents a distributed object model MOIDE for solving irregularly structured problems on cluster. The primary appeal of MOIDE is its flexible system structure that is a...
108
Voted
CEC
2009
IEEE
15 years 10 months ago
2009
IEEE
— The CoSMoS project aims to develop reusable tools and techniques for complex systems modelling and simulation. Using process-oriented software design techniques, we have built ...