Sciweavers

6229 search results - page 204 / 1246
» Models of Computation for Networks on Chip
Sort
View
TELETRAFFIC
2007
Springer
14 years 3 months ago
Performance Evaluation of IEEE 802.11 DCF Networks
The paper presents a new analytical saturation throughput model of IEEE 802.11 DCF (Distributed Coordination Function) with basic access in adhoc mode. The model takes into account...
Krzysztof Szczypiorski, Józef Lubacz
COMMA
2010
13 years 4 months ago
Probabilistic Semantics for the Carneades Argument Model Using Bayesian Networks
Abstract. This paper presents a technique with which instances of argument structures in the Carneades model can be given a probabilistic semantics by translating them into Bayesia...
Matthias Grabmair, Thomas F. Gordon, Douglas Walto...
CASES
2007
ACM
14 years 1 months ago
Performance optimal processor throttling under thermal constraints
We derive analytically, the performance optimal throttling curve for a processor under thermal constraints for a given task sequence. We found that keeping the chip temperature co...
Ravishankar Rao, Sarma B. K. Vrudhula
AINA
2004
IEEE
14 years 1 months ago
Formal Verification of PAP and EAP-MD5 Protocols in Wireless Networks: FDR Model Checking
IEEE 802.1x and authentication server based security protocols are mainly used for enhancing security of wireless networks. In this paper, we specify PAP and EAP-MD5 based securit...
Il-Gon Kim, Jin-Young Choi
PEWASUN
2008
ACM
13 years 10 months ago
Source traffic modeling in wireless sensor networks for target tracking
Researches around wireless sensor network (WSN) were very prolific recently. However, traffic modeling related WSN research was poorly less. In this paper, source traffic dynamics...
Qinghua Wang, Tingting Zhang