Sciweavers

2419 search results - page 88 / 484
» A Simple DOCSIS Simulator
Sort
View
FMCO
2009
Springer
161views Formal Methods» more  FMCO 2009»
14 years 9 months ago
The How and Why of Interactive Markov Chains
This paper reviews the model of interactive Markov chains (IMCs, for short), an extension of labelled transition systems with exponentially delayed transitions. We show that IMCs a...
Holger Hermanns, Joost-Pieter Katoen
GI
2009
Springer
14 years 9 months ago
Frontloading: Virtual Quality Assurance for Improved Service Launch Processes
: Swift and frictionless launches of new products are a decisive capability of future telecommunication providers, especially in an all-IP production environment. These processes a...
Heiko Lehmann, Uwe Beyer, Simon Cohnitz, Udo Bub
ICC
2009
IEEE
14 years 9 months ago
Performance Evaluation of QAM-Based BICM: An Analytical Approach
We present an analytical approach to determine the performance of bit-interleaved coded modulation (BICM) transmission over unfaded Gaussian channels. In particular, we derive expr...
Alireza Kenarsari-Anhari, Lutz H.-J. Lampe
ICIP
2009
IEEE
14 years 9 months ago
Efficient design of 2-D nonseparable filters of low complexity
By using Semi-Definite Programming (SDP) as a tool, a new deign for Two-Dimensional (2-D) Diamond-Shaped (DS) filters is developed. Surprisingly, the diamond shape of the filter is...
Kaveh Fanian, Hoang Duong Tuan, Truong Q. Nguyen
ICUMT
2009
14 years 9 months ago
Adaptive resource control in 2-hop ad-hoc networks
This paper presents a simple resource control mechanism with traffic scheduling for 2-hop ad-hoc networks, in which the Request-To-Send (RTS) packet is utilized to deliver feedback...
Yimeng Yang, Geert J. Heijenk, Boudewijn R. Haverk...