2144 search results - page 108 / 429 » Exact Flow Analysis |
200
click to vote
ESORICS
2012
Springer
13 years 6 months ago
2012
Springer
Tracking information flow in dynamic languages remains an open challenge. It might seem natural to address the challenge by runtime monitoring. However, there are well-known funda...
169
click to vote
PROMISE
2010
14 years 11 months ago
2010
Background. Software defect prediction has been one of the central topics of software engineering. Predicted defect counts have been used mainly to assess software quality and est...
PAM
2009
Springer
15 years 11 months ago
2009
Springer
This paper analyzes the performance of two implementations of J-Flow, the flow measurement tool deployed on most Juniper routers. Our work relies on both controlled experiments an...
135
click to vote
PLDI
1995
ACM
15 years 7 months ago
1995
ACM
We present a flow-sensitive interprocedural constant propagation algorithm, which sttpports recursion while only performing one flow-sensitive analysis of each procedure. We prese...
101
click to vote
FORTE
2007
15 years 5 months ago
2007
Positive flows provide very useful informations that can be used to perform efficient analysis of a model. Although algorithms computing (a generative family of) positive flows i...