A routine and its control-flow graph
Control flow graph visualization and its application to coverage and fault localization in Python
... The graph representing this information is drawn using mathematical directed graph notation, where circles and arrows depict nodes and edges; each arrow shows a transition be- tween two ...
66
Formal Verification of Control-flow Graph Flattening
... Its correctness proof also relies on a simulation diagram involving a matching relation between program states that is much simpler that the match_states relation we defined in this paper. In Table 1, the two ...
13
Control Flow Graph, Static Call Graph, Test Case Generation
... Abstract— In software development, a software testing is a mandatory process to indicate the quality level of the software and to verify that all components have been working properly. For integration testing, it is a ...
5
Graph-theoretic Properties of Control Flow Graphs and Applications
... and control-flow graphs are directed, it was natural to look for graph width measures that consider the orientation of ...a graph decomposition on top of which efficient algorithms can be ...
78
Instability And Its Control In Parallel Flow
... laminar flow between parallel walls known as the Poiseuille ...that flow has many important properties that can be useful for the numericist, and which raise a number of intriguing theoretical questions, in ...
65
Control Flow Graph based Framework for effective Evaluation of Source Code
... ABSTRACT A novel framework to evaluate computer programming labs is proposed. The primary focus is fair and effective evaluation of programming labs. The proposed framework includes a user friendly interface for ...
5
Specification and Construction of Control Flow Semantics : a generic approach using graph transformations
... the graph representations of states of the Ferryman Problem, we treat the set of graph production rules that are part of the graph transformation system for this ...
115
Control Flow Graph Transformations for Exploiting Subword Parallelism in PET Image Reconstruction
... Various control flow transformations are necessary to uncover possibili- ties to use subword parallelism, such as loop unrolling, loop fusion and ...
13
Pulsating Flow Investigation for Spiked Blunt-Nose Body in Hypersonic Flow and its Control
... of flow field in front of flat, hemisphere and conical tip spikes with length L/D = ...to control the pulsation ...stable flow immediately, while hemisphere tip spike nose with corner radius ...
10
Control Flow Graph Based Multiclass Malware Detection Using Bi-normal Separation
... information, control flow graphs, opcodes and API call graphs etc and ensures complete code coverage and can reveal all possible actions a malware may carry out; while dynamic detection will only reveal ...
8
Flow Graph Corpus from Recipe Texts
... That is to say, some parts in a sentence have word bound- ary information and some do not. In addition to a character sequence, a vertex has its type de- noting foods, tools, actions, etc. as the label listed in ...
8
Graph Coloring for Air Traffic Flow Management
... Traffic Flow Management (ATFM) is to enhance the capacity of the airspace while satisfying Air Traffic Control constraints and airlines requests to optimize their operating ...a graph coloring ...
16
Study and Effects of UPFC and its Control System for Power Flow Control and Voltage Injection in a Power System
... to control the real and reactive line power flow inserting an opportune voltage with controllable magnitude and phase in series with the transmission ...stability control to suppress power system ...
9
A new adaptive cruise control strategy and its stabilization effect on traffic flow
... The present paper has the following limitations. First, the stability analysis is based on the theoretical model and simulation. Second, the lane-changing behavior is ignored to investigate the stability of the proposed ...
11
Characteristics of pulsed plasma synthetic jet and its control effect on supersonic flow
... flow control application, both experimental and numerical results showed its effectiveness when applied as fluidic vortex generator, besides, it was reported that the plasma synthetic jet could thicken the ...
11
Graph–based techniques and spectral graph theory in control and machine learning
... and also investigated numerically, comparing it with a non–hierarchical method on different kinds of graphs modeling real–world complex net- works. The results of the proposed hierarchical consensus method are ...
215
Control-Flow Security.
... the control-flow of a process, currently achieved by polluting the data value of indirect control-flow ...remaining control-flow attacks are diminished to legal traversals of the ...
129
Biffi Flow Control
... 7. Operating the ICON2000 for the first time Before attempting to operate the ICON2000 for the 1st time, check that the actuator is correctly mounted on the valve. Place the 3-position selector in OFF and switch the ...
100
Control-Flow Integrity
... We depart significantly from the work of Hamid et al. and other previous work by including a representation of the attacker in our model. Despite its simplicity, we regard this departure as one of our main formal ...
14
Efficient clique decomposition of a graph into its atom graph
... the same atom graph. Let C = A \ S, let G 0 = G(V \ C) and let H 0 = H(V \ C). T 0 is an atom tree of G 0 , S is also a clique minimal separator of H and C is also a full component of S in H. By Lemma 4.3 G 0 and ...
16