1760 search results - page 57 / 352 » Program Analysis Using Weighted Pushdown Systems |
137
click to vote
TRIER
2002
15 years 1 days ago
2002
It is known that interprocedural detection of copy constants and elimination of faint code in parallel programs are undecidable problems, if base statements are assumed to execute...
115
Voted
COMPSAC
2008
IEEE
15 years 6 months ago
2008
IEEE
1 Typical enterprise and military software systems consist of millions of lines of code with complicated dependence on library abstractions. Manually debugging these codes imposes ...
133
Voted
OOPSLA
2004
Springer
15 years 5 months ago
2004
Springer
This paper reports on the design and implementation of Chianti, a change impact analysis tool for Java that is implemented in the context of the Eclipse environment. Chianti analy...
114
Voted
WADS
2009
Springer
15 years 7 months ago
2009
Springer
We consider the pair (pi, fi) as a force with two-dimensional direction vector fi applied at the point pi in the plane. For a given set of forces we ask for a non-crossing geometri...
VTS
2006
IEEE
15 years 6 months ago
2006
IEEE
Monte Carlo analysis has so far been the corner stone for analog statistical simulations. Fast and accurate simulations are necessary for stringent time-to-market, design for manu...