Sciweavers

10061 search results - page 549 / 2013
» Statistical Models of Conditioning
Sort
View
MOBIMEDIA
2007
15 years 8 months ago
Performance evaluation of IEEE 802.11e based on ON-OFF traffic model
We investigate the performance of the IEEE 802.11e while emphasizing on the end-to-end delay performance. In our MAC delay analysis, we are based on elementary conditional probabi...
Ioannis Papapanagiotou, John S. Vardakas, Georgios...
JAR
2008
70views more  JAR 2008»
15 years 7 months ago
Assumption-Commitment Support for CSP Model Checking
We present a simple formulation of Assumption-Commitment reasoning using CSP. In our formulation, an assumption-commitment style property of a process SYS takes the form COM SYS A...
Nick Moffat, Michael Goldsmith
229
Voted
COMCOM
2004
119views more  COMCOM 2004»
15 years 7 months ago
Modeling TCP performance with proxies
Abstract-- This paper investigates the TCP dynamics and performance over proxies that shorten the TCP feedback loop by segmenting the end-to-end connection. Such proxies are often ...
Navid Ehsan, Mingyan Liu
WDAG
2010
Springer
177views Algorithms» more  WDAG 2010»
15 years 5 months ago
Transactions as the Foundation of a Memory Consistency Model
We argue that traditional synchronization objects, such as locks, conditions, and atomic/volatile variables, should be defined in terms of transactions, rather than the other way ...
Luke Dalessandro, Michael L. Scott, Michael F. Spe...
186
Voted
LR
2011
107views more  LR 2011»
14 years 10 months ago
Modeling and stability analysis of autonomously controlled production networks
Abstract We present methods and tools for modeling autonomously controlled production networks and investigation of their stability properties. Production networks are described as...
Sergey Dashkovskiy, Michael Görges, Michael K...