Sciweavers

13180 search results - page 200 / 2636
» Network Models
Sort
View
143
Voted
PEWASUN
2004
ACM
15 years 9 months ago
An M/MMGI/1/K queuing model for IEEE 802.11 ad hoc networks
An M/MMGI/1/K queuing model is developed for the analysis of IEEE 802.11 DCF using RTS/CTS. Results are based on arbitrary contention conditions, namely, collision probabilities, ...
Mustafa Özdemir, A. Bruce McDonald
120
Voted
CLUSTER
2007
IEEE
15 years 10 months ago
Building the communication performance model of heterogeneous clusters based on a switched network
— Analytical communication performance models play an important role in prediction of the execution time of parallel applications on multiprocessors. Apart from designing such a ...
Alexey L. Lastovetsky, Vladimir Rychkov
QEST
2008
IEEE
15 years 10 months ago
CaVi -- Simulation and Model Checking for Wireless Sensor Networks
CaVi provides a uniform interface to state-of-the-art simulation methods and formal verification methods for wireless sensor network. Simulation is suitable to examine the behavi...
Athanassios Boulis, Ansgar Fehnker, Matthias Fruth...
AAAI
2008
15 years 6 months ago
Exploiting Causal Independence Using Weighted Model Counting
Previous studies have demonstrated that encoding a Bayesian network into a SAT-CNF formula and then performing weighted model counting using a backtracking search algorithm can be...
Wei Li 0002, Pascal Poupart, Peter van Beek
119
Voted
IJON
2010
127views more  IJON 2010»
15 years 2 months ago
Oscillation in a network model of neocortex
A basic understanding of the relationship between activity of individual neurons and macroscopic electrical activity of local field potentials or electroencephalogram (EEG) may pro...
Jennifer Dwyer, Hyong Lee, Amber Martell, Rick L. ...