Sciweavers

315 search results - page 14 / 63
» Loop Termination Prediction
Sort
View
SAS
2010
Springer
140views Formal Methods» more  SAS 2010»
13 years 6 months ago
Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs
Abstract. Proving the termination of a flowchart program can be done by exhibiting a ranking function, i.e., a function from the program states to a wellfounded set, which strictl...
Christophe Alias, Alain Darte, Paul Feautrier, Lau...
ICIP
2002
IEEE
14 years 9 months ago
A two-stage multiple description video coder with drift-preventing motion compensated prediction
In this paper, we propose a very simple, but efficient two-stage MDC in the central prediction loop based on Reibman's threeprediction-loop structure [7]. In our design, an a...
Yen-Chi Lee, Yucel Altunbasak, Russell M. Merserea...
CLUSTER
2004
IEEE
13 years 11 months ago
Predicting memory-access cost based on data-access patterns
Improving memory performance at software level is more effective in reducing the rapidly expanding gap between processor and memory performance. Loop transformations (e.g. loop un...
Surendra Byna, Xian-He Sun, William Gropp, Rajeev ...
TMM
2010
178views Management» more  TMM 2010»
13 years 2 months ago
A Lightweight SCTP for Partially Reliable Overlay Video Multicast Service for Mobile Terminals
Abstract--In this article, a video multicast protocol for multihomed mobile terminals is proposed as an alternative stream control transmission protocol (SCTP) for partially reliab...
Jinsuk Baek, Paul S. Fisher, Minho Jo, Hsiao-Hwa C...
JRTIP
2008
118views more  JRTIP 2008»
13 years 7 months ago
A fast feature-assisted adaptive early termination approach for multiple reference frames motion estimation in H.264
Abstract The multiple reference frames motion estimation approach used in H.264 is computationally intensive. This paper presents a fast or computationally efficient feature-assist...
Jianfeng Ren, Nasser D. Kehtarnavaz, Madhukar Buda...