309 search results - page 29 / 62 » Code Transformations for One-Pass Analysis |
170
click to vote
ENTCS
2002
15 years 6 months ago
2002
Abstract: Alias analysis for Fortran is less complicated than for programming languages with pointers but many real Fortran programs violate the standard: a formal parameter or a c...
177
Voted
ICIP
2001
IEEE
16 years 8 months ago
2001
IEEE
This paper presents a novel framework of motion compensated pre&ction(MCP) techniques in the wavelet domain for high performance video coding. Our analysis reveals fundamental...
193
click to vote
SOFTWARE
2011
15 years 1 months ago
2011
—In the multicore era, a major programming task will be to make programs more parallel. This is tedious because it requires changing many lines of code, and it is error-prone and...
201
click to vote
TCOM
2010
15 years 1 months ago
2010
Consider independent and identically distributed exponential random variables (r.vs) 1, 2, . . . , and positive scalars 1, 2, . . . , . In this letter, we present the probability...
170
Voted
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...