Sciweavers

1120 search results - page 128 / 224
» Eager Markov Chains
Sort
View
RP
2009
Springer
136views Control Systems» more  RP 2009»
16 years 27 days ago
Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates
We present an abstraction of the probabilistic semantics of Multiset Rewriting to formally express systems of reactions with uncertain kinetic rates. This allows biological systems...
Roberto Barbuti, Francesca Levi, Paolo Milazzo, Gu...
AICT
2008
IEEE
114views Communications» more  AICT 2008»
16 years 25 days ago
Blocking Analysis in Hybrid TDM-WDM PONs Supporting Elastic Traffic
— The Passive Optical Network (PON) is an attractive solution for delivering services with numerous applications, such as high-definition video, video conferencing and data traff...
John S. Vardakas, Vassilios G. Vassilakis, Michael...
AICT
2008
IEEE
131views Communications» more  AICT 2008»
16 years 25 days ago
On the Handoff-Call Blocking Probability Calculation in W-CDMA Cellular Networks
In this paper, we investigate the call blocking probability calculations in the uplink of W-CDMA mobile cellular networks. In these networks, we distinguish two types of blocking,...
Vassilios G. Vassilakis, Georgios A. Kallos, Ioann...
AINA
2008
IEEE
16 years 25 days ago
Thread Allocation in Chip Multiprocessor Based Multithreaded Network Processors
—This work tries to derive ideas for thread allocation in Chip Multiprocessor (CMP)-based network processors performing general applications by Continuous-Time Markov Chain model...
Yi-Neng Lin, Ying-Dar Lin, Yuan-Cheng Lai
CDC
2008
IEEE
16 years 25 days ago
Effects of topology in networked systems: Stochastic methods and small worlds
— The topology of a networked control system has critical consequences for its performance. We provide first substantial examples on the effects of topology. Then we proceed to ...
John S. Baras, Pedram Hovareshti