571 search results - page 12 / 115 » From Control Flow to Dataflow |
RTCSA
2000
IEEE
13 years 12 months ago
2000
IEEE
As a starting point for static program analysis a control flow graph (CFG) is needed. If only the binary executable is available, this CFG has to be reconstructed from sequences ...
KBSE
2007
IEEE
14 years 1 months ago
2007
IEEE
Effective bug localization is important for realizing automated debugging. One attractive approach is to apply statistical techniques on a collection of evaluation profiles of pr...
INFOCOM
2008
IEEE
14 years 1 months ago
2008
IEEE
—This paper studies window flow control focusing on bridging the gap between microscopic factors such as burstiness in sub-RTT timescales, and observable macroscopic properties ...
FORTEST
2008
13 years 9 months ago
2008
This paper describes an approach to the formalization of existing criteria used in computer systems software testing and proposes a new Reinforced Condition/Decision Coverage (RC/D...
BPM
2005
Springer
14 years 1 months ago
2005
Springer