Sciweavers

4647 search results - page 591 / 930
» Analysis and design of OFDM-IDMA systems
Sort
View
AGTIVE
1999
Springer
15 years 11 months ago
DiTo - A Distribution Tool Based on Graph Rewriting
Abstract. In the paper Support for Design Patterns through Graph Transformation Tools in this volume, we have already outlined the global structure of a tool that allows for the an...
Ansgar Radermacher
CP
2010
Springer
15 years 5 months ago
A Generic Visualization Platform for CP
In this paper we describe the design and implementation of CP-VIZ, a generic visualization platform for constraint programming. It provides multiple views to show the search tree, ...
Helmut Simonis, Paul Davern, Jacob Feldman, Deepak...
194
Voted
MM
2010
ACM
202views Multimedia» more  MM 2010»
15 years 5 months ago
Accelerated IPTV channel change with transcoded unicast bursting
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...
Zhi Li, Ali C. Begen, Xiaoqing Zhu, Bernd Girod
ICPP
2009
IEEE
15 years 4 months ago
Mediacoop: Hierarchical Lookup for P2P-VoD Services
The random seeking in P2P-VoD system requires efficient lookup for "good" suppliers. The main challenge is that good suppliers should meet two requirements: "conten...
Tieying Zhang, Jianming Lv, Xueqi Cheng
SPIN
1999
Springer
15 years 11 months ago
Model Checking for Managers
Model checking is traditionally applied to computer system design. It has proven to be a valuable technique. However, it requires detailed specifications of systems and requirement...
Wil Janssen, Radu Mateescu, Sjouke Mauw, Peter Fen...