243 search results - page 20 / 49 » Precise Interprocedural Dependence Analysis of Parallel Prog... |
105
click to vote
IEEEPACT
2006
IEEE
15 years 7 months ago
2006
IEEE
Static Single Assignment (SSA) has become the intermediate program representation of choice in most modern compilers because it enables efficient data flow analysis of scalars an...
134
click to vote
ISSS
2000
IEEE
15 years 5 months ago
2000
IEEE
Timing and power consumption of embedded systems are state and input data dependent. Formal analysis of such dependencies leads to intervals rather than single values. These inter...
104
click to vote
EUROPAR
2007
Springer
15 years 7 months ago
2007
Springer
Computer systems are increasingly parallel and heterogeneous, while programs are still largely written in sequential languages. The obvious suggestion that the compiler should auto...
ICPP
1993
IEEE
15 years 5 months ago
1993
IEEE
:. In designing application-specific bit-level architectures and in programming existing bit-level processor arrays, it is necessary to expand a word-level algorithm into its bit-...
137
click to vote
JSS
2006
15 years 1 months ago
2006
Whether context-sensitive program analysis is more effective than context-insensitive analysis is an ongoing discussion. There is evidence that context-sensitivity matters in comp...