Sciweavers

7228 search results - page 810 / 1446
» From Algorithmic to Subjective Randomness
Sort
View
ICMCS
2008
IEEE
129views Multimedia» more  ICMCS 2008»
16 years 1 months ago
Evaluation of segment-based proxy caching for video on demand
In this paper, we derive an analytical model for the evaluation of the performance of a Video on Demand (VoD) system. The model estimates the mean waiting time achievable by the P...
Muhammad Muhammad, Wei Tu, Eckehard G. Steinbach
HPDC
2007
IEEE
16 years 1 months ago
Smartsockets: solving the connectivity problems in grid computing
Tightly coupled parallel applications are increasingly run in Grid environments. Unfortunately, on many Grid sites the ability of machines to create or accept network connections ...
Jason Maassen, Henri E. Bal
ICC
2007
IEEE
134views Communications» more  ICC 2007»
16 years 1 months ago
Linear Cooperative Multiuser MIMO Transceiver Design with Per BS Power Constraints
— Joint cooperative processing of transmitted signal from several multiple-input multiple-output (MIMO) base station (BS) antenna heads is considered for users located within a s...
Antti Tölli, Marian Codreanu, Markku J. Juntt...
ICIP
2007
IEEE
16 years 1 months ago
A Spatio-Temporal Autoregressive Frame Rate Up Conversion Scheme
A spatio-temporal autoregressive model is proposed in this paper to address the problem of frame rate up conversion. Every pixel in a skipped frame is generated as a linear combin...
Yongbing Zhang, Debin Zhao, Xiangyang Ji, Ronggang...
FMICS
2007
Springer
16 years 1 months ago
Machine Checked Formal Proof of a Scheduling Protocol for Smartcard Personalization
Using PVS (Prototype Verification System), we prove that an industry designed scheduler for a smartcard personalization machine is safe and optimal. This scheduler has previously ...
Leonard Lensink, Sjaak Smetsers, Marko C. J. D. va...