1145 search results - page 39 / 229 » The Correctness of an Optimized Code Generation |
ICPP
2002
IEEE
14 years 1 months ago
2002
IEEE
Code size expansion of software-pipelined loops is a critical problem for DSP systems with strict code size constraint. Some ad-hoc code size reduction techniques were used to try...
STACS
2010
Springer
14 years 3 months ago
2010
Springer
We construct efficient data structures that are resilient against a constant fraction of adversarial noise. Our model requires that the decoder answers most queries correctly with...
HIPEAC
2005
Springer
14 years 2 months ago
2005
Springer
Detecting and predicting a program’s execution phases are crucial to dynamic optimizations and dynamically adaptable systems. This paper shows that a phase can be associated with...
TCC
2005
Springer
14 years 2 months ago
2005
Springer
We initiate a study of Maurer’s bounded storage model (JoC, 1992) in presence of transmission errors and perhaps other types of errors that cause different parties to have incon...
ICIP
2009
IEEE
14 years 10 months ago
2009
IEEE
Sprite-based video coding offers higher compression efficiency than conventional block-based hybrid video coders. In sprite coding a sequence is divided into a model of its backgr...