2661 search results - page 358 / 533 » Model Checking Performability Properties |
108
click to vote
LCN
2005
IEEE
15 years 6 months ago
2005
IEEE
A formal approach for characterizing, evaluating and modeling packet reordering is presented. Reordering is, a phenomenon that is likely to become increasingly common on Internet,...
136
click to vote
QUESTA
2008
15 years 5 days ago
2008
We introduce the Conditional Mean Value Analysis (CMVA) algorithm, an exact solution method for product-form load-dependent closed queueing networks that provides a numerically st...
93
Voted
ICIP
2010
IEEE
14 years 10 months ago
2010
IEEE
In this paper, we propose an algorithm that recovers binocular disparities in accordance with the surface properties of the scene under consideration. To do so, we estimate the di...
115
Voted
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
The power of sparse signal coding with learned overcomplete dictionaries has been demonstrated in a variety of applications and fields, from signal processing to statistical infe...
104
click to vote
INFOCOM
2011
IEEE
14 years 4 months ago
2011
IEEE
—This paper considers the problem of designing scheduling algorithms for multi-channel (e.g., OFDM-based) wireless downlink systems. We show that the Server-Side Greedy (SSG) rul...