These transient faults result in data flow errors or control flow errors during program ... a control flow checking optimization method named RCFG by reconstructing control flow graph. RCFG firstly ...

In most cases, the traditional approach leads to a control flow graph that covers only a small fraction of the valid instructions of the function under analysis. This claim is supported by the ...

To support such tasks, the data structures of the CFG library need to be linked ... One of the things that makes the control-flow graph such a useful compile-time abstraction is that it abstracts away ...

Abstract: Due to the state explosion problem, signal transition graph based asynchronous circuit synthesis cannot handle large specifications. To overcome this problem, we propose two control signal ...

In most cases, the traditional approach leads to a control flow graph that covers only a small fraction of the valid instructions of the function under analysis. This claim is supported by the ...