4000 search results - page 441 / 800 » Simulation down under |
204
click to vote
MEMOCODE
2010
IEEE
15 years 4 months ago
2010
IEEE
This paper describes a formal executable semantics for the Verilog hardware description language. The goal of our formalization is to provide a concise and mathematically rigorous...
225
click to vote
PIMRC
2010
IEEE
15 years 4 months ago
2010
IEEE
This paper presents an efficient and fair uplink resource allocation algorithm in multicarrier based cognitive radio systems. The proposed resource allocation is divided into two s...
193
click to vote
FMCO
2009
Springer
15 years 4 months ago
2009
Springer
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...
172
click to vote
GLOBECOM
2009
IEEE
15 years 4 months ago
2009
IEEE
The paper proposes an analytical approach to blocking probability calculation in the UMTS network carrying a mixture of multi-rate traffic, under the assumption that the part of re...
188
click to vote
ICASSP
2009
IEEE
15 years 4 months ago
2009
IEEE
In this paper, we explore the use of a particular multistage adaptation algorithm for a variety of adaptive filtering applications where the structure of the underlying process to...