Sciweavers

2961 search results - page 215 / 593
» Optimization of tele-immersion codes
Sort
View
IPPS
2007
IEEE
14 years 2 months ago
Multi-Core Model Checking with SPIN
—We present the first experimental results on the implementation of a multi-core model checking algorithm for the SPIN model checker. These algorithms specifically target shared-...
Gerard J. Holzmann, Dragan Bosnacki
VMV
2004
150views Visualization» more  VMV 2004»
13 years 9 months ago
Hierarchical Shape-Adaptive Quantization for Geometry Compression
The compression of polygonal mesh geometry is still an active field of research as in 3d no theoretical bounds are known. This work proposes a geometry coding method based on pred...
Stefan Gumhold
ICIP
2004
IEEE
14 years 9 months ago
Variable block-size transform and entropy coding at the enhancement layer of FGS
This paper proposes the variable block-size transform and context-based entropy coding techniques for the enhancement layer of FGS (Fine Granularity Scalable) video coding. First,...
Jungong Han, Xiaoyan Sun, Feng Wu, Shipeng Li, Zha...
INFOCOM
2009
IEEE
14 years 2 months ago
Layered Multicast with Inter-Layer Network Coding
—Multirate multicast is a powerful methodology of multimedia communication in heterogenous networks. A variant of multirate multicast motivated by scalable multimedia streaming i...
Sorina Dumitrescu, Mingkai Shao, Xiaolin Wu
DAC
2009
ACM
14 years 26 days ago
Heterogeneous code cache: using scratchpad and main memory in dynamic binary translators
Dynamic binary translation (DBT) can be used to address important issues in embedded systems. DBT systems store translated code in a software-managed code cache. Unlike general-pu...
José Baiocchi, Bruce R. Childers