752 search results - page 107 / 151 » A Markov Chain Model Checker |
150
Voted
ICC
2009
IEEE
15 years 10 months ago
2009
IEEE
—In this paper, we propose a simple and standard compliant retransmission mechanism, called Carrier–Sense Automatic Repeat reQuest (CS–ARQ), which aims at improving system pe...
125
Voted
AINA
2008
IEEE
15 years 10 months ago
2008
IEEE
—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...
136
Voted
GLOBECOM
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— A distributed medium access control (MAC) algorithm for uplink OFDMA networks under the IEEE 802.16 framework is proposed and analyzed in this work. We present a simple...
107
Voted
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
The goal of online failure prediction is to forecast imminent failures while the system is running. This paper compares Similar Events Prediction (SEP) with two other well-known t...
152
Voted
ICW
2005
IEEE
15 years 9 months ago
2005
IEEE
— In this paper, we consider the standard state estimation problem over a congested packet-based network. The network is modeled as a queue with a single server processing the pa...