Sciweavers

3934 search results - page 314 / 787
» Approximate Schedulability Analysis
Sort
View
ECBS
2009
IEEE
113views Hardware» more  ECBS 2009»
16 years 1 months ago
Modeling and Analysis of Probabilistic Timed Systems
Probabilistic models are useful for analyzing systems which operate under the presence of uncertainty. In this paper, we present a technique for verifying safety and liveness prop...
Abhishek Dubey, Derek Riley, Sherif Abdelwahed, Te...
ICANN
2007
Springer
16 years 25 days ago
Theoretical Analysis of Accuracy of Gaussian Belief Propagation
Abstract. Belief propagation (BP) is the calculation method which enables us to obtain the marginal probabilities with a tractable computational cost. BP is known to provide true m...
Yu Nishiyama, Sumio Watanabe
TELETRAFFIC
2007
Springer
16 years 23 days ago
Performance Analysis of a Fluid Queue with Random Service Rate in Discrete Time
We consider a fluid queue in discrete time with random service rate. Such a queue has been used in several recent studies on wireless networks where the packets can be arbitrarily...
Onno J. Boxma, Vinod Sharma, D. K. Prasad
ICRA
2006
IEEE
103views Robotics» more  ICRA 2006»
16 years 21 days ago
Stability Analysis of Information based Control for Biochemical Source Localization
— The paper proposes an improved model and its approximation for a diffusion of a biochemical agent in the air. Based on the model, a new motion control algorithm based on the Fi...
Panos Tzanos, Milos Zefran
VTC
2006
IEEE
124views Communications» more  VTC 2006»
16 years 20 days ago
Accurate BER Analysis of QPSK Modulated Asynchronous DS-CDMA Systems Communicating over Rayleigh Channels
Abstract— The accurate average BER calculation of an asynchronous DS-CDMA system using random spreading sequences is studied in Rayleigh fading channels. An accurate closedform e...
Xiang Liu, Lajos Hanzo