309 search results - page 29 / 62 » Code Transformations for One-Pass Analysis |
130
click to vote
ENTCS
2002
15 years 2 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...
124
click to vote
ICIP
2001
IEEE
16 years 4 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...
140
Voted
SOFTWARE
2011
14 years 9 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...
152
click to vote
TCOM
2010
14 years 9 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...
128
click to vote
BIRTHDAY
2006
Springer
15 years 6 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...