1316 search results - page 169 / 264 » Analytic performance models for bounded queueing systems |
ICCAD
1996
IEEE
15 years 2 months ago
1996
IEEE
Based Automatic Abstraction for CTL Model Checking Woohyuk Lee Abelardo Pardo Jae-Young Jang Gary Hachtel Fabio Somenzi University of Colorado ECEN Campus Box 425 Boulder, CO, 8030...
MM
2010
ACM
14 years 8 months ago
2010
ACM
We study video transcoding for accelerated channel changes in IPTV systems. Video transcoding at the Retransmission Server not only reduces the channel change latency, but also re...
PIMRC
2010
IEEE
14 years 8 months ago
2010
IEEE
Multihop and multipoint transmissions are two of the main features towards an increased spectral efficiency for the LTE-Advanced mobile radio system. Fixed wireless relays with in-...
RECSYS
2010
ACM
14 years 8 months ago
2010
ACM
A ranking approach, ListRank-MF, is proposed for collaborative filtering that combines a list-wise learning-to-rank algorithm with matrix factorization (MF). A ranked list of item...
IPTPS
2005
Springer
15 years 3 months ago
2005
Springer
Most earlier studies of DHTs under churn have either depended on simulations as the primary investigation tool, or on establishing bounds for DHTs to function. In this paper, we pr...