4725 search results - page 196 / 945 » Dependence-Based Program Analysis |
179
click to vote
ICPADS
1994
IEEE
15 years 9 months ago
1994
IEEE
Testingthe performance scalabilityof parallelprograms can be a time consuming task, involving many performance runs for different computer configurations, processor numbers, and p...
165
click to vote
MICRO
2007
IEEE
15 years 11 months ago
2007
IEEE
The emergence of multicore processors has heightened the need for effective parallel programming practices. In addition to writing new parallel programs, the next generation of pr...
138
click to vote
ECOOP
2000
Springer
15 years 9 months ago
2000
Springer
The support for precise exceptions in Java, combined with frequent checks for runtime exceptions, leads to severe limitations on the compiler’s ability to perform program optimiz...
149
click to vote
AGP
1995
IEEE
15 years 8 months ago
1995
IEEE
The main difficulty in the formalization of a static analysis framework for CC programs is probably related to the correct approximation of the entailment relation between constrai...
171
click to vote
SIGSOFT
2008
ACM
16 years 5 months ago
2008
ACM
Atomicity is an important specification that enables programmers to understand atomic blocks of code in a multi-threaded program as if they are sequential. This significantly simp...