5235 search results - page 297 / 1047 » Analysis of Multithreaded Programs |
156
click to vote
ECOOP
2000
Springer
15 years 11 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...
170
click to vote
AGP
1995
IEEE
15 years 10 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...
180
click to vote
OOPSLA
2004
Springer
16 years 1 days ago
2004
Springer
As improvements in processor speed continue to outpace improvements in cache and memory speed, poor locality increasingly degrades performance. Because copying garbage collectors ...
186
click to vote
WCRE
1993
IEEE
15 years 10 months ago
1993
IEEE
Program transformation systems provide one means of formally deriving a program from its speci cation. The main advantage of this development method is that the executable program...
174
click to vote
KBSE
2006
IEEE
16 years 21 days ago
2006
IEEE
Software systems often undergo many revisions during their lifetime as new features are added, bugs repaired, abstractions simplified and refactored, and performance improved. Wh...