Sciweavers

87 search results - page 12 / 18
» On the coding gain of intra-predictive transforms
Sort
View
ICMCS
2000
IEEE
109views Multimedia» more  ICMCS 2000»
14 years 6 hour ago
Source-Channel Matching Space-Time Diversity for Multimedia Communications
A source-channel matching space-time diversity technique is presented for reliable delivery of layer coded multimedia services through wireless channels. The transmission system i...
Haitao Zheng, K. J. Ray Liu
KBSE
2009
IEEE
14 years 2 months ago
A Petri Net Based Debugging Environment for QVT Relations
—In the Model-Driven Architecture (MDA) paradigm the Query/View/Transformation (QVT) standard plays a vital role for model transformations. Especially the high-level declarative ...
Manuel Wimmer, Gerti Kappel, Johannes Schönb&...
PACT
1997
Springer
13 years 11 months ago
Estimating the Parallel Start-Up Overhead for Parallelizing Compilers
A technique for estimating the cost of executing a loop nest in parallel (parallel start-up overhead) is described in this paper. This technique is of utmost importance for paralle...
Rizos Sakellariou
FASE
2009
Springer
13 years 11 months ago
Enhanced Property Specification and Verification in BLAST
Model checking tools based on the iterative refinement of predicate abstraction (e.g., Slam and Blast) often feature a specification language for expressing complex behavior rules....
Ondrej Sery
SAS
1997
Springer
111views Formal Methods» more  SAS 1997»
13 years 11 months ago
Fast and Effective Procedure Inlining
is an important optimization for programs that use procedural abstraction. Because inlining trades code size for execution speed, the effectiveness of an inlining algorithm is det...
Oscar Waddell, R. Kent Dybvig