315 search results - page 17 / 63 » Loop Termination Prediction |
ASAP
2010
IEEE
13 years 9 months ago
2010
IEEE
Data-flow has proven to be an attractive computation model for programming digital signal processing (DSP) applications. A restricted version of data-flow, termed synchronous data...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
The classical technique for proving termination of a generic sequential computer program involves the synthesis of a ranking function for each loop of the program. Linear ranking ...
BMCBI
2010
13 years 7 months ago
2010
Background: HIV-1 targets human cells expressing both the CD4 receptor, which binds the viral envelope glycoprotein gp120, as well as either the CCR5 (R5) or CXCR4 (X4) co-recepto...
ICIP
2005
IEEE
14 years 9 months ago
2005
IEEE
The scalability extension of H.264/AVC uses an oversampled pyramid representation for spatial scalability, where for each spatial resolution a separate motion compensation or MCTF ...
ICIP
2004
IEEE
14 years 9 months ago
2004
IEEE
Unlike conventional layered scalable video coding, leaky prediction layered video coding (LPLC) introduces a leaky factor , which takes on values in the range between 0 and 1, to ...