752 search results - page 107 / 151 » A Markov Chain Model Checker |
ICC
2009
IEEE
14 years 3 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...
AINA
2008
IEEE
14 years 3 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...
GLOBECOM
2007
IEEE
14 years 3 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...
IPPS
2006
IEEE
14 years 2 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...
ICW
2005
IEEE
14 years 2 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...