571 search results - page 12 / 115 » From Control Flow to Dataflow |
121
click to vote
RTCSA
2000
IEEE
15 years 7 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 ...
126
Voted
KBSE
2007
IEEE
15 years 8 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...
128
Voted
INFOCOM
2008
IEEE
15 years 9 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 ...
127
click to vote
FORTEST
2008
15 years 4 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
15 years 8 months ago
2005
Springer